Maith：用 AI 开展开放数学研究
Show HN: Maith – open math research with AI
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
Maith 是一个面向开放数学研究的仓库，汇集了大量数学问题，供贡献者添加思路或证明，供他人在此基础上继续推进。作者称已用人工证明扩展了 Jacobian Conjecture 的研究，该证明此前发布在 Twitter 上并已注明出处。
来源：github.com（经 Hacker News） · github.com