OpenAI's recent flood of mathematical results - hundreds of proofs across number theory, theoretical computer science, and logic - has provoked indignation, astonishment, and genuine grief among leading mathematicians. Recurring reactions include tears and metaphors of cultural pillage: researchers say their life's work has been "strip-mined" or "nuked." The upset is not merely bruised egos or fear of job loss; it is the sense that a machine has seized the treasure hunt that sustained generations of practitioners and erased the human rhythms of discovery, debate, and mentorship that make mathematics a communal, purposive activity.
The deeper claim is that science is both craft and conversation, and current AI excels at the craft - producing correct results - while hollowing out the conversational thread that creates understanding. Concrete examples sharpen the point: a nonprofessional used ChatGPT to resolve Crouzeix’s conjecture; an AI trained on mammograms predicts cancer years in advance yet remains opaque to its own creators; and historical analogies to Maxwell and Einstein show how human understanding enables conceptual leaps. The technology will democratize access to knowledge but risks producing "knowledge without understanding." The salvageable work for humans is translation, interpretation, pedagogy, and the relational meaning of discovery - turning alien machine output into insight, context, and shared purpose.
Summary generated by AI from the linked article. hn.today is not affiliated with Hacker News or Y Combinator.