OpenAI dévoile le modèle Astra et résout 10 problèmes de mathématiques vieux de dix décennies avec $2K en calcul
D’après Beating, OpenAI a dévoilé le 1er août son prochain modèle phare, Astra, qui a réalisé des percées sur 10 problèmes restés longtemps sans solution en mathématiques et en informatique théorique. Ces problèmes n’avaient connu aucun progrès depuis au moins 10 ans. Astra a résolu directement plusieurs d’entre eux, notamment en construisant le premier groupe non-sofic, en réfutant la conjecture de rigidité de Connes, et en résolvant trois problèmes d’Erdős. D’autres résultats portaient sur l’e
GateNews·08-01 09:17
