Tag
verification-formelle
openai
722 preuves en un commit : ce que la publication mathématique d'OpenAI dit de l'avenir de la vérification
Le 6 octobre 2026, OpenAI dépose 722 manuscrits mathématiques sur GitHub ; le 7, elle en retire trois pour une erreur de signe. Villani, LeCun, Tao, et ce que le goulot de la vérification dit aux DSI et CTO qui déploient des agents.
software-factory
AWS Bedrock, 6 personnes, 72 jours : rester aux commandes des agents de code
Julien Lépine (CTO AWS France) détaille le redéveloppement d'Amazon Bedrock par 6 personnes en 72 jours — code intégralement généré par IA, sans vibe coding. Un proof-point hyperscaler qui déplace la valeur du code vers le contexte et la responsabilité humaine.
verification-formelle
TLA+
Langage de modélisation formelle (états, transitions, invariants) utilisé pour prouver les propriétés de systèmes critiques.
Explorez tous nos articles
Plus de contenus techniques sur l'IA, le Cloud, la Data et le Software Engineering.
Tous les articles