I'm a developer, not a number theorist. But I built Luka — an autonomous AI research engine — and pointed it at one of math's oldest open problems. What it found blew my mind.
How It Started
I'm a developer who builds AI frameworks. One day I had an idea: what if I could build an engine that autonomously investigates open problems in mathematics? Not just answer questions — actually research them. Run computations, test hypotheses, falsify models, write papers.
I called it Luka.
The first thing I pointed it at was the twin prime conjecture — the idea that there are infinitely many pairs of primes differing by 2, like (3,5), (11,13), (17,19). Hardy and Littlewood gave us a formula for this back in 1923:
