Nilesh Trivedi
@nileshtrivedi
Building AIs at http://snowmountain.ai I love machines, math & music. @lossfunk @meta @foresightinst @clearFromCT @iiml @iitkgp ❤️ http://isfixable.com
Took long enough for Paul to say what other good folks in tech have been saying for a while. (Though I do think the tradeoff changes a bit if all the college choices you have available are terrible.)
Don't drop out of college to start or work for a startup. There will be other (and probably better) startup opportunities, but you can't get your college years back.
extrapolating, we’re <2 years away from VCs hosting pizza parties for middle school computer clubs
Nerds are those who find joy in learning — it has nothing to do with academic success.
How do we replicate this for math? Who is the equivalent of Vishy Anand, willing to spend time nurturing the next generation?
INDIAN CHESS IS ON AN INCREDIBLE RISE! 📈 World Champion - Gukesh Dommaraju World Rapid Champion - Humpy Koneru (Women) Chess Olympiad Champion - India (Open) Chess Olympiad Champion - India (Women) World Cup Champion - Humpy/Divya (Women) WE ARE HERE TO DOMINATE THE WORLD 🇮🇳
"Private fleet of fighter jets" Life goals for nations. 😀👏
NEW: Jared Isaacman was recently joined in the cockpit by @SecDuffy, who Trump just named interim NASA Administrator, as they lit up the skies together at EAA AirVenture Oshkosh in an MiG-29. Both men are aviation enthusiasts: Duffy is currently serving as the 20th Secretary of…
The best open source models are all Chinese now. Mistral's Magistral is the only non-Chinese open source model to crack the aggregate top 15 models, per the Artificial Analysis Intelligence Index
Life goals is having enough financial freedom, so I can afford working full-time on my hobby terminal, or OS kernel, or browser, or programming language.
How to quickly start hating reading and readers 👇😀
Putting this out there - if you've been toying with the idea of starting a small bookshop and need to brainstorm, I am available for a chat. India needs more bookshops.
Slack is becoming so ran thru. MS Teams is a non-starter. Discord is gamer slop. I just want channels, threads, and DMs. Like nothing else. Why does every product tend towards slop like this?
Human cultural replacement. Not just AI music but AI listeners too - a fake and fraudulent way for Spotify to generate Ad revenue. Who needs humans when bots can click on links and trick advertisers into paying for fake engagement.
Another AI system, ByteDance's SeedProver solved 4 out of 6 IMO problems *with* Lean, and solved a fifth with extended compute. This is becoming routine, like when we went to the moon for the fourth time. There is *nothing* "routine" about this!!...
You want AI in your web browser. I want uBlock Origin in it. We are not the same. 😀
Yesterday my nephew asked me , can you please give me the documentary link to astrosat or Aditya - L1 , I want to study how ISRO does deep space missions. I had no response. Because no such documentaries exist. What ever exists is either created by really passionate individuals…
Excited to share Aryabhatta 1.0, our leading model that scores 90.2% on JEE Mains, outperforming frontier models like o4 mini and Gemini Flash 2.5 Trained by us at @AthenaAgentRL , in collaboration with @physics__wallah, using custom RLVR training on 130K+ curated JEE problems…
Legacy media digging their own holes to bury their credibility.
Gemini Deep Think by @GoogleDeepMind solved 5 out of 6 IMO problems in natural language, earning 35 out of 42 points within the standard 4.5 hours - a gold-medal level performance (confirmed by IMO) !! What a timeline we are in!
Very excited to share that an advanced version of Gemini Deep Think is the first to have achieved gold-medal level in the International Mathematical Olympiad! 🏆, solving five out of six problems perfectly, as verified by the IMO organizers! It’s been a wild run to lead this…
3 times more electricity than the Three Gorges dam!
It's done: China just launched the construction of the Yarlung Tsangpo dam project (scmp.com/news/china/dip…). It'll be by far the world’s largest hydroelectric facility, generating 3 times more electricity than the Three Gorges dam, 300 billion kilowatt-hours. This dam project…
You Should Own Your Browser The browser wars have begun again. But they're not browser wars, they're data wars. OpenAI and every large startup wants control. They want everything that makes you, you. Your data. Your access. Your identity. This is not the way. (1/10)
Today, we're announcing a preview of ARC-AGI-3, the Interactive Reasoning Benchmark with the widest gap between easy for humans and hard for AI We’re releasing: * 3 games (environments) * $10K agent contest * AI agents API Starting scores - Frontier AI: 0%, Humans: 100%