Tribune ·
La preuve vérifiable est en train de devenir la monnaie de confiance de l'IA
D'Astra à WeatherNext, les annonces marquantes d'août partagent un trait : elles se vérifient sans croire leur auteur. C'est une bascule à encourager.
Tag
preuves formelles
2 articles sur ce sujet.
Décryptage ·
Astra : le prochain modèle d'OpenAI résout dix problèmes mathématiques ouverts
OpenAI annonce qu'Astra a résolu dix problèmes ouverts depuis au moins dix ans, avec des preuves Lean 4 vérifiables publiées sur GitHub.
