Publicată pe 1 august, descoperirea marchează un moment important în istoria matematicii, având în vedere că Astra a generat demonstrații verificabile automat pentru întrebări care au sfidat progresul uman vreme de decenii. Zece probleme matematice, zece soluții Seria de rezultate obținute de Astra acoperă domenii variate: teoria grupurilor, geometria de înaltă dimensiune, teoria codării, complexitatea […]
Modelul Astra de la OpenAI a rezolvat în premieră probleme matematice care i-au „chinuit” pe oameni vreme de zeci de ani
