←返回首页

话题 · Topic

#AI for Math

共 5 条相关资讯

2026.08.28 · 周五研究论文

FormaTheoria 七个月完成四个关键定理形式化

2026.08.20 · 周四研究论文

Claude 联手数学家证伪百年 Carathéodory 猜想

2026.08.11 · 周二研究论文

OpenAI 攻克 10 项长期数学难题，菲尔兹奖得主谈 AI 对数学的冲击

2026.07.28 · 周二行业动态

菲尔兹奖得主激辩：AI 会「杀死」数学吗？

2026.07.21 · 周二研究论文

Fable 5 协助数学家证伪 85 年雅可比猜想