盘点:前沿模型接连攻克数学物理化学等数十年未解难题
IgorCarron · x · 2026-10-15
作者 Igor Carron 收集了过去数周里前沿模型(Claude、ChatGPT)帮助或解决人类卡关数十年难题的案例,整理成完整地图。
- 覆盖领域极广:数学、物理、化学、芯片设计、无线电、密码学、会计、文学等,几乎没有触及不到的领域
- 数学最集中:59 年历史的 Sylvester 猜想被解决、Mathieu 猜想、Erdős Problem 579(Lean 形式化验证)、Erdős–Sós 猜想、KLS 猜想等
- 配图可见案例:压缩位图围棋、546 个行星候选、每月新 CFé 统计、整数乘法贡献者增长、AI 呼叫中心替代讨论、「上个月提交 2000 个 PR」等跨领域实例
- 核心观察:不再是单一成果,而是全面扩散;解题越来越不需要 PhD,半专家加上品味也能参与——作者称这是当下世界上最激动人心的事
所属事件:博主盘点前沿模型接连攻克数十年未解难题(2 条相关)→
「漫话AGI」频道最新
- 2021 年 Anthropic 内部文件曝光:已预见万亿参数与 RL 全套路线 — akbirthko · 2026-10-15
- Google 汇集 50 余位专家,发布智能体隐私与安全开放问题报告 — dl_weekly · 2026-10-15
- Katja Grace 质疑:Dario、Sam 和 Elon 没在 AI 安全上拿出全力 — NathanpmYoung · 2026-10-15
- 研究者 Andrew G. Wilson 炮轰公开信:比什么都不做还糟 — andrewgwils · 2026-10-15
- BARRACUDA 微流控芯片一次捕获百万单细胞,高通量测绘基因线路设计空间 — NikoMcCarty · 2026-10-15
- AI 硕士生担忧数学物理前景:模型解题已超越多数人 — Proud_Cantaloupe_695 · 2026-10-15