First Proof is AI’s toughest math test yet. The results are mixed

Experts gave AI 10 math problems to solve in a week. OpenAI, researchers and amateurs all gave it their best shot