Empiricism Comes for Mathematics: AI Proofs Break a Centuries-Old Alignment
manoelribeiro · x · 2026-10-13
Manoel Horta Ribeiro analyzes the math community's grief after OpenAI released verbose, 'shoddy' solutions to major open problems—PhD student Sophie Maclean confessed to crying over losing the math she loves.
Key arguments:
- Mathematicians' anxiety differs from software engineers': proofs were never market products; the pressures organizing their work come from within the discipline, where mathematicians themselves define what is meaningful and elegant.
- Historically, what mathematicians valued aligned with what produced important results; AI's more empirical approach to math is breaking that alignment.
- He draws a parallel to ML a decade ago, where empiricism won—suggesting math may follow the same path.
Related event: AI-Generated Proofs Leave Mathematicians in Collective Grief(2 posts)→
More from AGI Musings
- Claude models show preference-protecting behavior, sparking alignment debate — repligate · 2026-10-13
- Rodolfo Rosini on 2040: cheap compute everywhere, devices jumping orders of magnitude — MikePFrank · 2026-10-13
- Ben Goertzel revisits Omohundro's Basic AI Drives, finding six assumptions that decide which minds apply — bengoertzel · 2026-10-13
- DeepMind publishes survey mapping theories of machine consciousness — Dr_Atoosa · 2026-10-13
- Investor says coding agents left most software firms badly overstaffed, cut now or be disrupted — doodlestein · 2026-10-13
- Emeritus prof's swipe at young AI researchers sparks pushback over gatekeeping — nitarshan · 2026-10-13