OpenAI says its AI produced a large set of new mathematical results. Gary Marcus argues the report gives too few details to judge how the results were made or how reliable they are. He says the work may be a step toward general AI—or may only succeed in math with tools like Lean.
ORIGINAL LINK: https://garymarcus.substack.com/p/complementary-remarks-from-gary-marcus
