Zhangyang “Atlas” Wang, associate professor in the Chandra Family Department of Electrical and Computer Engineering, is part of a team that has been awarded a research grant from the National Science Foundation through the Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program. 

The AIMing program seeks to support research at the interface of innovative computational and artificial intelligence (AI) technologies and new strategies/technologies in mathematical reasoning to automate knowledge discovery.

Wang's research "aims to develop a new artificial intelligence system that works alongside mathematicians to tackle problems that have resisted solutions for nearly a century. The team will focus on the Hadamard Conjecture, a longstanding open problem with applications in quantum error correction, communication systems, and coding theory. The project will also produce open-source tools, educational materials, and outreach programs to broaden participation in advanced mathematics and AI."

The research team includes collaborators Qi Lei from New York University, Damek S. Davis from the University of Pennsylvania, and Jason Lee from UC Berkeley.