Tag
AI systems have made breakthroughs in mathematics, helping to overturn Erdős's long-standing conjecture about unit distances in the plane. But an essay warns: the stronger the automation, the more important human ability to understand and audit machine reasoning becomes, while the U.S. mathematics talent pipeline is degrading due to budget cuts.