刚刚，AI又破解了一个数学难题！Erdos#1026问题已经被攻克，且给出了正式证明。而在此之前，这个问题已经困扰了数学界50年。陶哲轩在Mastodon上宣布了这一消息，还在一篇博客中详细讲述了这个故事。
近日，浙江大学副教授胡星和团队开发出一款名为 CatCoder 的 AI 框架，它能够读懂一个完整的软件项目，生成准确、可用的代码。在 Java 任务上，它在代码编译通过率和测试通过率上，比业内表现突出的代表之一 RepoCoder 最高提升了 14.44% 和 17.35%。
微软在《Cell》公布了最新成果：GigaTIME能把一张H&E切片翻译成过去稀缺的免疫图谱，并在人群尺度重建TIME。癌症免疫研究的许多旧限制，也因此开始松动。
经常用 AI 的人都知道，大模型在与用户对话前，都会先阅读一段「系统提示词」，这个步骤不会对用户显示，而是模型的自动操作。这些提示词规定了模型的行为准则，很常见，不过在 Claude 的提示词中，竟要求模型参考「欧陆哲学（Continental Philosophy）」。
“人工智能要发展到下一个台阶，一定要突破两座大山。第一座大山是Transformer，第二座大山是反向传播算法。”在大模型规模不断拔高、算力与数据卷到极致的当下，RockAI创始人刘凡平提出了一个与主流共识截然不同的判断。
11 月 30 日，真格举办了一场关于 AI 创业的分享活动。真格管理合伙人戴雨森与 Kimi 总裁张予彤、与爱为舞创始人张怀亭、Manus 联合创始人张涛一同走进清华大学，带来了一场关于创新与未来的深度对谈
软银、英伟达联手注资机器人独角兽Skild AI。 据报道，软银集团（SoftBank Group）与英伟达（Nvidia）正洽谈联合领投Skild AI一轮超10亿美元的融资。本轮融资后，Skild AI公司估值将达140亿美元。
世界模型赛道，又有老面孔新鲜入局！ 就在刚刚，Runway发布旗下首个通用世界模型GWM-1。 不止于此，还打包发布了一系列世界模型变体：模拟真实环境的GWM Worlds；
大家还记得Mira Murati吗？那个曾经主导ChatGPT开发的“AI女王”，OpenAI的前CTO，2024年突然离职后，让整个科技圈炸锅！短短几个月，融资20亿美元，估值飙到120亿美元，现在更传出新一轮融资目标直冲500亿美元！这速度，这手笔，简直是AI界的“神话”！而最近的重磅炸弹来了：他们的首款产品Tinker正式全面开放！不再需要等待名单，人人可用！
GPT-5.2打赢Gemini 3.0 Pro，竟是靠高推理与海量Token「作弊」？网友的这个发现，在AI社区一石激起千层浪。更多网友七嘴八舌表示：GPT-5.2，并没有那么好用！
