Community
AI e matematica: dalle Olimpiadi all'ETH in tre anni
- 2023: GPT-4 fa 92% su GSM-8K (problemi di scuola). 2024: AlphaProof e AlphaGeometry 2 (Google DeepMind) arrivano a livello argento alle IMO. 2025: livello oro per Gemini Deep Think e per un modello sperimentale OpenAI
- 20 maggio 2026: un modello OpenAI smentisce la congettura di Erdős sulle distanze unitarie (1946): più coppie di punti a distanza 1 del previsto, n^(1+δ) con δ ≈ 0,014. Prova controllata da matematici esterni
- 8 settembre: OpenAI dice di aver risolto Navier–Stokes, problema del millennio (soluzioni che "esplodono" in tempo finito), con 88 ore di agenti e 17 di Lean. Il Clay non l'ha ancora riconosciuto e c'è una disputa di priorità con Buckmaster (NYU) e Alpöge (Anthropic)
- 6 ottobre: OpenAI pubblica 722 manoscritti, frutto di circa 4.000 problemi. Il giorno dopo ne ritira 3 per un errore di segno; oggi il 42% dei risultati principali è in Lean
- 26 ottobre: OpenAI e, separatamente, Claude confutano l'ETH (news a parte)
- Dalle gare ai problemi aperti in tre anni, ma il limite è la verifica: ritiri, enunciati da ricontrollare a mano, prove non pubbliche
