23:05
官方账号Decoder@Matthias Bastian
72°
推荐理由：数学家陶哲轩说AI可能引发数学领域危机，和1900年那次一样严重。他建议，如果一个证明没人能解释，那它就是不完整的。
数学
共 13 条相关 AI 资讯
8月20日
23:05
陶哲轩在文章中警告，AI可能引发数学领域自1900年基础危机以来最大的危机。这次危机考验的不是数学真理，而是该领域的价值观，包括什么算作贡献、什么值得奖励以及谁完成了工作。他提出一个经验法则：如果一个证明没有人类能解释，就应该被视为不完整的。
8月19日
22:43
22:43
Hunyuan@TXhunyuan
Hunyuan@TXhunyuan精选
推荐理由：腾讯混元Hyra在数学领域又有突破，开源模型解决开放问题的能力又提升了。
02:12
02:12
The Rundown AI@therundownai
The Rundown AI@therundownai精选72°
推荐理由：Axiom 的 AxiomProver 证明了 BGP246 定理，离孪生素数猜想很近。
8月8日
16:00
16:00IT之家（博客/媒体）
72°
推荐理由：OpenAI 的 Astra 论文被数学家抓了没引文献，两项核心结果撞车 2016 和 2019 年的工作，OpenAI 说要改，看看学术圈怎么较真。
8月5日
11:22
11:22
官方账号arXiv cs.LG@Congwei Song
推荐理由：这篇用范畴论重讲统计学习模型，少见。适合数学背景的人看，能帮你找到跟机器学习研究接头的入口。
8月3日
21:56
21:56
Paul Graham@paulg
Paul Graham@paulg推荐理由：Paul Graham 问专家后得到一个反直觉的解释：数学容易训练不是因为简单，而是因为对错明确。
8月1日
15:34
15:34官方一手OpenAI Blog（博客/媒体）
推荐理由：OpenAI一口气放出十项数学和理论计算机科学进展，几何、密码学、复杂性全覆盖，都是几十年没解开的难题。
7月27日
10:56
10:56
Gary Marcus@GaryMarcus
Gary Marcus@GaryMarcus71°
推荐理由：Gary Marcus一句话点透：AI再聪明，不可靠也是白搭。只有编码数学这种能验证的地方才是AI的用武之地。
7月20日
23:09
23:09
elvis@omarsar0
elvis@omarsar0推荐理由：这场讨论点出了论文引用和算法溯源的重要性，适合关注数学推导细节的读者。
5月30日
20:12
20:12官方账号Decoder@Matthias Bastian
精选
推荐理由：数学研究者或 AI 从业者会看到，AI 如何将数学从个人艺术变为团队工程——陶哲轩的洞见值得所有关注科研范式变革的人细读。
5月21日
17:28
17:28
orange.ai@oran_ge
orange.ai@oran_ge93°
推荐理由：这是 AI 首次自主解决数学开放问题，证明了通用推理模型能跨领域创造新解法，做 AI 研究和数学研究的都该看看——它可能改变我们对 AI 创造力的认知。
14:57
14:57
rohanpaul_ai@rohanpaul_ai
rohanpaul_ai@rohanpaul_ai83°
推荐理由：OpenAI 用通用推理模型解决了一个困扰数学家近 80 年的难题，证明 AI 不需要专用引擎也能做前沿数学研究。做 AI 推理或数学建模的团队值得关注——它展示了“推理时计算”比“更多训练”更能带来突破。
5月11日
22:15
22:15
官方账号François Chollet@fchollet
推荐理由：该言论来自AI领域权威人物，直接点出了理论与实践结合的瓶颈，对AI从业者的学习和研究方式有参考价值。