Articles tagués: #google-deepmind

AlphaProof Nexus, l'IA de Google DeepMind publiée dans Science, a résolu 9 problèmes d'Erdős ouverts en combinant LLM et preuves formelles Lean.