没想到数学都要被 AI 攻克了
AI正加速攻克数学研究，引发社区广泛争议。
1. 关键信息
- AI正用于证明新数学结果，被视为数学研究的新起点（#1, #16）。
- 数学证明被指依赖大量搜索与形式化，AI在搜索方面表现更优（#18）。
- 验证奇思妙想的推导过程仍耗时，需结合数据爬取与相关度计算（#12）。
- 形式化证明教程与工具存在，如 Terry Tao 的形式化证明指南（#20）。
2. 羊毛/优惠信息
无
3. 最新动态
无
4. 争议或不同意见
- 数学并非全是奇思妙想，验证过程耗时（#5, #7）。
- AI是否能真正攻克数学仍存疑，甚至被否定（#8, #10）。
- 过度依赖AI可能导致论文作者身份模糊（#23）。
5. 行动建议
关注 AI 辅助数学研究进展，审慎评估其在形式化证明中的实际作用。
https://www.quantamagazine.org/the-ai-revolution-in-math-has-arrived-20260413/?utm_source=substack&utm_medium=email https://www.quantamagazine.org/the-ai-revolution-in-math-has-arrived-20260413/?utm_source=substack&utm_medium=email AI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning. 我一直以为数学是人类智慧的最后堡垒，等数学被攻克了，基本上就没有什么 AI 不能攻克的了
handyman还早呢
数学最容易攻克吧。全是形式化的东西，AI最喜欢。
证明很难的吧，需要各种奇思妙想
问题是大部分数学研究也不是奇思妙想啊。
数学家的研究大部分都要奇思妙想吧，又不是做题
问题是他奇思妙想了后面等证明自己奇思妙想是对的啊，这部分过去才是花时间的。
不可能，绝对不可能
没看懂你在说什么
nnq: 不可能，绝对不可能 短剧确实已经被AI攻克了
有啥攻克不攻克的 你不会以为用一样的AI你就能和特仑苏Tao一个起跑线了吧？
比如你有个奇思妙想的idea：泥潭所有ID其实本质上都是一个ID。那你接下来需要去用各种方法验证这个，比如爬数据啊，算发言的相关度啊，这部分AI做的又快又好。
蓝翔要热门了
AI能不能给自己定义出来一个理论框架说哪些问题AI能解决哪些不能？省着成天出这种新闻。
解题肯定攻破了 研究领域的呢？ 那么多猜想AI能证明吗？
这篇文章说的就是 研究领域 AI 辅助数学家工作的事
感觉并非奇思妙想，很多都是一个 approach 搬来搬去
数学证明本质是一个巨大的search space，这方面ai做的比人好多了
省流 你要找的是不是不完备性定理
怎么用电脑证明可以看terry tao的形式化证明 那个tutorial真不赖
IRS_pro: 辅助数学家 工作的事 IRS_pro: 等 数学被攻克 了 IRS_pro: 没有什么 AI 不能攻克 的了 到底是谁在攻克？？？?
在过几十年，体力劳动才是金饭碗
https://www.uscardforum.com/t/topic/453458 /c/jobs/academics/48 这样写出来的论文还是我自己的论文吗？ /t/topic/453458/1 https://www.reddit.com/r/singularity/comments/1ol6ag2/fields_medalist_timothy_gowers_tweets_about_how/ 投票统计
獎勵AI一塊華為手錶 – 發自我的手機
争取多活两年: 形式化的东西，AI最喜欢。 AI: 作为一个大语言模型，我没有人类的情感、意识、自我意识或主观体验。我不会感到悲伤、快乐、愤怒或喜欢。我的回应基于数据模式和算法，而非真实感受。尽管如此，我可以“理解”情感的定义，并能识别文本中的情绪模式（如：喜悦、焦虑、悲伤等），从而模拟出富有同理心的表达方式。
正好最近小珺采访洪乐潼 她说话语调很像谷爱凌 她确实不水很接地气 数学真是要被颠覆了https://podcasts.apple.com/us/podcast/%E5%BC%A0%E5%B0%8F%E7%8F%BAj%C3%B9n-%E5%95%86%E4%B8%9A%E8%AE%BF%E8%B0%88%E5%BD%95/id1634356920?i=1000762327701