Jelani Nelson
@minilek
Professor and Department Chair @Berkeley_EECS. Research Scientist (part-time) @GoogleAI. Founder @addiscoder. 🇻🇮🇺🇸🇪🇹
Worth it.
International flight, check in at SFO cuts off at 12:25am. It’s 12:05 and I’ve been stuck behind a wall of police for at least half an hour on 101. Reverse, take the previous exit, surface roads to the next 101 entrance… arrive at SFO 12:22am, checked in family of 6 across…
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.
Congratulations to Brian Conrad for being awarded the Barry Prize by the American Academy of Sciences (@americanacad), in part for his efforts in K-12 math education. youtu.be/2R6UBcH1Yg0?si…
International flight, check in at SFO cuts off at 12:25am. It’s 12:05 and I’ve been stuck behind a wall of police for at least half an hour on 101. Reverse, take the previous exit, surface roads to the next 101 entrance… arrive at SFO 12:22am, checked in family of 6 across…
Arrived at gate: 11:39 Boarding starts 11:40 Still got it
We're all excited to see our advanced Gemini Deep Think model achieve a gold-medal level performance in the recent IMO, solving 5 of the 6 problems perfectly (35 of 42 points)! 🥇 Unlike our entry last year, which first converted the problems to a formal proof language (Lean),…
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…
This is the most scaling-pilled project I've ever been part of, and the team really cooked. TL;DR: With RL and inference scaling, Gemini perfectly solved 5 out of 6 problems, reaching a gold medal in IMO '25, all within the time constraints of 4.5hr.
An advanced version of Gemini with Deep Think has officially achieved gold medal-level performance at the International Mathematical Olympiad. 🥇 It solved 5️⃣ out of 6️⃣ exceptionally difficult problems, involving algebra, combinatorics, geometry and number theory. Here’s how 🧵
Excited to share that a scaled up version of Gemini DeepThink achieves gold-medal standard at the International Mathematical Olympiad. This result is official, and certified by the IMO organizers. Watch out this space, more to come soon! deepmind.google/discover/blog/…
An advanced version of Gemini with Deep Think has officially achieved gold medal-level performance at the International Mathematical Olympiad. 🥇 It solved 5️⃣ out of 6️⃣ exceptionally difficult problems, involving algebra, combinatorics, geometry and number theory. Here’s how 🧵
Congrats @alexwei_ and your team!
This was a small team effort led by @alexwei_. He took a research idea few believed in and used it to achieve a result fewer thought possible. This also wouldn’t be possible without years of research+engineering from many at @OpenAI and the wider AI community.
Great team from ICPC 2016 (Thailand), now grown up and doing big things. @randomjohnnyh (@perplexity_ai co-founder/CSO) @ScottWu46 (@cognition_labs co-founder/CEO) @dnkywin (coming soon?) @ICPCNews
Pet peeve: someone invoking Stirling's approximation to justify log(n!) = Theta(n log n).
Mango tree on the walk between my apartment and the @jamcoders classroom.
