OpenAI sostiene che il modello Astra abbia prodotto nuovi risultati su dieci problemi di matematica e informatica, il caso apre una questione più profonda: che cosa significa studiare, comprendere e fare matematica se una macchina può generare dimostrazioni corrette in pochi secondi?

Progressi AI in matematica, con risultati concreti in geometria e crittografia, offrono nuove soluzioni a problemi irrisolti da decenni.

OpenAI’s Astra generates machine‑checkable proofs for ten decades‑old math problems, showing how verified AI can cut discovery costs to about two thousand dollars.