HomeAI · summaries
Storia in 6 fonti
Il modello che OpenAI non ha ancora rilasciato ha risolto dieci problemi aperti da decenni
Una versione interna ha prodotto dieci risultati in matematica e informatica teorica su problemi fermi da decenni, dalla congettura di rigidit� di Connes ai limiti sull'impacchettamento di sfere. Ogni dimostrazione � stata certificata in Lean
Confronto fonti
6 prospettive sulla stessa storiaTimeline cronologica
- ·
thenextweb.com
OpenAI says its next model, Astra, has solved ten open problems in mathematics
TL;DROpenAI says its unreleased Astra model solved ten open maths problems, shipping Lean proofs on GitHub for roughly $2,000 in compute OpenAI says an internal version of its…
- ·
theins.ru
OpenAI отчиталась о десяти математических прорывах новой модели Astra — от теории групп до квантовых вычислений
OpenAI опубликовала десять новых результатов в математике и теоретической информатике, полученных внутренней версией еще не выпущенной модели Astra. По…
