AI靠暴力试错连破数学难题，菲尔兹奖得主揭开真相
11:01
精选参考来源
精选参考来源
1. 机械臂做到第10步就容易出错？一个 2B 模型靠动态调整注意力解决了 | IJCAI 2026
微信公众号 2026-08-31 00:00:00
2. 盛大创始人再出手，上海本土AI公司StartLux打赢万亿大模型
今日头条 2026-08-30 00:00:00
3. 中美算力差10倍，模型为什么只差3分？ #大有学问 #红衣聊AI #算力 #大模型
抖音 2026-08-26 00:00:00
4. 英伟达前AI总监颠覆Transformer！5万亿上下文物理AI，推演整个宇宙
知乎 2026-08-27 00:00:00
5. 2026AI智能体（AI Agent）发展研究报告丨巨头扎堆烧钱、概念热度爆表，AI智能体是泡沫还是产业拐点？
微信公众号 2026-08-30 00:00:00
6. 大模型的逐字生成模式，正在拖慢你的Agent，有人跑出了5倍提速
微信公众号 2026-09-01 00:00:00
7. 李飞飞、吴佳俊再联手，打破世界模型和机器人动作的「巴别塔」
微信公众号 2026-08-29 00:00:00
8. 【京东开源JoyAI-VL：让AI从“有问必答”进化为“见机行事”】京东近日开源了JoyAI-VL-Interaction，这是一个8B规模的实时视觉语言交互系统（repo：jd-opensource/JoyAI-VL-Interaction）。不同于传统的你问我答模式，它更像是一个有眼力见的观察者：通过摄像头实时监测环境，自主判断何时该保持安静，何时该主动开口提醒。项目不仅开放了模型权重，连同训练配方、400万条时间对齐的交互数据以及包含语音识别与合成的完整部署架构也一并打包。在实时监控告警、动态计数和时间感知等58个真实场景测试中，这个8B小模型在特定交互表现上甚至优于豆包和Gemini等大参数产品。这件事的价值在于打破了交互的被动性。现在的AI大多像个待命的接线员，你不拨号它就不响；而JoyAI尝试解决的是“临场感”问题，比如锅里的水开了、孩子走向火炉、球赛到了精彩瞬间，这些瞬间转瞬即逝，等你组织好语言提问，时机早就过了。虽然8B规模在通用知识储备上无法与巨头抗衡，但在视觉触发的主动性上，它证明了通过高质量交互数据训练，小模型也能在特定垂直领域实现更自然的陪伴。对于开发者来说，这套全栈开源方案极大地降低了构建实时视觉助手的门槛，让AI从屏幕里的对话框，变成了一个真正能感知物理世界流动的参与者。
新浪微博 2026-08-29 00:00:00
9. 牛来大模型被认领是国产牛，打穿了Deepseek的价格线
微信公众号 2026-08-27 00:00:00
10. DeepSeek-V4-Flash-Vision-Exp开源，背后释放了一个信号：大模型竞争正在从单纯的语言能力，走向综合智能能力。一个优秀的AI模型，不只是回答问题准确，还需要理解图片、视频，结合上下文进行推理，并且能够调用工具完成任务。这次V4-Flash-Vision-Exp在原有架构基础上加入视觉模块，同时保留文本、推理和Agent能力，本质上是在尝试把不同模态的信息融合起来。未来真正有价值的AI，不一定是聊天最像人的那个，而是能够理解更多信息、完成更多工作的那个。从文字到视觉，再到行动能力，多模态可能会成为下一阶段AI发展的关键方向。#DeepSeekV4多模态模型正式开源#
新浪微博 2026-08-31 00:00:00
11. 突破遥操瓶颈！全新无本体数据世界动作模型Noe-0发布
微信公众号 2026-08-26 00:00:00
12. “牛来”大模型身份曝光
微信公众号 2026-08-26 00:00:00
13. #国产智能驾驶加速打进欧洲市场##何小鹏公布小鹏第二代VLA最新成果#国产智驾出海真的迎来实质性进展，何小鹏公布小鹏第二代VLA最新进展，已经在德国完成本地化验证，同一套模型，几乎不用新增本地训练数据，在欧洲跑出来的体验就和国内接近。我们自研的高阶智驾大模型，也要直接到海外市场同台比拼，看着国产技术一步步走出去，还挺感慨的👍
新浪微博 2026-08-27 00:00:00
14. Anthropic让AI对齐AI，效率提升1.5万倍
微信公众号 2026-08-29 00:00:00
15. 2026年8月23日，美国数学家、Anthropic 研究人员 Levent Alpöge 公布了一项可能具有里程碑意义的数学成果：他与 Claude AI 合作提出了六维球面 S^6 存在可积复结构的新构造，试图解决自20世纪40年代以来悬而未决近80年的著名 Hopf Problem，这个问题长期困扰复几何和微分几何界，连菲尔兹奖得主 Michael Atiyah 等顶尖数学家过去的相关证明尝试也未获数学界接受。 此次突破最引人注目之处在于，Claude 在极短时间内找到具体的几何构造，并进一步展开成约 108页的技术手稿，还分析了为何部分既有文献结论无法排除这一构造；随后在 8月27日，数学家 Boris Alexeev 又用 Lean 4 对核心结论进行了形式化验证，Google DeepMind 的 Formal Conjectures 项目已将该问题标记为“research solved”。 如果最终通过全球复几何专家的完整独立审查，这不仅意味着一个持续近80年的著名数学难题被解决，更可能成为迄今AI自主参与发现全新高水平数学结构、完成证明并接受形式化验证的最重大案例之一；不过截至8月29日，专家人工审查仍在进行，因此严格来说它仍应称为“高度可信的重大候选突破”，而不是已经获得数学界最终共识的定理。
今日头条 2026-08-30 00:00:00
16. AI证明了一个数学新定理
知乎 2026-08-29 00:00:00
17. Astra用47万行Lean代码验证10项数学突破，自主科研闭环能走多远
今日头条 2026-08-28 00:00:00
18. 陶哲轩：AI解数学难题成功率仅1%-2%，替代科学家有多远？
今日头条 2026-08-27 00:00:00
19. 菲尔兹奖得主戳破AI数学神话：它不是更聪明只是输得起，靠暴力试错堆出成果
今日头条 2026-08-27 00:00:00
20. AI 攻克 80 年数学猜想，却难成顶尖数学家，人类创新的底线在哪
今日头条 2026-08-26 00:00:00
21. 当AI开始帮人类搞科研，我们离“科学大爆炸”还有多远？
今日头条 2026-08-26 00:00:00
22. 别再神化 AI 数学家了：它强在找反例，弱在直觉剪枝 菲尔兹奖得主 Gowers 复盘了 AI 最近的数学战绩，发现一个反直觉规律：最出圈的突破几乎全是「找反例」，不是「证明」💡 ▸ Erdős 单位距离猜想：AI 构造一整族点集，击穿近 80 年判断 ▸ 雅可比猜想：Claude 找到反例 ▸ 非 sofic 群：历史上第一个构造 为什么 AI 擅长这个？跨领域搬工具 + 失败成本低（十项成果 token 成本才几千美元）💰 但数学家真正的绝活是「鼻子」——搜索树刚分叉就能砍掉 99% 枝条，AI 还做不到，会把迷路描述得越来越优雅。 Gowers 的验收标准：解法不光做对题，还要给出大家从没想过的新方法。一两年内，AI 可能就长出更强的鼻子🧠 以后看到 AI 数学新闻，你知道该期待什么了吧？ #AI #AI数学 #数学 #菲尔兹奖 #OpenAI
抖音 2026-08-26 00:00:00
23. AI一个月攻破87年数学猜想，数学家坐不住了
哔哩哔哩 2026-08-26 00:00:00
24. AI加速一切！数学防线刚失守，物理已在AI射程内
微信公众号 2026-08-31 00:00:00
25. 【陶哲轩在斯坦福的访谈】AI已经开始证明数学了！数学家接下来会做什么？
哔哩哔哩 2026-08-28 00:00:00
26. AI把数学猜想"批量解决"，人类数学家 该恐慌还是该让路？
知乎 2026-08-26 00:00:00
已收藏
去我的收藏夹