Navier-Stokes, Muse, Mistral

By the Orchestra editors · 4 min read

TL;DR

OpenAI claims AI-generated proof of Navier-Stokes millennium problem, but allegations of foul play overshadow the announcement
Mistral closes €3B Series D at €21B valuation, Europe's largest tech round
Meta launches Muse personal AI agent, its biggest consumer AI bet yet
Foreign deepfake network targets dozens of Australian politicians on Facebook

AI · Worldwide

OpenAI claims Navier-Stokes solution amid academic misconduct allegations

OpenAI says it used an internal model more powerful than GPT-6 Astra plus 10,000 concurrent agents to crack the Navier-Stokes millennium prize problem in 88 hours, publishing a formal Lean proof. But mathematician Tristan Buckmaster alleges an OpenAI researcher pressured him to drop an Anthropic co-author from his own parallel work and that OpenAI's solution followed the same unusual path as drafts he'd uploaded to Codex.

Mistral raises €3B in Europe's largest-ever tech round

The French AI lab closed a €3 billion Series D led by Samsung, Scaleup Europe and PSG Equity, pushing its valuation past €21 billion. The round underscores growing sovereign AI investment in Europe even as Mistral trails US frontier labs on benchmarks.

Meta launches Muse, a personal AI agent that wants access to everything

Muse can browse the web, fill out forms, shop and plan trips autonomously. It asks for access to email, calendars, payments and health services, making it Meta's biggest test of whether consumers still trust it with personal data.

Meta drops AI usage from engineer performance reviews after 'tokenmaxxing'

After engineers gamed a policy that rewarded heavy AI tool usage in performance reviews, Meta has reversed course and will no longer factor AI consumption into evaluations. The episode is a useful cautionary tale for any team building AI adoption metrics.

Australian Tech

Foreign AI deepfake network targets dozens of Australian politicians

A foreign influence operation on Facebook has been deepfaking dozens of Australian politicians using AI-generated video. Researchers warn many similar networks remain active and largely undetected on Meta's platforms.

Mathspace breach leaks data on over a million students and parents

Sydney edtech Mathspace was compromised after failing to patch a known Metabase SQL injection vulnerability in time. Data on more than a million students, staff and parents was exposed, a pointed reminder of the basics for any team running open-source analytics tooling.