I’ll be doing a Q+A at ICML today (Wednesday) at 3-4pm as well. See you soon! x.com/polynoamial/st…
Game changer! No more physical claws needed to keep my laptop open 😂 x.com/guinnesschen/s…
Very excited to welcome @NoamShazeer to OpenAI as our new lead for architecture research! His work on transformers, MoE, and efficient decoding have shaped modern AI. He’s extremely AGI-pilled and is super thoughtful about making it all go well. Welcome, Noam! x.com/NoamShazeer/st…
When Mythos came out, my immediate thought was "if our models can prove 80-year-old theorems, surely they can find cyber vulnerabilities too." And they did. I imagine the researchers there are thinking the same thought in reverse. x.com/__alpoge__/sta…
Very proud that an OpenAI model disproved Erdős’s longstanding unit distance conjecture, with an elegant and intricate proof that brings sophisticated ideas from algebraic number theory to bear on geometry. For whatever reason, mathematics has been the field most amenable to research breakthroughs with AI. I consider it lucky that it was mathematics after all - a field where experts have been willing to engage deeply with us, and with proofs generated by our models. I'm grateful for that, and don't take it for granted. Math is an artistic endeavor, and perhaps for artists, it is precisely their appreciation for art that saves them from the possibly grotesque feeling of a machine producing it. Our goal is not to replace humans. We aim to chart a path forward where humans continue to have a significant role to play, even as we build exceptionally powerful AI. I am excited to use math as a domain to explore these paths, and @SebastienBubeck, @merettm, and I are excited to engage with the broader mathematical community to chart them together. Please reach out if you are interested! I'm optimistic this will help us navigate how AI impacts society in domains like coding and general co-working.
