Research group

AI for Mathematics

I run a research group with some undergraduate Math and CS students. We develop AI tools that can help mathematicians in their research. We also fine-tune open-source models on various Mathematica packages. Here are some of the past and present members of our group.

News

• Terence Tao promotes our AI tool!

  We have created a tool, called O-Forge, that can prove certain kinds of research-level inequalities, thereby answering a question of Terence Tao. Here is the paper.

• Funsearch group fully replicates DeepMind’s Funsearch GitHub

  The team is now building Darwin to improve efficiency and scaling of the algorithm.

• Alpha Geometry group reproduces DeepMind’s Alpha Geometry

  Current work focuses on generalizing the pipeline to other areas of mathematics, including algebra and analysis.