AI 或已解决群论重大开放性问题
Sauers_ · x · 2026-08-13
一位开发者表示，他非常确信自己使用的 AI（主要是名为 Sol 的模型）已经成功解决了一个群论中的重大开放性问题。他接下来必须开始深入学习群论，以便理解并验证 AI 给出的证明过程。
所属事件:用户称 AI 助手 Sol 成功解决群论重大开放问题(2 条相关)→
「漫话AGI」频道最新
- 学者直言 AI 生物学难落地：底层数据质量远不及数学文献 — MaxUnfried · 2026-08-13
- 特斯拉AI工程师：真实世界长视野任务是机器人底线 — yunta_tsai · 2026-08-13
- 别等更强模型了！Agent可靠性困境的破局之道在于架构设计 — import_jmr · 2026-08-13
- 观点：AI实体将成主要经济参与者，已是互联网多数用户 — toptickcrypto · 2026-08-13
- 用 AI 加速科研：如何评估大模型在实验决策中的信息增益 — nathanbenaich · 2026-08-13
- AI 如何习得科学直觉：被论文抹去的失败实验才是真金 — nathanbenaich · 2026-08-13