#assistant de preuve Lean
Articles
Modèles
PSI affirme que son système de recherche, avec un modèle Anthropic non public, a prouvé la conjecture d'Aaronson-Ambainis ; l'article vérifié sous Lean n'est pas encore évalué par des pairs
PSI affirme qu'un modèle Anthropic non public a prouvé la conjecture d'Aaronson-Ambainis, vérifiée sous Lean. Affirmation de PSI ; pas de relecture.