Berkeley Mathematics, Simons Institute for the Theory of Computing
Joined February 2026
- Tweets20
- Following144
- Followers628
- Likes19
first proof third batch results are out! full report here: hexagonmath.org/2610.00244
#1stproof third batch will happen in october. it will be interesting to see how ai systems do on typical math research. if you want us to test your system, read this 1stproof.org/assets/docs/bat… and fill in the form by september 10.
this week’s #1stproof community experiment problems (from yang-mills gauge theory & random graphs) are live at 1stproof.org/community-exper… . see if you can get your ai system to solve them (: solutions will be posted at 10am pt on july 8.
we've posted author solutions to this week's #1stproof community experiment problems at 1stproof.org/community-exper…. the discussion is happening at icarm.zulipchat.com/#narrow/…, and we'll post more problems for experimentation in one week, on july 1.
#1stproof community experiment starts tomorrow: 1stproof.org/community-exper… two new problems will be posted at 10am PT, with solutions posted after one week.
results from the second batch of #1stproof will be posted tomorrow (june 10) at 1stproof.org, and presented by the editorial board at 1pm ET here: cmsa.fas.harvard.edu/first-p…
some details about #1stproof second batch: 1stproof.org/ happy pi day!