AI Continues to Disprove Mathematical Conjectures, Sparking Discussion About the Role of Mathematicians
AI mathematical research: advancing conjecture verification and the exploration of new ideas, reshaping the way scientific research is conducted collaboratively Human mathematicians still lead in posing problems and building theories; click to read the report and see the outlook
At the International Congress of Mathematicians, whether AI will change the landscape of mathematical research has become a hot topic. As AI takes part in overturning some longstanding unresolved mathematical conjectures, people have also begun to discuss what kind of dominant position human mathematicians will still be able to maintain in this field in the future.
This report mentions that AI's role in mathematics is no longer limited to a "problemsolving tool." It can not only help researchers find counterexamples and rule out wrong directions through largescale computation, but also integrate knowledge across disciplines to provide mathematicians with new ideas. In some competition settings, AI can also solve the problem first, then use programs to verify the proof process step by step, reducing errors.
However, the report also emphasizes that the core work of mathematicians is not to complete existing problems, but to pose new questions, create new concepts, and build theoretical systems. The article believes that AI is more like an auxiliary research "pathfinder" and "external brain"; what truly drives mathematics into unknown territory is still human researchers.