From prophet to product: How AI came back down to earth in 2025

In a year where lofty promises collided with inconvenient research, would-be oracles became software tools.

Ars Technica
Microsoft drops AI sales targets in half after salespeople miss their quotas

Report: Microsoft declared "the era of AI agents" in May, but enterprise customers aren't buying.

Ars Technica
OpenAI’s most capable AI model, GPT-5, may be coming in August

Sources say new model combines o3 reasoning with general GPT capabilities.

Ars Technica
OpenAI jumps gun on International Math Olympiad gold medal announcement

Non-math AI model reportedly solves proofs at human speeds, but early reveal roils community.

Ars Technica
With the launch of o3-pro, let’s talk about what AI “reasoning” actually does

New studies reveal pattern-matching reality behind the AI industry’s reasoning claims.

Ars Technica
New study shows why simulated reasoning AI models don’t yet live up to their billing https://arstechni.ca/ZqhML #simulatedreasoning #machinelearning #AIresearch #SRmodels #Biz&IT #AI
New study shows why simulated reasoning AI models don’t yet live up to their billing

Top AI models excel at math problems but lack reasoning needed for Math Olympiad proofs.

Ars Technica