Yixuan (Roy) Wang

Yixuan Wang represented China at the 56th International Mathematical Olympiad and studied applied mathematics at Peking University, where he was the only recipient of the National Scholarship and was named Person of the Year. At Caltech, he pursued a PhD in applied math and served as the founding president of the SIAM Student Chapter. His research builds systematic proofs inspired by numerics and amenable to computer-assisted verification, alongside high-precision machine learning tools such as neural operators, particularly motivated by the study of the Navier-Stokes singularity, one of the Millennium prize problems. He pioneered the Kolmogorov–Arnold Network (KAN), now widely used in scientific computing and AI, with coverage in Scientific American and Quanta, over 2000 citations, and 15,800 GitHub stars.