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

活动现场，大良正式发布《“大教良城・数学强基”十大提升工程实施方案（2025-2028）》。未来三年，大良将围绕“强师、提质、创新、拔尖”四大核心，实施“4310”方案，以数学学科高质量发展为工作主线，以深化数学教育教学改革为关键支撑，以发展学生数理 ...

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

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

大型语言模型（LLMs）在数学和编程领域展现出令人瞩目的推理能力，这些能力往往通过对更强大模型生成的思维链（Chain-of-Thoughts，简称CoTs）进行后训练而得到加强。然而，当前筛选训练数据的策略主要依赖于启发式方法，这限制了其通用性，也 ...

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

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

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

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

5月23日，一场聚焦高中数学课堂教学的联合教研活动在南充龙门中学举行。南充市高中数学名师工作室、南充高中高中数学魏扬名师工作室，南充高中高中数学韩永强名师工作室与南充龙门中学数学组齐聚一堂，以“同课异构”为研修方向，围绕所授课题《余弦定理》展开深度研 ...

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