dmolnar
4.8K posts
@dmolnar
I like security. He/him. Supporting scaling security superpowers at Meta (Facebook). We're hiring across Meta Security, DMs open.
We’ve found a ton of value hiring folks with strong theory backgrounds with little to no production ML experience. One of our members of technical staff got his phd in pure math/the geometry of black holes and had no prior ML experience. Within days of hiring him we released our first model Odyssey and he had already earned himself a co-author position—that’s how invaluable he became.
The Trump administration has suspended the funding of Terence Tao and the Institute for Pure and Applied Mathematics at UCLA.
This is flying a bit under the radar. But in terms of damage to America’s innovation and knowledge supremacy, the chilling effect of these revocations on the country’s ability to attract and retain scientific talent likely dwarfs the impact of tariffs or other policies.
1/ Excited, but frankly quite worried, about a new work with the wonderful @levs57 and @Khovr: ia.cr/2025/118 We break soundness of a standard protocol (essentially commit to witness and run GKR) by constructing a circuit for which we can prove a false statement.
🚀 Excited to share our position paper: "Formal Mathematical Reasoning: A New Frontier in AI"! 🔗 arxiv.org/abs/2412.16075 LLMs like o1 & o3 have tackled hard math problems by scaling test-time compute. What's next for AI4Math? We advocate for formal mathematical reasoning, grounded in formal systems such as proof assistants. It complements test-time scaling by providing: ✅ Verifiable correctness in reasoning ✅ Automatic feedback Feedback can serve as learning signals for RL, while verifiability enables LLMs to tackle tasks requiring rigorous reasoning, like theorem proving and software/hardware design. Our paper discusses recent progress, key challenges, and future milestones to advance this field. Formal mathematical reasoning is at an inflection point—now is the time to dive in! This is a team effort with @GabrielPoesia, @jingxuan_he, @WendaLi8, @KristinLauter, Swarat Chaudhuri, and @dawnsongtweets. Special thanks to Jeremy Avigad, @AlbertQJiang, @_Zhaoyu_Li_, @PeterOHearn12, Daniel Selsam, Armando Solar-Lezama, and Terence Tao for their valuable feedback!
