Lean 4

Les critiques jugent les prouesses mathématiques d’Astra surestimées

OpenAI a annoncé le 1er août que sa famille de modèles Astra, non encore publiée, a produit des solutions à 10 problèmes ouverts de longue date en mathématiques et en informatique théorique, publiant un manuscrit de 249 pages et des…

OpenAI : son modèle Astra a résolu 10 problèmes mathématiques complexes pour 2 000 dollars

OpenAI a révélé samedi que son modèle interne Astra a produit de nouveaux résultats pour 10 problèmes de mathématiques et d'informatique théorique restés ouverts depuis au moins dix ans, publiant des preuves vérifiables par machine pour chaque affirmation. L'entreprise a…