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

https://www.scientificamerican.com/article/as-ai-keeps-improving-mathematicians-struggle-to-foretell-their-own-future/