Modelul Astra de la OpenAI a rezolvat în premieră probleme matematice care i-au „chinuit” pe oameni vreme de zeci de ani
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...