Exomnium

I do math.

[Exomnium @Exomnium]

they should give the million for NS to Perelman

[Exomnium @Exomnium]

@Mihonarium @grok I don't but @ElliotGlazer might

For the record my tweet here was before I heard anything about an actual rumor

[Exomnium @Exomnium]

@dillon_mulroy there just isn't enough prior art in that area for them to steal

[Dillon Mulroy @dillon_mulroy]

can solve navier-stokes but can’t write a maintainable typescript abstraction smh

[Exomnium @Exomnium]

@Mihonarium @grok iirc the original tweet claiming that Anthropic had solved multiple Millenium prize problems was deleted

[Exomnium @Exomnium]

OAI and Ant are duking it out to see who can unethically strip mine the most pre-IPO prestige from mathematics and Marky Mark and the Zucky Bunch is over here in the corner going 'hey gais, we have AI too'

[Mark Zuckerberg @finkd]

Introducing Muse, the personal agent that understands your goals and works 24/7 to get things done for you.

[Exomnium @Exomnium]

all other allegations aside, "we caught wind that a mathematician might be about to solve a famous problem so we spent $15 million on tokens to scoop them" is exactly why OpenAI is completely full of shit when it says it wants to work with the academic community in a positive way

[Exomnium @Exomnium]

@polynoamial @AnthropicAI Can you comment on the allegation that Sebastien Bubeck made threatening remarks to Tristan Buckmaster regarding his career?

[Exomnium @Exomnium]

@joelwatsonfish *a negative 14 million dollar proof

[Steve McCormick @Quasilocal]

Couldn't help myself

[Exomnium @Exomnium]

@dingchilling AI has not solved math

[Exomnium @Exomnium]

@airkatakana that post was before there was any public indication that this was coming

[Exomnium @Exomnium]

@SebastienBubeck And if you did say this, can you clarify what you meant by it? Was it intended to be a threat?

[Exomnium @Exomnium]

@SebastienBubeck Can you confirm or deny that you (or someone you work with) said "If you don’t want me to be nice, then I don’t have to be nice" to Buckmaster?

[Exomnium @Exomnium]

@_aidan_clark_ OAI had a huge team of researchers working on this, it wasn't just an LLM

[Exomnium @Exomnium]

profit = revenue - cost

[Noam Brown @polynoamial]

Yes, this result cost millions of dollars.

But remember that when @OpenAI announced o3 it cost ~$500,000 to score 87.5% on ARC-AGI 1. Today, Astra scores higher for ~$20.

In 2025 it took us and GDM an enormous amount of compute to achieve IMO gold. For the 2026 IMO, anyone with a $20/month ChatGPT subscription could do it.

Massively scaling test-time compute gives us a glimpse of the future. I believe that a year from now everyone will have an AI at their fingertips capable of solving problems of this caliber.

[Exomnium @Exomnium]

"We’re sharing a solution to the Navier-Stokes Millennium Prize Problem that we stole."

[OpenAI @OpenAI]

We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.

The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.

The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.

[Exomnium @Exomnium]

@MilesCranmer yeah it's kind of ridiculous how people are trying to explain NS in terms of the behavior of real-world fluids

[Exomnium @Exomnium]

@nihilunbounded twice