Since the release of GPT 5.2, AI tools have become inescapable in high-level mathematics.

Adding one irrelevant sentence to math problems causes AI systems to make confident mistakes over 300 percent more.

Microsoft found that small language models can exceed the performance of much larger ones when trained to specialize in a single area. Researchers fine-tuned the Mistral 7B model to create Orca-Math, ...

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

DeepSeek has reportedly open-sourced Prover-V2 model, a new specialist artificial intelligence model, as competition heated up within China's AI industry. The announcement comes a day after Alibaba ...

A few months before the 2025 International Mathematical Olympiad (IMO) in July, a three-person team at OpenAI made a long bet that they could use the competition’s brutally tough problems to train an ...

RIT alumnus Adam Giammarese received the Edward N. Lorenz Early Career Award for his Ph.D. research in chaos theory and ...

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