数学

3名高中生，只用课余时间，重新证明了100年前的数学定理。 不只是圆，你可以在门格海绵（Menger Sponge）中找到任何一个数学结（knot）！ 你可能对门格海绵还比较陌生，它是Karl Menger（卡尔·门格尔）在1926年创建的一个非常有趣的概念，对现代数学、图形学等领域都很重要。

陶哲轩最新力作，在“自然数倒数之和是否为有理数”问题上取得一系列进展。 其中最引人瞩目的一项成果，就是证明了一个非常反直觉的猜想，居、然、是、对、的：存在一个递增的自然数级数ak，使得对任意有理数t，都是有理数。 （）一位Topos研究所的数学物理学家John Carlos Baez在评论区毫不掩饰自己的惊叹：哇哦，这个结论太反直觉了！

30多年的数学猜想，被AI发现了一个反例？ 就在刚刚，Meta、威斯康星大学麦迪逊分校、伍斯特理工学院、悉尼大学的几位学者提出PatternBoost，这种全新的方法可以在一些数学问题中寻找有趣的结构。 图片论文地址：「局部搜索」和「全局搜索」。

让大模型集体吃瘪，数学题正确率通通不到2%！ 获大神卡帕西力荐，大模型新数学基准来势汹汹——一出手，曾在国际数学奥赛中拿下83%解题率的o1模型就败下阵来，并且Claude 3.5 Sonnet、GPT-4o、Gemini 1.5 Pro等全都未攻破2%这一防线。 所以，新挑战者到底啥来头？

8月9日消息，阿里通义团队开源新一代数学模型Qwen2-Math，包含1.5B、7B、72B三个参数的基础模型和指令微调模型。Qwen2-Math基于通义千问开源大语言模型Qwen2研发，旗舰模型 Qwen2-Math-72B-Instruct在权威测评集MATH上的得分超越GPT-4o、Claude-3.5-Sonnet、Gemini-1.5-Pro、Llama-3.1-405B等，以84%的准…

感谢阿里通义千问 Qwen2 开源家族迎来新成员 Qwen2-Math，共有 15 亿参数、70 亿参数和 720 亿参数三个版本，是基于 Qwen2 LLM 构建、专门用于数学解题的语言模型。简介Qwen2-Math 是一系列基于 Qwen2 LLM 构建的专门用于数学解题的语言模型，其数学能力显著超越了开源模型，甚至超过了闭源模型（如 GPT-4o），官方希望为科学界解决需要复杂多步逻辑推理的…

google公司上周发布技术报告，表示 Gemini 1.5 Pro 模型在经过专门的数学领域训练之后，大幅提高了数学课题，并成功办理了国际数学奥林匹克竞赛的部分课题。google针对数学场景有针对性地训练 Gemini 1.5 Pro 模型，并通过 MATH 基准、美国数学邀请考试（ AIME) 和google内部的 HiddenMath 基准进行尝试。根据google的数据，数学型 Gemin…

编辑 | 白菜叶「提出一个假想——一个被怀疑为真的命题，但需求明确的注明——对数学家来说就像是神圣灵感的时刻。数学假想不仅仅是有根据的猜测。制定它们需求天才、直观和经验的结合。即使是数学家也很难解释自己的发觉过程。然而，与直观相反，我认为这是机械智能最初最具变革性的范围。」英国伦敦数学科学研讨所所长 Thomas Fink 说。2017 年，伦敦数学科学研讨所的研讨职员开始将机械学习应用于数学数据…

分解数据持续解锁大模型的数学推理后劲！数学课题办理威力一直被视为衡量言语模型智能水平的重要指标。通常只有规模极大的模型或经过大量数学相关预训练的模型才能有机会在数学课题上表现出色。近日，一项由 Swin-Transformer 团队打造，来自西安交通大学、中国科学技术大学、清华大学和微软亚洲钻研院的学者共同完成的钻研工作 Xwin 颠覆了这一认知，揭示了通用预训练下 7B（即 70 亿参数）规模的…

【新智元导读】前提数学已经被拔高到研究 AI 的必经之路！UC 伯克利教授发起最新倡议，31 位 AI 大佬共同签署联名信，马斯克和 Altman 竟达成一致。就在刚刚，UC 伯克利 EECS 教授 Jelani Nelson 联合发起了一个倡议，强调「坚硬的数学前提对人工智能至关重要」。地址：「虽然 Elon Musk 和 Sam Altman 最近在很多问题上都有分歧，但他们都认同，AI 的构…

高中阶段进修数据迷信能不能替代数学，这个话题的讨论已经延伸到了 AI 圈。为了 AI 的发展，再不加强本原教训就晚了。在大模型技术高速发展，各家公司激烈竞争的同时，有人站出来对于未来的人才表示了担忧，焦点在于数学。近日，加州大学（UC）系统对于退学新生设立数学本原规范的消息掀起了轩然大波。随着全国范围内数学成绩的下降，一些教训工作者认为，规范的代数密集型数学教训须要改革，既可以吸引更多的门生，也可…

五届阿里寰球数学比赛，走出了十余名新生代数学家。

好将来推出数学规模千亿级大模型 MathGPT ，做好 AI 时代数学基础工作。

面向环球数学爱好者和科研机构，计划于年内推出据了解，学而思正在进行自研数学大模型的研发，命名为MathGPT，面向环球数学爱好者和科研机构，以数学范畴的解题和讲题算法为核心，目前已经取得阶段性成果，并将于年内推出鉴于该自研大模型的产物级应用。据悉，学而思已将MathGPT作为公司核心项目，由CTO田密负责，今年春节前，该项目已经启动相应的团队建设、数据、算力准备和技术研发。此外，学而思已经启动在美…

张益唐曾表示：不要盲目崇拜权威，要敢于挑战传统。对那些别人说不可能做到的事，要勇于探索。如果真正热爱，就永不放弃。

研究在八维空间中最有效填充球体，以及素数间距的数学家成为了今年菲尔兹奖章的取得者。

首位华人诺贝奖获得者杨振宁老师，首位华人图灵奖获得者姚期智老师，首位华人菲尔兹奖获得者丘成桐老师，现已齐聚清华。正值清华大学求真学堂创造一周年之际，担任求真学堂院长的丘成桐正式宣布，将全职加入清华工作。4 月 20 日上午，丘成桐清华大学讲席熏陶聘任仪式在清华主楼接待厅举行。图源：清华大学新闻网在就职演讲中，丘成桐追忆了自己的老师、著名数学家陈省身老师，并表示自己接受清华大学的聘请、回到陈老师的母…

在 IMO 2021 的赛场上，中国队又一次实现了「全员金牌」并喜提冠军，来自华师大二附中的选手王一川更是取得了全场唯一的满分成果。

5 大赛道的 25 道决赛试题已正式公布，你都能看懂吗？

丘成桐的老朋友 Caucher Birkar 即将到任，清华来了第二位菲尔茨奖得主。

第一道单选题，只有2251位参赛者选出了正确答案「C」。

不需要参加高考，第一批入围「丘成桐数学科学领军决策」的神仙选手们，这个月将直接入读清华大学。

为了衡量机器学习模型的数学求解能力，来自 UC 伯克利和芝加哥大学的研究者提出了一个包含 12, 500 道数学比赛难题的新型数据集 MATH，以及帮助模型学习数学基础知识的预训练数据集 AMPS。研究发现，即使是大参数的 Transformer 模型准确率也很低。