AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.

In a remarkable development, a human mathematician has achieved what many thought impossible: solving the centuries-old “kissing problem” in mathematics. This breakthrough, reported on October 23, ...

Growth and change in technology have brought a boom in the availability of data and the need for people to shape technologies. Growing areas like machine learning require expertise in programming, ...

Twenty-five teachers from Redlands Unified School District recently completed training by the UC Davis C-STEM Center and UC Riverside on integrating robotics and computing into math classes. (Redlands ...

Faculty and students at RIT are conducting research in several areas of human computer interaction, including accessibility and inclusion, eye-tracking and visual perception, human-aware artificial ...