Köthe 猜想证伪

GPT-6 Astra 自主找到困扰数学界 90 多年的猜想反例。

• AI 搞科研的里程碑：预发布版 Astra 在 96 小时/$1000 预算内无人干预，用 Lean 4 写出 Köthe 猜想矩阵形式的机器可验证反例——实际仅用 26.1 小时、$432。
• 学术背书最硬：人类数学家据此整理成论文发上 arXiv，还回答了 Rowen 1989 年的相关问题；英文维基词条已更新收录；同团队又找到第二个反例。
• "自主搜索＋机器验证"闭环：证明了 Astra 被期待的那件事真的跑通了。

热度背书

论文 arXiv:2609.07996；维基词条更新；GitHub 7 star。注意：这是"反例构造"（机器验证），不是完整猜想证明。

评分

维度	评分	理由
新鲜度	★★★★★	90 多年猜想被 AI 找到反例
完成度	★★★★★	学术意义
推荐度	★★★★☆	数学爱好者