Pinned Tweet
Little bit info about me via my AI assistant.
I would love to connect with people who love AI.
wanna know more about me -
Talk with my assistant here:
neuralarun.in
AI might become much better at producing and verifying mathematical results than at making those results understandable to humans.
but not understable does not mean not verifiable.
Arun Yadav retweeted
Meta just dropped a bomb on the AI ecosystem. 😳
The Muse Wonder Full benchmarks are insane—comfortably beating Claude Opus 5.5 and GPT-6 Astra on SWE-Marathon and Harvey LAB.
Zuck isn't playing games anymore. The frontier race just completely reset. 🧵👇
Meta just dropped a bomb on the AI ecosystem. 😳
The Muse Wonder Full benchmarks are insane—comfortably beating Claude Opus 5.5 and GPT-6 Astra on SWE-Marathon and Harvey LAB.
Zuck isn't playing games anymore. The frontier race just completely reset. 🧵👇
Arun Yadav retweeted
Some rumors I've heard. I'll start with Google, then Anthropic and OpenAI.
Google: Insiders say Google has either cracked RSI (recursive self-improvement) or is very close. Their pace has picked up fast in recent months. They went from GPT-5 level to Opus 5.5 level in months, and speculation is that RSI made that possible.
Anthropic: About a week ago, Anthropic started a new pretraining run. It is not Fable 5.5 but what would become Fable 6, or something bigger, to catch up to OpenAI's Bel.
OpenAI: Bel (it may have another codename) is the model behind the math results OpenAI published a few days ago, and RSI apparently helped there too.
From what I'm hearing, OpenAI, Anthropic, and Google are all very close to cracking RSI or already have. It will get scary and exciting at the same time.
🧵 AI may have just broken one of the oldest rules of mathematics.
And mathematicians are NOT all celebrating.
Not because the proofs are obviously wrong.
Something much more interesting is happening.
👇
7/
And if that transition happens…
the biggest advantage may no longer belong to the mathematician who thinks the fastest.
It may belong to the mathematician who knows how to ASK the machine the right question.
Arun Yadav retweeted
mathematicians today
We’re releasing a broad range of new mathematical results produced by an internal frontier model.
We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.
github.com/openai/math
Putting @OpenRouterAI in production is an absolute joke.
DeepSeek Flash output tokens just 8x'ed overnight from $0.16 to $1.28/M.
Stop letting volatile aggregators rug-pull your margins. Go direct to a provider or watch your unit economics burn. 📉💀










