← 返回事件
持续讨论AI

GPT-6 Astra has made a major breakthrough in the Goldbach Conjecture

图:Hacker News

发生了什么

The Liouville version of the Goldbach conjecture is now fully proven and Lean verified! Every positive even number greater than 2 is the sum of two positive numbers with Liouville value -1. https://t.co/hzeoRu6QBy

摘要按规则整理自下方来源原文

为什么在扩散

来源