Daily Briefing: OpenAI's Erdős Proof vs. LeCun's Reasoning Critique

On the same day OpenAI claimed a general-purpose reasoning model disproved an 80-year-old Erdős conjecture in discrete geometry — with mathematician Tim Gowers confirming the result — Yann LeCun publicly argued that LLMs fundamentally cannot reason and compensate with brute-force declarative knowledge. These represent two explicitly incompatible views of AI capability. If the Erdős proof survives peer review, it would be one of the strongest pieces of evidence that genuine reasoning is emerging within LLMs. The episode also covers Andrej Karpathy joining Anthropic, Google's Gemini 3.5 Flash release, and Spotify's AI music licensing deal with Universal Music Group.

STORIES COVERED

OpenAI model solves 80-year-old Erdős unit distance problem in dis ...