Mathematics - Microsoft Research

Video

Microsoft Research India 2025 Highlights

January 19, 2026

Here are some highlights of the research and impact at Microsoft Research India in 2025, along with some glimpses of the lab milieu.

Microsoft Research India 2025 Key Highlights

05:52

Microsoft Research Blog

OptiMind: A small language model with optimization expertise

January 15, 2026 | Xinzhi Zhang, Zeyi Chen, Humishka Hope, Hugo Barbalho, Konstantina Mellou, Marco Molinaro, Janardhan (Jana) Kulkarni, Ishai Menache, Sirui Li

OptiMind is a small language model that converts business operation challenges, described naturally, into mathematical formulations that optimization software can solve. It reduces formulation time & errors & enables fast, privacy-preserving local use.

A flowchart with three horizontal sections on a blue-to-green gradient background. The first section, labeled “Classification,” shows icons of a computer, an arrow pointing to a robot face, and another arrow pointing to a box labeled “TSP.” The second section, labeled “Inference,” displays a robot icon connected by arrows to two document icons, one of which includes a magnifying glass. The third section, labeled “Test-time scaling,” shows a document with a checkmark connected by an arrow to a circular refresh icon. Arrows indicate the flow between sections, starting from Classification to Inference and then to Test-time scaling.

Publication

Vibe Reasoning: Eliciting Frontier AI Mathematical Capabilities — A Case Study on IMO 2025 Problem 6

Jiaao Wu, Xian Zhang, Fan Yang, Yinpeng Dong

December 2025

Publication

Astral Space: Convex Analysis at Infinity

Miro Dudík, Robert E. Schapire, Matus Telgarsky

December 2025

Final pre-publication draft of book to be published by Princeton University Press in 2026.

Career Opportunity

Research Intern – Computational Social Science

Posted: December 6, 2025

Location: New York, NY, US

Research Area(s): Economics, Mathematics, Social sciences

The Microsoft Research Computational Social Science (CSS) group is widely recognized as a leading center of computational social science research, lying at the intersection of computer science, statistics, and the social sciences. We have been…

Publication