Pinned Tweet
We redesigned the Mathathon Challenge.
Introducing Mathathon 2.0.
Old problems, new proofs.
Introducing Mathathon 2.0.
Old problems, new proofs.
8
13
108
8,830
Sathvik Redrouthu retweeted
Introducing Underdog Woof, the #1 Text-to-Speech model that is only 31.7 MB, small enough to run fast in your browser, phone, watch... no data centers
1000x smaller than top models. While Woof has better word error rate (1.42%)
See how Woof mogs all the top voice models you game, where Woof run’s 100% in your browser in WebGPU and works without wifi. Try to defeat Darkcloud and free Riverbark from Orwellian Big AI: underdog.ai/escape
It’s free and open weight with Underdog CC BY-NC 4.0. Try Woof today in Underdog, your Private Personal AI: underdog.ai/woof
1000x smaller than top models. While Woof has better word error rate (1.42%)
See how Woof mogs all the top voice models you game, where Woof run’s 100% in your browser in WebGPU and works without wifi. Try to defeat Darkcloud and free Riverbark from Orwellian Big AI: underdog.ai/escape
It’s free and open weight with Underdog CC BY-NC 4.0. Try Woof today in Underdog, your Private Personal AI: underdog.ai/woof
We made a game for our new frontier text-to-speech model, Woof. 31.7 MB, so small that it runs in your browser
Play the game on X... all voices are Woof. Defeat Darkcloud for an invite underdog.ai/escape
20
17
166
30,294
Sathvik Redrouthu retweeted
We bought 160 transit shelters and 38 billboards across the Bay to send a message:
AI should be free, smart & private. Loyal AIs can improve collectively in Dogpark
This halloween, hunt for the QR on the Underdog billboards to get early access
AI should be free, smart & private. Loyal AIs can improve collectively in Dogpark
This halloween, hunt for the QR on the Underdog billboards to get early access
Happy Halloween🎃 Spot Underdog in your neighborhood on 198 billboards around SF & the Bay
Scan the QR on the billboards for an invite to Dogpark & earn a bone
Halloween bone hunt🦴 let’s gooooo
25
13
137
28,924
Sathvik Redrouthu retweeted
The largest math proof in human history is now computer-verified.
Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."
About 15,000 pages, built by over 100 mathematicians across generations.
Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."
About 15,000 pages, built by over 100 mathematicians across generations.
424
1,303
7,190
3,742,570
Sathvik Redrouthu retweeted
Mathathon 2.0: Old problems, new proofs.
Co-organized by @Caltech and @SAIRfoundation.
Access open models on Open Math OS: openmathmodel.org
Thanks to @xtxmarkets and National Compute for the support.
Co-organized by @Caltech and @SAIRfoundation.
Access open models on Open Math OS: openmathmodel.org
Thanks to @xtxmarkets and National Compute for the support.
We redesigned the Mathathon Challenge.
Introducing Mathathon 2.0.
Old problems, new proofs.
2
3
46
2,567
The Mathathon will take place over two rounds.
First, on November 13th-15th, there will be a 40 hour in-person round with a presentation schedule.
Afterwards, there will be a two-month virtual math collaboration period between judges and their favorite teams.
First, on November 13th-15th, there will be a 40 hour in-person round with a presentation schedule.
Afterwards, there will be a two-month virtual math collaboration period between judges and their favorite teams.
1
0
10
512
Thanks to @Caltech @SAIRfoundation for making this new vision possible, as well as our compute partners @xtxmarkets and National Compute.
We also thank our sponsors: @cognition @huggingface @conway @Cloudflare @hud_evals @TeamOratomic, Midas, @AnnapurnaLabs @modal @mercor @d_model_ai @PrimeIntellect @sfcompute @architectlabs, Emergence Capital, @8vc @Base10Partners @FactoryAI @extropic, Formation, @normalfactoryco @extropic @1517fund @indent @diodeinc @ParetoHoldings, Terac, @droneforge
We also thank our sponsors: @cognition @huggingface @conway @Cloudflare @hud_evals @TeamOratomic, Midas, @AnnapurnaLabs @modal @mercor @d_model_ai @PrimeIntellect @sfcompute @architectlabs, Emergence Capital, @8vc @Base10Partners @FactoryAI @extropic, Formation, @normalfactoryco @extropic @1517fund @indent @diodeinc @ParetoHoldings, Terac, @droneforge
0
0
10
387
Sathvik Redrouthu retweeted
Big things 🚀
My younger brother @_rithvikr_ is looking for 8xH200s.
He's a highschool senior who has already published in NeurIPS (main conference) with multiple industry AI internships.
This is his biggest project yet - who can I connect him to?
1
1
8
2,438
My younger brother @_rithvikr_ is looking for 8xH200s.
He's a highschool senior who has already published in NeurIPS (main conference) with multiple industry AI internships.
This is his biggest project yet - who can I connect him to?
He's a highschool senior who has already published in NeurIPS (main conference) with multiple industry AI internships.
This is his biggest project yet - who can I connect him to?
7
4
138
28,436
Sathvik Redrouthu retweeted
The math community deserves its own AI system.
Introducing Open Math OS: the infrastructure for Math 2.0.
Open models and AI agents. 24/7 cloud compute with 100+ tools. The community controls its data.
Compute is free for approved teams. Apply now:
openmathmodel.org
Introducing Open Math OS: the infrastructure for Math 2.0.
Open models and AI agents. 24/7 cloud compute with 100+ tools. The community controls its data.
Compute is free for approved teams. Apply now:
openmathmodel.org
29
100
509
100,568
I want there to be a BoardGPT where whatever you do on a blackboard gets added to your lecture notes nicely instead of having to take pictures
2
0
4
969
Sathvik Redrouthu retweeted
The Mathieu group M_23 is Galois over Q! I made a video about this recent achievement because I think it's a GREAT example of how LLMs can be used to accelerate research while keeping human contributions front and center. 🙏🏻
youtu.be/u2GYv9Hicj0?is…
youtu.be/u2GYv9Hicj0?is…
2
10
46
4,079
Sathvik Redrouthu retweeted
Very nice piece written by my colleague Matilde Marcolli, arguing why the current panic in the math community is unwarranted.
To appear in Newsletter of the London Mathematical Society.
To appear in Newsletter of the London Mathematical Society.
16
46
227
29,556
Sathvik Redrouthu retweeted
Introducing Underdog, your Private Personal AI on devices you already own
Today we're announcing our backing from @a16z @khoslaventures @HummingbirdVC Anthology (@AnthropicAI @MenloVentures) @patrickc @naval @rauchg @polynoamial @Thom_Wolf @Mascobot @tszzl @OfficialLoganK and ur mission is to provide free, capable, reliable and private AI to billions of people.
Underdog’s Law: today’s frontier intelligence reaches your devices in six months.
We’re starting with fast, capable AI that runs on consumer hardware. By co-designing models and inference engines, we’re pushing the frontier of capability, speed, power and data efficiency.
Our research also spans agentic commerce, confidential inference, and how AI will reshape the internet economy.
Privacy and capability no longer needs to be a tradeoff. If you believe in this future, join us. Time to build.
Today we're announcing our backing from @a16z @khoslaventures @HummingbirdVC Anthology (@AnthropicAI @MenloVentures) @patrickc @naval @rauchg @polynoamial @Thom_Wolf @Mascobot @tszzl @OfficialLoganK and ur mission is to provide free, capable, reliable and private AI to billions of people.
Underdog’s Law: today’s frontier intelligence reaches your devices in six months.
We’re starting with fast, capable AI that runs on consumer hardware. By co-designing models and inference engines, we’re pushing the frontier of capability, speed, power and data efficiency.
Our research also spans agentic commerce, confidential inference, and how AI will reshape the internet economy.
Privacy and capability no longer needs to be a tradeoff. If you believe in this future, join us. Time to build.
545
231
3,514
929,512
The @Caltech community and SAIR are redesigning and co-organizing Mathathon: Old Problems, New Proofs.
Explore alternative proofs and clearer explanations, using AI to deepen human understanding.
More on our co-founder Terence Tao’s blog:
terrytao.wordpress.com/2026/09/28/joi…
1
2
34
5,953
We are grateful to @SAIRfoundation, Terry, and everyone involved in structuring this event towards the future of human mathematics!
The @Caltech community and SAIR are redesigning and co-organizing Mathathon: Old Problems, New Proofs.
Explore alternative proofs and clearer explanations, using AI to deepen human understanding.
More on our co-founder Terence Tao’s blog:
terrytao.wordpress.com/2026/09/28/joi…
3
0
28
2,929
Sathvik Redrouthu retweeted
Today we introduce Open Math Model: open models and tools for mathematics.
Built for everyday research, shaped by the mathematical community, and developed in the open.
Read our co-founder Terence Tao’s blog:
terrytao.wordpress.com/2026/09/18/sai…
Built for everyday research, shaped by the mathematical community, and developed in the open.
Read our co-founder Terence Tao’s blog:
terrytao.wordpress.com/2026/09/18/sai…
13
112
579
31,658