AI research needs more capacity to check discoveries
OpenAI's mathematics release shows why AI-produced research needs independent checking, explanation and replication. Industry use can test practical value within its scope.
Continues From unit distances to Navier-Stokes: AI mathematics reaches a new phase