OpenAI afirmă că noul model Astra a rezolvat zece probleme matematice deschise. Cercetătorii cer însă validări suplimentare
Compania OpenAI susține că noul său model de inteligență artificială, Astra, a rezolvat zece probleme matematice deschise, unele dintre ele rămase nerezolvate timp de mai multe decenii. Rezultatele au fost publicate împreună cu demonstrații verificate automat în sistemul Lean și...