A Beginning for Mathematics

AI systems now solve major open problems, prompting a reassessment of mathematics. The author warns that institutional design could stall human understanding even as AI produces mathematics, but argues human insight can deepen while production becomes less dependent on it. Mathematics’ goals must broaden beyond theorem proving to include education and public engagement.