Is AI the End of Math As We Know It? | Quanta Magazine quantamagazine.org

Quanta reports that AI companies are claiming major theorem-proving breakthroughs, including OpenAI’s September 8 announcement, while keeping some results secret and producing proofs mathematicians say are hard to understand and use. Researchers including Daniel Litt, Ken Ono and Tasmin Chu argue that AI is disrupting training, publishing and collaboration, and that the field must reshape its incentives around interpreting results, communication and mathematical understanding.