AI Produces Passing Solutions for Seven of Ten Unpublished Math Problems, Harvard Panel Finds
The result shows models can reach research-grade solutions, exposing urgent needs for raw-reasoning disclosure, formal proof checks, clearer verification standards