An AI solved a three-decade math conjecture, Grok matched the frontier, and Wall Street discovered a word for its SaaS anxiety.
A neurosurgery resident — not a professional mathematician — used GPT-5.6 to close a 32-year-old open problem in functional analysis. The conjecture, proposed by Michel Crouzeix in 1994, concerns the numerical range of matrices. The proof was subsequently verified by academic mathematicians.
xAI released Grok 4.6, which benchmarks at or above GPT-5 on standard evals while pricing API access roughly 40% lower. xAI is not claiming a breakthrough — just parity at a discount.
A new technique allows near-complete reconstruction of proprietary system prompts from black-box LLM outputs. The method works by analysing token probabilities across carefully crafted probe inputs, raising questions about how well confidential instructions can be protected.
Taiwan's government formally attributed a recent infrastructure cyberattack to AI-augmented intrusion tools, marking one of the first official confirmations that AI was used in a state-linked offensive operation.
Analysts are coining terms for the scenario where AI agents replace per-seat SaaS subscriptions. Several major SaaS stocks are down double digits this month as enterprise buyers signal intent to reduce software seats in favour of agent-based workflows.
Cognition, the startup behind the Devin software-engineering agent, is reportedly in discussions with investors at a $40 billion valuation — roughly 8x its last round 14 months ago.