Tags · #reasoning-models

Microsoft launches seven in-house MAI models, including its first reasoning model, to cut OpenAI dependence

Read this because A big platform owner shipping its own reasoning model and openly framing it as a way to pay OpenAI less is a structural story, not just a product drop — it reprices the whole frontier-model supply chain.

At Build 2026 on June 2, Microsoft shipped seven MAI models built from scratch, led by reasoning model MAI-Thinking-1, to lower costs and reduce OpenAI

07 JUN 3 MIN READ Practitioner note microsoft mai reasoning-models openai

An OpenAI reasoning model disproved an 80-year-old Erdős conjecture — and it wasn't a math-specific model

Read this because The headline is "AI does math." The real signal: it came from a general-purpose reasoning model, not a math-specific system — and it disproved an 80-year belief by constructing a counterexample no human had found. One result is not a revolution, but the generality is the story.

OpenAI says an internal reasoning model autonomously disproved the Erdős 1946 unit-distance conjecture (May 20) — a first for AI, verified by mathematicians.

27 MAY 3 MIN READ Practitioner note openai mathematics reasoning-models erdos