How real are real numbers? (2004)
Summary
An exploration of the philosophical nature of real numbers, questioning their reality and foundations in mathematics.
Similar Articles
RealMath-Eval: Why SOTA Judges Struggle with Real Human Reasoning
RealMath-Eval is a benchmark of 224 real-world high school math exam responses that reveals a significant 'Evaluation Gap': state-of-the-art LLM judges perform poorly on authentic human reasoning (MSE ~2.96) compared to synthetic LLM-generated solutions (MSE ~1.17), due to higher diversity and surprisal in human error patterns.
The Crisis in Mathematics and the Prospect of AIcademia
A philosopher's essay on how AI reasoning models are disrupting mathematics, solving long-standing conjectures and forcing academia to rethink the future of research.
A mathematician's perspective
A math PhD student shares thoughts on how AI could reshape mathematics research, arguing pure math has always been curiosity-driven and that the community needs an honest answer about why it does math, beyond grant funding justifications.
Egoless Mathematics in the AI Era
A guest post on Terence Tao's blog by Karthik C. S., Amit Sahai, and Jie Xue reflecting on how AI forces mathematicians to reconsider the purpose and value of their work, arguing for a Platonic, 'egoless' view of mathematical discovery over one tied to individual achievement and result production.
“mathematics is not about proofs, but about understanding“
A linguistics-background Reddit poster weighs into heated debates about AI in mathematics, questioning why AI-generated proofs are dismissed as "answers without understanding" and arguing that a paper's value should be judged by what readers can learn rather than the author's failed attempts.