← Back to events
ActiveAI

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

Photo: Hacker News

What happened

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

Summary assembled by rule from the sources below

Why it's spreading

Sources