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

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

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

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

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

Mathematical modelling and optimisation in packing problems constitute a critical research area that combines advanced algorithms, rigorous analytical formulations, and practical applications. This ...