HomeAI · summaries
Storia in 15 fonti
OpenAI Pamer AI "Astra", Selesaikan 10 Masalah Matematika yang Belum Terpecahkan
Persoalan yang dipecahkan meliputi soal teori grup dalam matematika, kriptografi, hingga komputasi kuantum dan teori graf.
Confronto fonti
6 prospettive sulla stessa storiaTimeline cronologica
- ·
the-decoder.com
OpenAI announces its "next major model" Astra by dropping ten previously unsolved math solutions
OpenAI is building a new model family called "Astra" that would let multiple agents tackle complex problems together for hours or even days. CEO Sam Altman has already demoed…
- ·
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…
