Claude porte une borne zêta à 67%
Anthropic affirme qu'une version de recherche non publiée de Claude a amélioré une borne liée aux zéros de la fonction zêta de Riemann de 41,6% à 67,2%.
Actualités et analyses : mathématiques
4 articles vérifiés sur mathématiques, les produits et le secteur.
OpenAI fait écrire dix preuves à Astra
OpenAI présente Astra avec dix résultats en mathématiques et informatique théorique, accompagnés d'un article de 249 pages, de certificats Lean et de parcours de raisonnement.
GPT-5.6 produit une preuve de théorie des graphes
GPT-5.6 produit une preuve de théorie des graphes. Une version localisée des faits vérifiés et du signal industriel sous-jacent.
DeepSeek dévoile le modèle de preuve mathématique Prover-V2
DeepSeek a lancé un modèle spécialisé appelé Prover-V2 dans le domaine de la démonstration de théorèmes mathématiques, visant à utiliser l'IA pour prouver automatiquement des théorèmes mathématiques dans le système de vérification formelle Lean 4.