Zestryon 🐈⬛Pendant des millénaires, les théorèmes mathématiques ont été validés par une poignée d'experts. De nouveaux outils permettent désormais à des machines de vérifier formellement les démonstrations, transformant en profondeur la discipline.
L'article original est bien moins évasif https://www.newscientist.com/article/2518526-mathematics-is-undergoing-the-biggest-change-in-its-history/
"Using machines to solve the types of problem posed in First Proof may produce concrete proofs, says Anna Marie Bohmann at Vanderbilt University in Tennessee, but we lose the “learning opportunity”, she says. “Struggling to create and formulate new ideas and to solve new problems is one of the main ways in which both students and mathematics professionals consolidate their knowledge”."