Lean
Archive thématique • 1 résultats
Généré par IA : résumés rédigés par une IA à partir des sources citées. Notre usage de l'IA
2026-10-07
Technologie
Une preuve assistée par l'IA pour le conditionnement optimal de 11 carrés a passé la vérification formelle avec Lean. La vérification EvolvingPrograms terminée a accepté les 7 920 modules Lean locaux, avec un audit final ne signalant aucune admission.
Recherche en IA • Hacker News
Lien permanent