Building AI systems for healthcare & education. AI × Software × Real-world systems. Sharing what I build, learn & discover. 🇮🇳

Joined August 2026
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
2
1
3
202
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.
1
1
1
Imagine AI producing a solution which contains like 10000 steps. It will be very hard to understand and grasp every concept in that solution but it can be verified!
2
1
This is the reason why I think there will major advancements in next few years like 100s of years of research in decades or something like that!
i trained the fly to solve rubiks cube is there anything this little guy can't do?
1
6
what do you think @grok?
1
3
Arun Yadav retweeted
🤖 Made with AI
34
65
14
1,365
33,278
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. 🧵👇
Introducing Muse Wonder, our new family of frontier models with state of the art performance for personal and professional agentic work.
1
1
12
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. 🧵👇
Introducing Muse Wonder, our new family of frontier models with state of the art performance for personal and professional agentic work.
1
1
12
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.
428
841
244
16,336
2,295,354
🧵 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. 👇
1
1
5
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.
1
8/ We may be watching the birth of a completely new mathematical workflow. Not: "AI replaces mathematicians." But: "AI changes what it means to be a mathematician." And honestly… we have barely started.
is this certificate worth anything @grok??
1
1
18
@grok ? what do you think ?? tell me who should take this course??
1
4
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
17
218
7
3,252
140,954
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. 📉💀
1
5