First Proof Challenge Tests LLMs in Math Research Mathematics | AI Research | Benchmark United States 1 week ago