公开资料显示，钟晓本科毕业于中国科技大学，在中科院武汉数学物理研究所获得硕士学位，1998年博士毕业于芬兰于韦斯屈莱大学，师从芬兰著名数学家Tero Kilpeläinen，2009年到2016年任芬兰于韦斯屈莱大学教授，2016年任赫尔辛基大学教授 ...

【新智元导读】 人类数学家与AlphaEvolve携手，一周内两次刷新18年未破的数学纪录！展现AI与人类协作的惊人潜力。AI如侦察兵广度扫描，人类专家深度优化，双引擎驱动下，科学前沿正在加速推进！

陶哲轩曾用Lean形式化证明了PFR猜想（多项式Freiman-Ruzsa猜想），这项成就的第一步就是将猜想的核心概念转化为计算机可验证的形式化版本。

Epoch AI指出，o4-mini-medium得分提升，是因为比赛中的Tier 1/Tier 2问题相对完整基准的同级问题较简单，说明了这一调整方法仍不理想。

天津北方网讯： 今年适逢天津大学建校130周年。近日，天津大学数学学院1996级校友，米加集团创始人、董事长宋涛为母校捐赠“毅涛基金”1300万元，助力学校、学院事业发展。

此次研修活动是湖南人文科技学院数学与金融学院深化师范教育教学改革、促进校地协同育人的重要举措。它不仅为初中数学一线教师搭建了一个学习与交流的优质平台，也为数学师范生们提供了与一线教师深度接触、学习实践的机会。通过此次活动，校地双方的合作更加紧密，协同 ...

传统上，研究人员使用"结果奖励模型"（Outcome Reward Models）来评估LLM的数学解题能力，这类模型只检查最终答案是否正确。这就像只告诉你朋友"答案错了"，而不指出具体哪一步出了问题。近年来，"过程奖励模型"（Process ...

特别值得注意的是，Llama模型在高难度题目上的MAPLE得分最高，说明它在复杂数学推理方面存在最严重的问题。这个发现提醒我们，不同的AI模型在数学推理能力上存在显著差异，我们不能简单地认为所有的大模型都有相似的数学能力。

中宏网讯 5月27日，南开大学数学科学学院与多点数智有限公司、智现未来科技有限公司、淡水泉投资管理有限公司正式签署合作共建备忘录，联合启动数学与人工智能实验班项目。

任友群表示，山东大学数学学科在潘承洞等几代数学家的接续奋斗下，已成为国家基础学科研究和人才培养的重要基地。希望数学学科依托学科和国家级平台优势，在优化人才评价体系、促进学生全面发展、提升国际影响力上下功夫，与各兄弟高校一同探索高层次人才培养的创新路径 ...

报告伊始，季理真将阿贝尔和伽罗瓦比作数学天空中两颗最为耀眼的彗星。他指出，尽管这两位数学天才的生命如流星般短暂，但他们所留下的数学遗产却如恒星般永恒璀璨，照亮了数学发展的漫漫长路。在讲座过程中，季理真通过珍贵资料，向在场师生展示了阿贝尔和伽罗瓦的亲笔 ...