The Proof Is Objective. The Path Is Not.
A response to Christopher Thomas Ryan's Reverse Perspective, and a reflection on mathematical discovery in the age of AI.
Ideas & reflections
Occasional notes on research, mathematical practice, optimization, and AI.
A response to Christopher Thomas Ryan's Reverse Perspective, and a reflection on mathematical discovery in the age of AI.