OpenAI dévoile Astra : une nouvelle famille de modèles pour les tâches à long terme

OpenAI dévoile Astra — une nouvelle famille de modèles conçue pour les tâches à long terme où plusieurs agents d'IA collaborent sur un même projet.

Selon l'entreprise, le modèle a permis d'obtenir 10 nouveaux résultats concernant des problèmes anciens en mathématiques, en théorie de la complexité quantique et en informatique théorique.

Parmi ces avancées : – La construction du premier groupe non-sophique explicite. – La réfutation de l'hypothèse de rigidité de Conn. – La preuve d'un théorème sur la répétition parallèle quantique pour le cas général des jeux à deux joueurs avec intrication. – La preuve de la conjecture du volume d'Ehrhart. – La première amélioration de l'estimation générale de l'exposant de compactage sphérique depuis 1978.

Les idées clés des preuves ont été générées par Astra. Le modèle les a ensuite formalisées dans Lean, obtenant des certificats de preuve vérifiables par machine et un manuscrit de 249 pages. Le coût de cette opération réussie s'élevait à environ 2 000 dollars aux tarifs de l'API Sol.

Il semble que ce soit ce projet qu'Altman a présenté à la Maison Blanche cette semaine. En interne, OpenAI n'a pas encore décidé si ce modèle sera commercialisé sous le nom de GPT-6 ou GPT-5.7.

Actuellement, il est soumis à des tests rigoureux.