Tibo 分享 AI 数学成果的博客入口

Completely unrelated to the rest of the ships today, but our models did solve some important math problems and the team

内容导读

Tibo表示团队模型解决了一些重要数学问题，并链接记录成果的博客，同时说明它们与当日其他发布无关。它适合用于继续核对具体问题与证明材料，短帖没有独立展示证明，也不意味着相关模型已可公开使用。

来源：Tibo · x.com