Results from round one of First Proof (benchmarking LLMs for math research)

scientificamerican.com