How real are real numbers? (2004)

Hacker News Top Papers

Summary

An exploration of the philosophical nature of real numbers, questioning their reality and foundations in mathematics.

No content available
Original Article

Similar Articles

RealMath-Eval: Why SOTA Judges Struggle with Real Human Reasoning

arXiv cs.AI

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.

Revisiting AI consciousness

Reddit r/ArtificialInteligence

A philosophical discussion questioning whether humans can objectively prove their consciousness in a way that current AI cannot, highlighting the subjective nature of such proof.

The Fall of the Theorem Economy

Hacker News Top

David Bessis reflects on the nature of mathematical research, arguing that conceptual understanding is more valuable than the mere production of theorems, drawing from his own experiences in academia and a machine-learning startup.