「人类在环」共找到 8678 篇相关文章
陶哲轩惊叹！数学奇点初现，AI首次给出人类无法企及的原创证明
谷歌DeepMind团队用Gemini证明代数几何新定理，获斯坦福教授认可；Grok 4.20解决Bellman函数难题；GPT 5.2处理高阶数学问题能力惊人。陶哲轩预言AI或独自攻克部分埃尔德什问题，2026年或成「ASI元年」。
看到苹果和谷歌重磅联合声明的时候，我正在用 Gemini 写代码
苹果与谷歌达成合作，下一代Apple Foundation Models将基于Google的Gemini模型和云技术构建，为Apple Intelligence功能提供底层支撑。此前Apple Intelligence节奏慢、能力跳票，苹果或借Gemini补短板。
AI 编程 2025 总结：国产模型“能力追平”，国产编程工具还在“情感陪伴”
文章总结2025年AI编程发展，指出国产编程模型能力追平、工具与模型开放集成等六大趋势，同时提到AI替代重复劳动、提升核心能力门槛，呼吁2026年关注工程确定性。
今年TRAE写的代码：100000000000行！超50%程序员每天在按Tab键
2025年末TRAE发布年度产品成绩单，一年写1000亿行代码、超50%用户高频用Tab键。其Cue功能助行业进入人机共生，SOLO模式让开发者成指挥者。它历经三阶段，指标优、构建生态，是中国AI IDE领域领先者。
小米在AI方向有了大动作，但AI不该是资本掩盖信息的手段。
今年下半年小米MiMo团队陆续开源多个模型，或因年初挖来技术天才罗福莉。新开源MiMo - V2 - Flash模型，总参数量309B。但小米AI对外服务网站搜自家产品舆论无果，引发对AI应坦诚审慎的思考。
不玩PPT拼实战！中国「具身军团」要在上海动真格了
即将于12月12日举行的「GDPS 2025全球开发者先锋大会」，代表上海具身智能生态全面跃迁。上海为具身智能产业提供场景、算力等支持，企业完成从概念到工业级成熟的蜕变，大赛将进行多赛道「实弹演习」。
雇佣过目即忘的天才：为什么企业级AI总在浪费钱？| 甲子光年
当下企业级AI缺乏连续性、动态数据割裂，主流外挂RAG的解法无法解决‘认知’问题。红熊AI的‘记忆熊’开源，构建记忆系统结合Agent平台，解决多场景痛点，还将推动记忆科学‘芯片化’。
在失败中进化？UIUC联合斯坦福、AMD实现智能体「从错误中成长」
伊利诺伊大学厄巴纳 - 香槟分校等团队发布论文，剖析LLM智能体失败机制，提出可自我修复的创新框架AgentDebug。研究指出智能体常见失败类型，构建错误分析体系、数据集，实验显示该框架效果显著，为AI可靠性提供方案。
用完这张无限可能的AI画布，第一次感觉人类导演要失业了！
2024年7月上线后迅速风靡海外的SkyReels发布最新版本，它重构AI创作生态，打通「图片—音频—视频」全栈，集成多种功能于一张画布，还推出专家智能体，让普通人轻松创作高质量内容。
高盛研报：AI时代最大瓶颈不在算法和数据，而在电力和资本
高盛《Powering the AI Era》报告指出，AI是基础设施革命，其最大瓶颈是电力和资本。如一座250MW数据中心成本达120亿美元，2030年全球数据中心电力需求将激增，还介绍了应对办法及相关细节。