Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is the ...

Top artificial intelligence systems now ace many textbook-style math questions, yet they still fall apart on genuinely new ...

Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

UC Berkeley math professor Nikhil Srivastava met with researchers on a mission to create a new way of assessing the mathematical capabilities of AI.

DeepMind's Aletheia is a huge advance in AI-driven mathematical reasoning. It is a research agent built on top of Gemini Deep ...

Alan Veliz-Cuba has received funding from the Simons Foundation and the American Mathematical Society for some of his research. You can probably think of a time when you’ve used math to solve an ...

The GSMM Camp is a weeklong workshop directed towards interdisciplinary problem solving whose aim is graduate student education and career development. The GSMM Camp is designed to promote a broad ...

Abstract: Early detection and treatment are key components in improving patient survival rates in cases of soft tissue cancers. In this talk, we present a linear elasticity model that describes the ...