| SvennoJ said: https://www.science.org/content/article/mathematicians-issue-warning-ai-rapidly-gains-ground Today, 16 math specialists have turned that unease into a public cry for help—and call to action. Part warning, part manifesto, the 11-page Leiden Declaration on Artificial Intelligence and Mathematics cautions that unchecked automation threatens not only how math is practiced, but what the discipline stands for. It also lays out principles for using AI in ways that support, rather than erode, the field. Artificial Intelligence systems might have solved an 80-year-old Math problem, but a test designed to evaluate it against top-tier academicians has revealed that it still has a long way to go when it comes to new and complex research-level mathematics. Four AI systems failed the test, which is part of "First Proof," a rigorous new AI benchmarking mechanism. The AI systems were given 10 research-level maths problems, and their answers were assessed by a jury of anonymous human specialists. To prevent AI from simply scanning through its training data, all the questions were new and had never been published anywhere. They were provided by 10 researchers from a broad range of mathematical specialities who had solved them at some point in their careers. A group of 30 mathematicians checked the answers, and the results proved that AI does not come close to human mathematicians in novel problems. The findings were published in the Nature journal. So much for AI making math history... 'Solving' a math problem is useless if you can't show how. |
