Ai

This essay was featured as a guest post on Silicon Reckoner. Many thanks to Michael Harris for allowing me the opportunity to share this with his readers.

Excited to share that the First Proof Foundation was recently featured in a New York Times article by Siobhan Roberts about the future of math research in the age of AI. The article includes an interview with me and my colleagues Mohammed Abouzaid, Martin Hairer, and Lauren Williams. Check it out!

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.