[08/25, Grant] Win a prestigious award to build systems for powering AI4Math breakthroughs.

Excited to share that our SketchPad project has been selected by the AI4Math fund to advance breakthroughs in mathematics! I’ll contribute my expertise in building large-scale, efficient, and reliable AI systems. The project is led by Wenda Li, together with Huajian Xin, Lawrence C. Paulson, and me.

Thanks to this generous support, we will be hiring several fully funded PhD students and Postdoctoral researchers. If you are passionate about pushing AI to tackle high-impact mathematical problems and other game-changing scientific discovery challenges, we’d love to hear from you.