My Profile

My Profile

Hi I’m Subfish Zhou! Studying AI4Math. My interest in AI4MATH began during my sophomore year, when realized the potential and profound impact of using AI to solve mathematical problems. The AI4MATH technology contributes to our understanding of intelligence, and the technology can directly increase human knowledge of mathematics, physics, and other natural sciences. Imagine how the world would change if AI could help us solve Riemann Hypothesis or create the controlled fusion technology!

My work

Article:

Introduction of Deep Learning for Automatic Theorem Proving

Theorem proving in Lean4 (translation)

Mathematics in Lean4 (translation, in progress)

Report:

Review of DL4ATP (in progress). In Swarma Club.

Progress in automatic theorem proving of LLM . In The First Type Theory Summer School.

How to think about a thinking machine. In Geek College.

Consciousness, knowledge, ways of thinking, and general artificial intelligence . In Geek College.