Kumar Garg

Today, I was asked for any documents that explain "how your team got so much done" in Obama White House. I sent them this -> mitpressjournals.org/doi/pdf/10.116…

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:

This is great news. Lean helped to underpin Google DeepMind’s IMO progress. It was initially developed by a lone researcher, so it’s great to see it be enabled to scale!

Thanks to a $5M grant, Mathlib is now supported by a new program at RenPhil! We’re excited to continue helping expand formal math infrastructure. Another $5M is also headed to @leanprover, part of @Convergent_FROs. Learn more: renaissancephilanthropy.org/news-and-insig…

Really excited to see this!

it's an exciting week to feel the FROmentum! starting last friday, when the folks at Canon made an exciting post about a rather striking telescopic array pointed at the night sky:

With thanks to Alex Gerko, we’re doubling down on our work at the intersection of AI and math. By investing in data, tools, infrastructure and talent, philanthropy can help unlock the potential of AI in more domains and create bilingual experts.

Big day for Lean! Alex Gerko of XTX Markets is donating $10M to the Lean FRO and the new Mathlib Initiative to support the future of formal mathematics and machine-checked proofs. Thank you, Alex Gerko and Convergent Research, for believing in the mission. Read the full…

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 day for all of us in the “can I tell you about FROs” community.

👀

Good overview from @stuartbuck1 on the chaos in science funding right now asteriskmag.com/issues/11/the-…

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.

I know the team has really enjoyed reading the submissions + brainstorming ways to help.

It's great we have institutions like @RenPhil21 who enable learning across ARPAs. The number of programs at each ARPA is somewhat limited, providing an insufficient basis for learning. The fact that there is also a ton of tacit knowledge involved makes it even harder.

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.

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)!

This is excellent.

This money disappears at the end of the fiscal year if it's not spent. Science budgets can be effectively cut, separate from what happens in Congress.