用户称 AI 助手 Sol 成功解决群论重大开放问题

近日，一位名为 Sauers 的开发者表示，他非常确信自己使用的一组 AI（核心为名为 Sol 的模型）成功解决了一个群论领域的重大开放性问题。为了理解并验证 AI 给出的证明过程，该开发者表示接下来必须开始深入学习群论相关知识。

2026-08-13 ~ 2026-08-13 · 2 条相关