KM4BI

GPT-6 Astra sature ARC-AGI-3, le Cybercab de Tesla arrive à Austin, Anthropic formalise le dernier théorème de Fermat

IA de frontière, robotaxis et preuve formelle : trois signaux d’une accélération technologique qui change les coûts et les capacités.

Publié le

L’épisode rapproche trois annonces qui illustrent l’accélération des capacités techniques : GPT-6 Astra, l’arrivée visible des Cybercab Tesla à Austin et la formalisation du dernier théorème de Fermat par Anthropic.

Des modèles pensés pour agir

Les intervenants décrivent Astra comme un modèle de frontière orienté vers l’usage informatique : comprendre écrans, images et interfaces, puis accomplir des tâches dans une boucle interactive. Les scores cités sont remarquables, mais le débat rappelle que les résultats de benchmark doivent être confrontés à des usages réels, notamment lorsque le modèle agit dans un environnement logiciel.

Le robotaxi comme infrastructure

Le Cybercab est présenté comme un véhicule biplace, sans volant ni pédales, conçu autour de la conduite autonome. Le point économique mis en avant est la simplification matérielle : moins de composants, un prix cible évoqué autour de 30 000 dollars et la possibilité, selon le panel, de faire exploiter des flottes par des propriétaires. La promesse reste conditionnée à l’autorisation locale, à la sécurité et à l’exécution industrielle.

La preuve formelle change d’échelle

La conversation mentionne une formalisation du dernier théorème de Fermat en environ 13 millions de lignes de code, produisant au passage près de 29 000 théorèmes. Pour les invités, l’enjeu n’est pas seulement le résultat : c’est la possibilité de transformer une production massive de raisonnement en artefacts vérifiables sur lesquels d’autres peuvent s’appuyer.

À surveiller

La concurrence entre laboratoires se joue désormais sur les agents, l’efficacité et l’intégration aux outils. En parallèle, le transport autonome passe de la démonstration à l’économie opérationnelle, tandis que la vérification formelle devient un indicateur tangible des progrès de l’IA scientifique.

Source