First Proof Solutions And Comments

Authors

• Mohammed Abouzaid, Stanford University
• Andrew J. Blumberg, Columbia University
• Martin Hairer, EPFL and Imperial
• Joe Kileel, University of Texas at Austin
• Tamara G. Kolda, MathSci.ai
• Paul D. Nelson, Aarhus University
• Daniel Spielman, Yale University
• Nikhil Srivastava, University of California, Berkeley
• Rachel Ward, University of Texas at Austin
• Shmuel Weinberger, University of Chicago
• Lauren Williams, Harvard University

Document Type

Discussion Paper

Publication Date

3-2026

CFDP Number

2511

CFDP Pages

68

Abstract

Here we provide our solutions to the First Proof questions. We also discuss the best responses from publicly available AI systems that we were able to obtain in our experiments prior to the release of the problems on February 5, 2025. We hope this discussion will help readers with the relevant domain expertise to assess such responses.

Recommended Citation

Abouzaid, Mohammed; Blumberg, Andrew J.; Hairer, Martin; Kileel, Joe; Kolda, Tamara G.; Nelson, Paul D.; Spielman, Daniel; Srivastava, Nikhil; Ward, Rachel; Weinberger, Shmuel; and Williams, Lauren, "First Proof Solutions And Comments" (2026). Cowles Foundation Discussion Papers. 2937.
https://elischolar.library.yale.edu/cowles-discussion-paper-series/2937