GPT just keeps getting better at mathematics, increasingly solving the trickiest of problems. In January, AI testing company ...

The GSMM Camp is a weeklong workshop that builds interdisciplinary problem-solving skills for graduate and advanced undergraduate students. Participants work in teams on mathematically rich problems ...

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 ...

OpenAI Model Wins Gold at International Mathematical Olympiad – or Did It? Your email has been sent A Google DeepMind researcher and OpenAI’s former CTO are posing questions about the validity of ...

Researchers have introduced Light-R1-32B, a new open-source AI model optimized to solve advanced math problems. It is now available on Hugging Face under a permissive Apache 2.0 license — free for ...

Just less than before, according to the ORCA test exclusive Current-day LLMs are prediction engines and, as such, they can ...

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...

Chinese AI lab DeepSeek has quietly updated Prover, its AI model that’s designed to solve math-related proofs and theorems. According to South China Morning Post, DeepSeek uploaded the latest version ...

Baez called for the development of new mathematics — he called it “green” math — to better capture the workings of Earth’s biosphere and climate. For his part, he sought to apply category theory, a ...

Richard C. Larson, Mitsui Professor, explores the role of operations research in everyday life and the concept of model ...