Please help promote this project called “First Proof” led by Mohammed Abouzaid (Stanford), Nikhil Srivastava (Cal), Rachel Ward (UT Austin), and Lauren Williams (Harvard). The goal is to understand the capabilities of AI systems on problems that come up in math research. We have a collection of research problems for which solutions have not yet been posted online, so it’s a good testbed. The solutions will come out in just one week. Take a crack at it! #FirstProof #1stProof
ArXiv Paper: https://arxiv.org/abs/2602.05192
Forgive me - I posted this retroactively, just recreating my post on LinkedIn.