Microsoft unveils MAI-Thinking-1 reasoning and MAI-Code-1 coding models

At this year's Build developer conference, a major expansion of an in-house model portfolio was just unveiled, marking a bold ...

Microsoft’s first advanced reasoning AI is here

Microsoft announced a bunch of new in-house AI models at Build 2026, including a new “flagship” model: MAI-Thinking-1. It’s ...
ZDNet

Microsoft's first reasoning model is one of 7 AIs just released at Build - what we know so far

I wore the world's first HDR10 smart glasses TCL's new E Ink tablet beats the Remarkable and Kindle Anker's new charger is one of the most unique I've ever seen Best laptop cooling pads Best flip ...
Tech Times

Microsoft Build 2026: MAI-Thinking-1 Is First In-House Reasoning Model, Trained Without OpenAI Data

Thinking-1, the company’s first in-house reasoning model, trained without OpenAI data. MAI-Code-1-Flash rolls out to all ...

An OpenAI model solved a famous math problem that stumped humans for 80 years

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...
Communications of the ACM

I Spent a Year Asking AI to Solve Math’s Hardest Problem. Here’s What Happened

P vs. NP asks: are these two classes actually the same? If P = NP, then every “hard” problem is secretly fast to solve; we ...
Nature

Reporting standards and availability of data, materials, code and protocols

An inherent principle of publication is that others should be able to replicate and build upon the authors' published claims. A condition of publication in a Nature Portfolio journal is that authors ...