There's a critical distinction between a proof (which establishes truth) and an explanation (which provides understanding). Even when a complex mathematical problem is solved, there remains an 'unsolved expository problem' of making the solution comprehensible. This need for clarity and intuition will remain a crucial area for human or AI effort, even after theorems are proven.

The academic focus on publication volume encourages researchers to use AI as a "slot machine" to churn out papers by solving old conjectures. This is misaligned with the true goal of science: developing deep human understanding. The community must redesign incentives to reward genuine intellectual engagement, not just output.

Top AI models are now solving major open problems in mathematics, leading some in the field to feel their core purpose is being automated away. This isn't just about tools; it's a profound identity crisis for a discipline built on human ingenuity and the pursuit of solving theorems.

OpenAI's Astra model solving major open math problems highlights a critical issue: even experts cannot easily understand or verify the solutions. This forces a reliance on other AIs or formal proof systems for validation, signaling a future where human comprehension is no longer the gold standard for scientific progress.

OpenAI's Astra model solving major open problems in mathematics has led to a profound sense of despair among some experts. The sentiment, described as "The dark night of mathematics," reflects a fear that AI is not just automating tasks but devaluing a deeply human field of intellectual discovery.

A mathematician argues that the ultimate purpose of his field is to produce human understanding, not just research papers. The prospect of crucial insights being locked away in opaque model weights is "unsatisfying," highlighting the need to prioritize the development of human expertise even as AI capabilities grow.

The core fear isn't just automation, but that AI will mechanistically solve existing problems without the creative leap that opens up entirely new fields of research. This could leave the discipline sterile, with a list of solved questions but no new avenues for human-led discovery.

A major frontier for AI in science is developing 'taste'—the human ability to discern not just if a research question is solvable, but if it is genuinely interesting and impactful. Models currently struggle to differentiate an exciting result from a boring one.

The ultimate skill of a great scientist isn't performing calculations but identifying the most fruitful questions to pursue. While AI is becoming superhuman at answering well-posed problems, the human role of taste and strategic direction-setting remains paramount for breakthroughs.