定理

新智元报道编辑，KingHZ，新智元导读，在32道高等数学测试中，LLM表现出色，平均能得分90.4，按百分制计算，GPT，4o和MistralAI更是几乎没错！向量计算、几何分析、积分计算、优化问题...

新智元报道编辑，桃子，新智元导读，o3，mini成功挑战图论中专家级证明，还得到了盛赞，经过实测后，他总结称LLM并非是数学研究万能解法，其价值取决于问题得性质和调教AI的方式，o3，mini竟然已经...

新智元报道编辑，犀牛桃子，新智元导读，猜想界的皇冠——黎曼猜想，离被证明的那一天不远了，Grok3便是关键所在，暴力计算，验证器能让AI穷举所有解法，再加上AI辅助科学家打出的组合拳，下一个诺奖级突破...

新智元报道编辑，LRS，新智元导读，STP，自博弈定理证明器，让模型扮演，猜想者，和，证明者，，互相提供训练信号，在有限的数据下实现了无限自我改进，在Lean和Isabelle验证器上的表现显著优于现...

新智元报道编辑，AeneasKingHZ，新智元导读，就在刚刚，希尔伯特第六问题，被华人学者解决了！北大数学07级的邓煜、中科大少年班的马骁联手陶哲轩高徒ZaherHani，完成了这个125年的奇迹，...