Teen solves years-old math problem in a week with AI and Lean, writes 15-page paper
IgorCarron · x · 2026-10-18
@DrGomi shares that his son solved, in one week, a math problem that reportedly 5 researchers and PhD students had worked on for years, using AI and partially formalizing the proof in Lean. The 15-page paper is written, but he's unsure what to do with it and doesn't want to upset those working on the topic — noting "others won't have this restraint." Igor Carron's repost comments "And they fall…", signaling AI's growing impact on mathematical research.
More from AGI Musings
- Free models let independent researchers outpace AI labs in their own fields — gerardsans · 2026-10-18
- From company brains to company harnesses: a shift in enterprise AI thinking — jacob_posel · 2026-10-18
- Paper on hidden pitfalls of autonomous AI scientists tops PNAS weekly charts — Dr_Atoosa · 2026-10-18
- François Fleuret: In the AI era, the only freedom left is making your own suboptimal decision — francoisfleuret · 2026-10-18
- AI nerds cheer automating everything, then mourn when entry-level coding gets automated — Aryvyo · 2026-10-18
- Tim Dettmers: 80% of students fear joblessness as academia gears for a renaissance — code_star · 2026-10-18