Nature重磅：做高中生几何奥数题，AI接近人类金牌选手了

cgl_74

Nature重磅：做高中生几何奥数题，AI接近人类金牌选手了
来源：澎湃新闻

这个名为 AlphaGeometry 的 AI 模型由来自 Google DeepMind 和纽约大学的联合团队研发，是一个能解国际数学奥林匹克竞赛级别几何题的 AI 系统，于今日登上了顶级科学期刊 Nature。
据介绍，AlphaGeometry 通过自主合成数百万个定理和证明，解决了 30 个最新奥林匹克级别（优等高中生参加的数学定理证明大赛）问题中的 25 个，接近国际数学奥林匹克竞赛金牌选手的平均表现，远超之前最好的自动化定理证明系统。

这一突破标志着 AI 在数学问题解决方面取得了显著的进展——无需人类演示即可自主应对复杂的几何学挑战。

论坛里喜欢用计算机做几何题的同学加油啊！哪天计算机学会发帖了，就彻底没你什么事了。

uk702

跟着 AI 的屁股抄结论早就是现实，相信你跟 AI 吵架，一定会被它骂得体无完肤。

cgl_74

uk702 发表于 2024-1-21 19:22
跟着 AI 的屁股抄结论早就是现实，相信你跟 AI 吵架，一定会被它骂得体无完肤。

这个因人而异吧。不知道你是如何。我是从来没抄AI的啥结论；也没跟AI吵过架。你说的体验，我没经历过。

uk702

假设用户 A 写了一段程序，用户 B 利用这个程序发现了一个结论，那么，这个结论该属于谁的，用户 A、用户 B、AI 机器？ 这将是个问题。

starfield123

能证明哥德巴赫猜想 黎曼猜想吗？

denglongshan

AlphaGeometry 如解决 IMO 2015 问题 3：
设ABC是锐角三角形。设圆O是它的外接圆（circumcircle），H是它的垂心（orthocenter），F是高AF的垂足。设M为BC的中点。设Q为圆O上的一点，满足QH⊥QA。设K为圆O上的一点，满足KH⊥KQ。
证明：三角形FKM和KQH的外接圆（分别是O₁、O₂）相切。

starfield123

denglongshan 发表于 2024-1-22 11:12
AlphaGeometry 如解决 IMO 2015 问题 3：
设ABC是锐角三角形。设圆O是它的外接圆（circumcircle），H是它 ...

具体怎么用呀？是直接输入问题就能给出答案吗

cgl_74

平面几何问题，比较容易建模，把几何问题统一转化为计算问题。而计算机做计算是天然强项。有些软件还能做逻辑演算。

我觉得，论坛里喜欢用计算机证明的同学，应该也能用计算机来证明这些奥数问题。只是一个挑战是：计算机的证明过程是如何的？是否有错误？你是否能从中学习提高？

这个AI程序就不太一样。注意其中的关键词：能生成人类可读的证明。那么这个AI证明是否正确，方法是否巧妙，完全是人类可以判断的。

“在IMO-AG-30基准测试中，该系统在30个经典几何问题中获得了25个问题的成功率，超过了基线，展示了其解决复杂几何问题的能力。AlphaGeometry生成人类可读的证明，提高了答案的可解释性，同时在解决国际数学奥林匹克竞赛（IMO）中的问题方面取得了与金牌得主相媲美的水平。”

cgl_74

starfield123 发表于 2024-1-22 23:29
具体怎么用呀？是直接输入问题就能给出答案吗

既然是AI，基本上就是：你输入问题，就给你解法和结论。