No reviews yet. Be the first to rate Guoxiong!
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 Sunny Ng on Unsplash
Photo by Sunny Ng on Unsplash
Photo by Shiromani Kant on Unsplash
Photo by Robert Bye on Unsplash
Photo by Trust "Tru" Katsande on Unsplash
Photo by Alice Yamamura on Unsplash
Photo by Vlad Kutepov on Unsplash
Have a story or a research paper to share? Become an Expert Academic Contributor and publish your work on AcademicJobs.com.
Write news and research articles as a expert academic in your field publish your work on AcademicJobs.com
