#AI辅助数学研究

共 1 条 · 7 天 0 条 · 30 天 0 条

EpochAI 1 FrontierMath 1 数学证明 1

信息流里打上「AI辅助数学研究」标签的资讯、产品与论文，按刊登时间排，新的在上。

7月28日

模型精选12:59

AI辅助证明40年未解数论问题

有个哥们用AI加上语音指令，把40年没解开的数学难题给破了，还和出题人联名发了证明，真的牛。

#EpochAI #FrontierMath #AI辅助数学研究 #数学证明

官方账号Greg Brockman@gdb原文