Une startup californienne affirme avoir résolu quatre problèmes mathématiques réputés insolubles grâce à son outil d’intelligence artificielle capable de produire des démonstrations vérifiées. Parmi ces avancées figure la résolution d’une conjecture bloquée depuis cinq ans.