
陶哲轩转发!DeepMind开源「AI数学证明标准习题集」
陶哲轩转发!DeepMind开源「AI数学证明标准习题集」
陶哲轩转发,AI搞数学证明的标准习题集来了!
DeepMind最新开源形式化数学猜想库——
猜想库收录了经典的形式化表述的数学猜想集合,例如,解析数论中的四个朗道问题。

21
0
2025-09-02

陶哲轩转发!DeepMind开源「AI数学证明标准习题集」
陶哲轩转发,AI搞数学证明的标准习题集来了!
DeepMind最新开源形式化数学猜想库——
猜想库收录了经典的形式化表述的数学猜想集合,例如,解析数论中的四个朗道问题。


陶哲轩:AI让业余数学家也能做出贡献
AI影响之一是让业余数学家也能做出贡献。
数学下一次文化转变在于AI生成的证明是否会被接受。
很快会有个AI聊天机器人坐在你旁边。当你完成证明时,他可以回答问题,帮你解释每一步。