AI 或已解决群论重大开放性问题
Sauers_ · x · 2026-08-13
一位开发者表示，他非常确信自己使用的 AI（主要是名为 Sol 的模型）已经成功解决了一个群论中的重大开放性问题。他接下来必须开始深入学习群论，以便理解并验证 AI 给出的证明过程。
所属事件:用户称 AI 助手 Sol 成功解决群论重大开放问题(2 条相关)→
「漫话AGI」频道最新
- eigenrobot:AI 加速下人力资本投资恐将整体崩塌 — eigenrobot · 2026-10-16
- researcher：基础模型范式至今仍反直觉 — jd_pressman · 2026-10-16
- Grady Booch：LLM 不会推理，我不怕超级智能而怕借其揽权者 — Grady_Booch · 2026-10-16
- Vals AI 实测 6 个个人 Agent 退 £350 款:用户失联后仍激进追偿 — ricklamers · 2026-10-16
- OpenAI 内部模型展现出数学「研究品味」，专家称突破超出已有文献 — cong_ml · 2026-10-16
- willcb：AI 的终点恐怕只是「更快的芯片化人类推理」 — willcb · 2026-10-16