←BACK
NEO-MATH VENTURES
We are witnessing a paradigm shift. When machines verify and humans create, mathematics becomes infinitely generative—accessible to everyone. Human intuition and creativity are liberated. Mathematics enters a new era.
INFTYCHI PROJECT
Co-founded with Victor Xiao and Jiaqi Lai. We believe the future of science is human-AI collaborative and verifiable, powered by math super intelligence.
AI FOR MATHEMATICS
Projects and seminars I follow closely in the field of AI for mathematics.
Lean Learning Seminar
Organized by Ben Chow (UCSD) and Zilu Ma (UT Knoxville)
AI and Mathematics Seminar
Weekly research seminar at Rutgers on Lean and other AI methods
Aya Prover
Tesla Zhang's work, a proof assistant I follow closely
ReasLab Lean Online IDE
Zaiwen Wen's team work at BICMR, PKU
Acorn Prover
Kevin Lacker's team work, a theorem prover