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

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

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

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

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

针对大罢免，民进党立法院党团总召柯建铭昨(30)日晚间发文透露罢免时机就在7月26日、8月23日，国民党立委王鸿薇质疑柯建铭成中选会太上皇；民进党立委沈伯洋今(31)日则强调「这是数学」，二阶提案是在5月初送件，依《选罢法》规定40天内需有结果，再加 ...

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

近日，庐江县城东小学为期两周的“数学嘉年华”活动圆满收官。本次活动以“智慧绽放，快乐成长”为主题，通过多元化的实践设计与跨学科融合，以丰富多彩的数学实践与创意比拼，深度激活学生的数学核心素养。本次活动不仅是一场数学能力的竞技，更是一次打破学科壁垒、培 ...

会上，数学学院1996级校友、米加集团创始人、董事长宋涛为母校捐赠“毅涛基金”1300万元，助力学校、学院事业发展。宋涛表示，在天大求学期间所学的数学知识，成为其日后从事相关工作的关键支撑与宝贵财富，作为校友，支持数学学院发展、助力学校“双一流”建设是义不容辞的职责。

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

本报讯（陈雪梅 文/图）在数韵飞扬、创意无限的4月，绵阳市六一学校成功举办了以“探索数学文化，启迪思维之光”为主题的数学学科节活动。一系列融趣味与思维于一体的活动，让同学们沉浸式感受数学之美，在实践中触摸数学的无限魅力。 趣味实践：让数学“看得见” ...

任达华经常会在社交媒体上分享自己与女儿的生活记录。 2024年12月，任达华一家亮相巴黎名媛舞会，父女二人共舞，场面十分温馨。任达华身穿黑色西装，状态很好，女儿任晴佳则身穿玫红色礼裙，明艳大方。