machine-learning

OpenAI’s math solutions aren’t meeting the field’s standards yet

OpenAI published hundreds of claimed solutions to difficult math problems this week, a release the company said followed advice from an advisory group of mathematicians. Researchers and the advisory group say OpenAI fell short of key recommendations — notably around ensuring human understanding, providing formal verification, and avoiding testing proprietary models on open mathematical problems.