Mathematician
Leading number theorist who states OpenAI's models demonstrate they go beyond helpers to have original ingenious ideas in mathematics.
Referenced in coverage
“Stated that AI models demonstrated capability of having original ideas beyond helper functions, as shown by solution to unit distance problem.”
“Leading number theorist who evaluated OpenAI's AI-generated proof and noted AI models now have original ideas beyond helpers.”