#ai
- AI is Rewriting Mathematics
- Huemint
- Karpathy: December Coding Agents Breakthrough
- OneContext - Agent Self-Managed Context Layer
- OpenAI model disproves Erdős’s unit-distance conjecture (discrete geometry)
- OpenAI releases 719 AI-produced maths papers (incl. the quasi-Riemann hypothesis)
On 7 October 2026 OpenAI released 719 manuscripts in 372 "families" of new mathematical results, all produced by its unreleased internal…
- OpenAI: a proof for the Navier–Stokes Millennium Prize Problem
Source: openai.com/index/navier-stokes-solution — Sep 8, 2026
- OpenAI: the Exponential Time Hypothesis is false, Kakeya in all dimensions, and Yang–Mills exists
On 26 October 2026 OpenAI announced three new results from its internal models, each a major open problem: in computer science…
- pi - Coding Agent
- ProofAtlas
An AI-first maths research platform whose best-known feature is a ranked list of the top 500 open problems in mathematics.
- Research acceleration: The view inside OpenAI
- Steve Yegge - Coding Agent Pioneer & Vibe Coding Evangelist
- Temporal for AI - The Orchestrator for AI Applications
- Terence Tao: “We have to slow down AI”
Haider clips Terence Tao arguing that the pace of AI development is unjustifiably fast: society is changing everything without knowing…
- What Even Is an OS Now?