AI-Generated Proofs Leave Mathematicians in Collective Grief

After OpenAI released a rough but valid solution to a major open math problem, mathematicians expressed collective grief. Manoel Horta Ribeiro's analysis argues that empiricism is reshaping the value system and community identity of mathematics.

2026-10-13 ~ 2026-10-13 · 2 related posts

• Empiricism Comes for Mathematics: AI Proofs Break a Centuries-Old Alignment — manoelribeiro · 2026-10-13

1 near-duplicate retellings: manoelribeiro