Mathematics has always moved slowly. A single proof can take years to write and years more to check. This month, an AI company dropped that timeline into the middle of a very public argument. On October 6, OpenAI uploaded 722 manuscripts to a GitHub repository, claiming solutions to a large number of open problems. The […]