2h ago

AI Produces First Autonomous Interesting Math Research, Settling Bet Early

——0——
Original post
kache#488@YACINEMTBOPMichael DrugganMichael Druggan@MICHAEL_DRUGGAN

Update: Ludwig has paid me $1000 as the recent disproof of the unit distance conjecture was judged to qualify as fully autonomous interesting math. This is an exciting development. I fully expected to win this bet but I didn't expect for it to happen quite so soon.

5:08 PM · May 24, 2026 View on X
QUOTE POSTkache#488kache@YACINEMTB

Clairvoyant

Michael DrugganMichael Druggan@Michael_Druggan

Update: Ludwig has paid me $1000 as the recent disproof of the unit distance conjecture was judged to qualify as fully autonomous interesting math. This is an exciting development. I fully expected to win this bet but I didn't expect for it to happen quite so soon.

12:08 AM · May 25, 2026 · 41.9K Views
1:09 AM · May 25, 2026 · 5.1K Views