AI+ Math projects polymath style (April 2026)
AI and Math has become a hot topic (and a source of some worries) among and beyond the mathematical community. Nissan Hajaj proposed in the blogpost
to run “AI polymath projects” based on a similar concept of polymath projects but with participation of AI agents. I would like to have ten or so such projects running in parallel.
Most of the projects are of the form “solve the following mathematical problem” where we will consider problems of varied difficulty.
I would like to experiment also with projects of the form “develop a theory or research direction” and projects of the form “simplify the proof of the following theorem”.
My view is that these projects are offered on purely altruistic basis. (This was also my view regarding polymath projects.) Everything proposed here can freely be used. (Still, if you see some conflict with any of the projects and your own research, let me know.)
List of projects
We launched a preliminary version of Nissan’s proposal in this post:
1) Optimal Monotone Families for the Discrete Isoperimetric Inequality
(Solved June 26, 2026)
Here are other proposals for such projects. Participation is most welcome!
2) Polynomial Hirsch Conjecture
3) Acyclic Unique Sink Orientations
List of open problems
I also plan to prepare a larger list of open problems.
Combinatorics and more 