As a developer building AI for scientific discovery, I wanted to test if autonomous research actually...
As a developer building AI for scientific discovery, I wanted to test if autonomous research actually works. So I built Luka and pointed it at Goldbach's conjecture.
The Background
Goldbach's conjecture: every even integer > 2 is the sum of two primes. Verified up to 4 × 10¹⁸, but the distributional properties are poorly understood.
The Hardy–Littlewood formula predicts the count of representations r(n):
r(n) ≈ 2C₂ · ∏_{p|n} (p-1)/(p-2) · n/(ln n)²
As a developer building AI for scientific discovery, I wanted to test if autonomous research actually...
I'm a developer, not a number theorist. But I built Luka — an autonomous AI research engine — and...
After an AI from OpenAI found a trick to solve an 80-year-old conjecture from Paul Erdős, mathematicians have borrowed the same…
A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in math’s…
Hungarian mathematician Paul Erdős’ ‘planar unit distance conjecture’ has stood since 1946 – but an AI disproof has made…
OpenAI's reasoning AI autonomously disproved the Erdős planar unit distance conjecture after 80 years, earning praise from Fields…
