No ratings yet
Taught by or worked with Guoxiong? Your rating helps other students choose.
Guoxiong Gao is a Ph.D. student at Peking University affiliated with the Beijing International Center for Mathematical Research. His research centers on automated theorem proving, auto formalization, and applications of large language models in mathematics.
Peking University's groundbreaking AI framework autonomously disproves a 2014 math conjecture, formalizing proofs in Lean 4 without human help—advancing China's university-led AI math research.
Photo by Precondo CA on Unsplash
Photo by Brecht Corbeel on Unsplash
Photo by Anne Nygård on Unsplash
Photo by Kelly Sikkema on Unsplash
Photo by Markus Winkler on Unsplash
Photo by Philip Strong on Unsplash
