从古希腊几何到现代数论，数学不只是一种精密的工具，更体现了人类对真与美的不懈追求。在数学家丘成桐看来，真正伟大的科学进步是由宏观视角驱动的，数学并非一门孤立的学科，而是一项与更宏大的哲学框架密不可分的探索。

一颗重达500万亿吨的彗星，正以每秒几十公里的速度朝太阳系冲来！科学家们发现这颗天体后，整个研究圈都炸开了锅。这不是科幻片，而是真真切切的天文事件，可能威胁到地球的安全。

此前，微软量子团队通过将其量子比特虚拟化系统应用于美国量子初创公司 Atom Computing 的中性原子，创建并纠缠了 24 个可靠的逻辑量子比特。相较于其他一些量子比特技术，Atom Computing ...

也是在这里，她和数学家Joshua Zahl一起做出了三维挂谷猜想。那是一百多年前日本数学家挂谷宗一提出的平面几何谜题，是调和分析与几何学中的百年难题。 王虹在三维挂谷猜想上的突破，引发了整个科学界的关注。今年5月份，法国高等科学研究所 ...

王虹确有实力，在调和分析和几何测度论领域做出了重要成果，比如解决Furstenberg猜想，这些都发表在顶级期刊上，说明她已进入国际一流学者行列。然而，她目前的工作还在同行评审中，离“彻底解决挂谷猜想”还有距离。一些媒体却将她推上神坛，称其“锁定菲尔 ...

在中国数学圈里，提起“韦神”，几乎无人不知。但还有一位正在国际学术舞台上发光的中国女数学家——王虹。1991年生于广西桂林的王虹，在高考中以653分考入北京大学地球与空间科学学院，后转入数学科学学院。在那个女性在理科中仍属少数的年代，她凭借对数学的热 ...

闻乐 发自 凹非寺量子位 | 公众号 QbitAI 1900年，数学大师希尔伯特提出23个数学难题，其中第六个问题——“物理学的公理化”，被称为数学物理的终极挑战。

这项由复旦大学王一坤、王一斌、王典艺等研究者，联合上海人工智能实验室、上海创新研究院、浙江大学以及南洋理工大学共同完成的突破性研究，于2025年6月发表在arXiv预印本平台（论文编号：arXiv:2506.07160v1）。对这项研究感兴趣的读者可 ...

几何是 IMO 四大题型之一，各题型之间最为统一 ... 只是由于实现差异而稍微强一些（例如泰勒斯定理被更通用的圆心角定理取代）。然而，DDAR 缺少一个对解决难题至关重要的关键特性：它无法接受两个名称不同但坐标相同的点。 例如，想象一个问题：在点 ...

从上面的例子中可以看到，AlphaGeometry在构造辅助点方面非常高效，并且能够在不依赖复杂的欧几里得几何知识和工具的情况下，为难题提供非常优雅 ...

新智元报道 编辑：编辑部【新智元导读】谷歌DeepMind的AI，终于拿下IMO金牌了！六个月前遗憾摘银，如今一举得金，SKEST新算法立大功。这不，它首破解了2009 IMO最难几何题，辅助作图的神来之笔解法让谷歌研究员当场震惊。时隔6个多月，AlphaGeometry 2直接攻下IMO金牌！刚刚，谷歌DeepMind一篇28页技术 ...

从上面的例子中可以看到，AlphaGeometry在构造辅助点方面非常高效，并且能够在不依赖复杂的欧几里得几何知识和工具的情况下，为难题提供非常优雅的解决方案。这使得它能够产生人类通常无法想到的，既富有创意又高效的解法。 那AlphaGeometry有哪些问题是尚未 ...