OpenAI just scooped mathematicians’ work on another million-dollar problem Scientific American