Kumar Garg
@KumarAGarg
Followers
38K
Following
13K
Media
182
Statuses
28K
8 yrs @WHOSTP44, 7 yrs with @EricSchmidt, now leading @RenPhil21. https://t.co/ftaXIKFiAb
Washington, DC
Joined December 2010
Today, I was asked for any documents that explain "how your team got so much done" in Obama White House. I sent them this ->
221
2K
7K
After a multi-year lobbying campaign, @tkalil2050 has finally relented and added a profile photo. My thanks to @lucia_asanache.
4
0
86
NEW: We love a good ideation competition, and this is on a question that @tkalil2050 loves asking researchers: “what is your dream AI dataset that, if it existed, could underpin a technical breakthrough like AlphaFold.”. Details:.
Data is everything. We need more data to unlock the next scientific breakthroughs with AI. Here’s how we’re addressing this at NeurIPS. With a $10,000 prize pool to get it started. 🧵. @NeurIPSConf @AI_for_Science @RenPhil21 #NeurIPS2025
0
2
9
RT @joseph_fridman: it's an exciting week to feel the FROmentum! . starting last friday, when the folks at Canon made an exciting post abou….
0
3
0
RT @Tom_Westgarth15: This is great news. Lean helped to underpin Google DeepMind’s IMO progress. It was initially developed by a lone rese….
0
1
0
RT @RonitKanwar: With thanks to Alex Gerko, we’re doubling down on our work at the intersection of AI and math. By investing in data, tool….
0
3
0
RT @leanprover: Big day for Lean! Alex Gerko of XTX Markets is donating $10M to the Lean FRO and the new Mathlib Initiative to support the….
0
30
0
RT @tkalil2050: Thanks to a $5M grant, Mathlib is now supported by a new program at RenPhil! We’re excited to continue helping expand forma….
renaissancephilanthropy.org
FOR IMMEDIATE RELEASE July 24, 2025 Contact: [email protected] ; [email protected] ; [email protected]
0
4
0
NEW: An exciting day at @RenPhil21. Our work at the intersection of AI and math continues to grow, thanks to generous support from Alex Gerko. Our bet: accelerate the utility of AI in discovery by investing in the tools, data, and talent that bridge domain and AI expertise.
📢 Big news for the AI + math field! . Two frontier initiatives, @leanprover and Mathlib, have received a $10M donation to strengthen formal theorem proving and advance math research. More here:
1
4
28
Big day for all of us in the “can I tell you about FROs” community.
FROs are now in US National Policy!.
3
3
42
RT @calebwatney: Good overview from @stuartbuck1 on the chaos in science funding right now.
asteriskmag.com
A comprehensive but nowhere near exhaustive overview of how the Trump Administration is impacting American science.
0
16
0
My pitch for BITS is very simple: we coach you to make your “big if true” R&D idea even better, and measure our success by whether government agencies (or philanthropists) step up with the capital to make it happen.
⏰ Final call for the Big if True Science Accelerator - a 15-week program with @ARIA_research to design £50-100M scale research programs. Apply now:
1
7
25
I know the team has really enjoyed reading the submissions + brainstorming ways to help.
⏰ Final call for public health innovation submissions. We're looking for visionary concepts that can make a difference in advancing human health outcomes. Apply by July 31.
0
0
10
RT @jncstrd: @KumarAGarg @RenPhil21 @eric_is_weird @SPRIND It's great we have institutions like @RenPhil21 who enable learning across ARPA….
0
2
0
One of our goals at @RenPhil21 is to build a shared community - of ideas, practices, and people - across the ARPAs that are operating globally. @eric_is_weird interview series, this one with @jncstrd at @SPRIND, highlights how much cross-innovation is occurring under the hood.
This was fun! You should especially make time to listen if you’d like to *be* an ARPA-style PM, nerd out over R&D procedures, or just want to know what’s going on at “ARPAs” around the world. Will tweet out more clips over the weekend. Some of Jano’s answers excerpt wonderfully!.
1
1
25
UPDATE: Given passage of the new tax law (and implications for SNAP, Medicaid, and other benefits), under Cassandra Madison's leadership, we wanted to move quickly to get this call-for-proposals out the door. Send us your ideas (link below)!.
🚨 Now accepting proposals! We're awarding $500K–$2M grants for AI solutions that improve how public benefits like SNAP & Medicaid are delivered. Open thru Aug 15. .#civictech #AI #safetynet.
0
3
10
This is excellent.
What virtue is undersupplied today? I drafted my answer here and am very curious how others would answer this question!.
1
0
7
RT @calebwatney: This money disappears at the end of the fiscal year if it's not spent. Science budgets can be effectively cut, separate fr….
0
13
0