Mathematics Isn’t Just a Game to Let A.I. Solve. History Shows Why.
Why the human search for understanding, through trial and error, remains central to progress in applied mathematics.
Writing and ideas
Essays
Selected essays on computational mathematics, publishing, and the changing practice of research.
AI Looping in Mathematics
How AI agents could help mathematicians extract, explore, and verify conjectures through community efforts guided by expert judgment.
The Neurosurgery Resident Who Proved Crouzeix's Conjecture
The unexpected story of Dr. Shanmu Jin's path to a proof of a major conjecture in matrix analysis.
Why Are There So Many Papers?
On the rapid growth of arXiv submissions and the increasing strain on editors, referees, and academic attention.
The Future of Computational Mathematics With AI Coding Agents
Why AI coding agents may shift computational mathematics from implementation toward experimentation, judgment, and higher standards.
The Race to Compute High-order Gauss-Legendre Quadrature
A century-long story of the algorithms used to compute high-order Gauss-Legendre quadrature.