AI会找反例，还没证明自己
菲尔兹奖得主蒂莫西·高尔斯在 8 月 12 日写了一篇很克制的文章。他没有宣布大模型已经征服数学，也没有说大模型只会装饰门面，而是提出一个观察：OpenAI 宣布解决的十个数学与理论计算机难题里，最引人注目的成果几乎都落在反例或构造上，而不是人们通常称为重磅定理的那类证明。这个差别比「AI 能不能做...
数学
3 篇文章
Astra 用 2000 美元解了十年数学难题，昨天刚说孩子该学数学，今天就来了反证
8 月 1 日，OpenAI 公布了一件让数学界集体沉默的事：它的下一代模型 Astra，用不到 2000 美元的计算成本，解决了十个至少十年没有进展的数学问题。每个问题都不大，但都卡了十年。证明用 Lean 4 形式化语言写就，发布在 GitHub 上，附一篇论文和一份由大模型自己生成的推理过程重...
高考报志愿，AI时代的孩子该学什么：数学、哲学、艺术
八届格莱美得主 Rick Rubin 不会弹任何乐器。他制作了 Jay-Z、Adele、Johnny Cash 的专辑，在 CBS 采访里对 Anderson Cooper 说自己没有任何技术能力，对乐器一无所知，靠的是对判断力的自信。