登录
返回 环球科学

AI正在疯狂收割数学难题！黎曼猜想、孪生素数、哥德巴赫猜想……这次轮到数学家丢饭碗了

环球科学 2026年09月07日 查看原文
登录后站内阅读

已收录文章摘要，完整内容可前往原文阅读。

LLM+Lean≈数学收割机。

查看完整文章
上一篇
下一篇