Lean

OpenAI: Uusi tekoäly ratkaisi tai edisti kymmentä pitkään avointa matematiikan ongelmaa

Sisäinen Astra-malli tuotti väitetyt läpimurrot, joiden todisteet on julkaistu matemaatikkojen arvioitaviksi.