AI数学突破：Gemini引领代数几何新纪元

数学奇点初现！Gemini攻克全新数学定理，斯坦福大牛惊呼「想出来能吹一辈子」；陶哲轩预言数学家+AI共生未来；Grok发现黎曼猜想新的隐蔽通道……

汉语是人类的语言，比特是计算机的语言，而数学则是宇宙的语言。

正如伽利略所言：「要理解宇宙，你必须理解它所写的语言——数学的语言。」

要测试人类是否实现了超级人工智能ASI，除了数学，还有谁？

AI在数学上的原创能力是通向ASI的必经之路，是核心中的核心。

现在，谷歌DeepMind的一个团队用Gemini证明了一个代数几何领域的全新定理，连斯坦福的大牛Ravi Vakil教授都惊呼：

这种优雅的洞察力，如果是我自己想出来的，我会吹一辈子。

AI工具已经在数学领域遍地开花。AI已正式叩响思想创造之门！

陶哲轩预言：AI或独自攻克15-2%的埃尔德什问题。

与此同时，马斯克的Grok 4.20也在Bellman函数难题上取得了突破。

我们预测：2026年将是「ASI元年」。人类负责定义问题，AI负责填补证明的空白。

警报：数学界的「奥本海默时刻」到了？

Gemini证明了一个代数几何领域的新定理。

传送门：论文链接

数学家Ravi Vakil等四人发表的论文标题为：THE MOTIVIC CLASS OF THE SPACE OF GENUS 0 MAPS TO THE FLAG VARIETY。

新论文的部分证明推广了已有框架下的相关论证方法。

在一个足够强、又可计算的框架里给出了非常干净的闭式答案。

但论文明晃晃写道：

本论文核心成果的证明过程，正是在谷歌Gemini模型及其相关工具的大力推动下实现的。

Ravi Vakil表示，他也无法确定最终自己能否独自得到这个结论。

AI与人类天才之间的差距正在缩小。

数学奇幻漂流

Grok 4.20发现平方级跃升

Paata Ivanisvili教授也提前拿到了Grok 4.20内部测试版的访问权限。

这一版本的Grok展现出的惊人数学能力，让教授直呼「好家伙」。

Grok 仅仅用了5分钟，就把一个漂亮的显式公式甩在了桌上：

U(p,q) = E \sqrt{q^2+\tau}

这个公式在数学界可谓价值连城。

陶哲轩：AI单挑1%到2%的Erdős难题

Neel Somani在测试OpenAI最新模型的数学能力时，意外发现了一件令人震惊的事。

知名数学家陶哲轩也在GitHub上进行了更详细的追踪。

他个人猜测，大概在1%到2%目前尚未解决的Erdős难题中，能在几乎不依赖人类干预的情况下，被现有AI工具直接攻克。