Advancing Mathematics Research with AI-Driven Formal Proof Search
Article URL: https://arxiv.org/abs/2605.22763 Comments URL: https://news.ycombinator.com/item?id=48289633 Points: 1 # Comments: 0
Aja Huang
Anton Kovsharov
arXiv
collection d'Erdős
George Tsoukalas
Google DeepMind
Lean
OEIS
Pushmeet Kohli
Sergey Shirobokov
Swarat Chaudhuri
Évolution chronologique
-
Une intelligence artificielle résout neuf problèmes mathématiques ouverts parmi les plus célèbres
Un agent d'IA a prouvé neuf problèmes ouverts de la collection d'Erdős et 44 conjectures de l'OEIS, démontrant la viabilité de la preuve formelle assistée par LLM pour la recherche...