KIEMELT
Az OpenAI következő modellje már nem tesztfeladatokon gyakorol
Az OpenAI belső Astra modellje tíz régóta nyitott matematikai problémára adott új eredményt. A bizonyítások és Lean-tanúsítványaik nyilvánosak, a független ellenőrzés most kezdődhet.