AlphaProof Nexus résout des problèmes mathématiques vieux de 56 ans
AlphaProof Nexus, un système combinant LLM et vérification automatique, a résolu 9 problèmes mathématiques ouverts d'Erdős et 44 conjectures de l'OEIS. Le coût d'inférence était de quelques centaines de dollars par problème. Le système utilise quatre agents avec des capacités croissantes, le plus simple (Agent A) étant également efficace.
