Mathematics: OpenAI’s results face scrutiny
According to The Verge, OpenAI has released nearly 400 AI-generated mathematical results, with varying levels of verification. Evaluating them poses two challenges: checking the proofs and verifying that the formalized statements actually match the conclusions presented in the manuscripts.