Who Taught the Machines Mathematics?
Summary
Nisheeth Vishnoi discusses OpenAI's release of over 700 mathematical manuscripts produced by an AI system, raising questions about verification, intellectual transmission, and the changing role of human mathematicians. The article argues that widespread machine-generated proofs could reshape how mathematics is practiced, valued, and taught, with concerns about proprietary knowledge and the flowing of unwritten mathematical intuition into industry.