AI 已能证明知名数学难题，开放性科研问题才是下一关
miniapeur · x · 2026-10-28
作者观察认为，AI 目前已能产出困难的、知名数学问题的证明，但这些问题往往表述完备且有大量前人工作可依托——它们出名正是因为这一点。他更关心 AI 能否应对更开放式的科学挑战，例如调和广义相对论与量子力学；不过他也指出，这类问题的瓶颈目前更多在实验而非理论侧。
「漫话AGI」频道最新
- 计量经济学顶刊论文现身说法:Andrews 与 Mikusheva 谈 AI 写作冲击 — paulnovosad · 2026-10-28
- 药物研发中位周期延至9.3年，管道增速放缓32%，AI难解瓶颈 — paulnovosad · 2026-10-28
- 曝 OpenAI 评审委员会压下重大数学突破，决定谨慎暂不发布 — IgorCarron · 2026-10-28
- Marc Andreessen 炮轰欧洲：他们真心希望被 AI 时代抛下 — 2C_ornot2C · 2026-10-28
- 硅谷病了：前沿实验室员工推迟婚礼、不敢穿公司周边出门 — DevinLewtan · 2026-10-28
- Paras Chopra:「AI 生成」标注很快消失,取而代之的是「100% 人类」标签 — paraschopra · 2026-10-28