AI & Machine Learning

Levent Alpöge posted a Fable 5-assisted counterexample to the 1939 Jacobian conjecture on X, verifiable by hand in a day.

Moonshot AI's Kimi K3, priced far below Western rivals, triggered a Friday selloff in Chinese AI and global chip stocks before demand forced a subscription pause.

Anthropic's new Claude for Teachers offers verified US K-12 educators a free year of premium Claude access, with teaching skills tied to academic standards in all 50 states and a data addendum written to comply with FERPA.

Thinking Machines Lab shipped its first model, Inkling, an open-weight 975-billion-parameter system that tops US open-weight benchmarks but still trails China's leading models.

Google's flagship AI model missed its promised June rollout after coding performance fell short internally, and Alphabet shares dropped 4.4% on the report, erasing about $200 billion in market value.

OpenAI says its internal attacker model GPT-Red cut GPT-5.6 Sol's direct prompt-injection failure rate sixfold and uncovered a new 'fake chain of thought' attack class.

NVIDIA's open-weight TwoTower model reuses a frozen Nemotron backbone and trains only a denoiser tower, reaching 2.42x faster generation at 98.7% of baseline quality.

Meta's first in-house AI image generator let users @-mention any public Instagram account to remix their photos; CAA and SAG-AFTRA opposition forced a reversal within days.

OpenAI's new full-duplex voice models listen and speak at once and hand complex queries to GPT-5.5, replacing Advanced Voice Mode in ChatGPT.

TeraWulf will lease Anthropic a 401 MW AI campus in Hawesville, Kentucky, for about $19 billion over 20 years, while selling its Abernathy Joint Venture stake to Fluidstack.

OpenAI moved its GPT-5.6 model family to general availability on July 9, after federal reviewers cleared the release that had restricted Sol, Terra, and Luna to trusted partners.

Mistral AI has unveiled Robostral Navigate, its first robotics model: an 8-billion-parameter navigation system that guides wheeled, legged, and flying robots with one RGB camera and language instructions, scoring 76.6% on the R2R-CE benchmark in unseen environments.