Stack Exchange Q&A site proposal: Proof Assistants area51.stackexchange.com/proposals/1262…

The acid test for any two competing socioeconomic systems is which side needs to build a wall to keep people from escaping? That’s the bad one!

We open sourced Memorizing Transformers (arxiv.org/abs/2203.08913) and Block Recurrent Transformers (arxiv.org/abs/2203.07852) in Meliad! Repo link: github.com/google-researc…

🚨We are organizing the 2nd MATHAI workshop at NeurIPS! Check it out if you're interested in AI for math, and machine reasoning in general🤯! We have a great lineup of speakers & panelists! See more in call for papers: 👇 mathai2022.github.io/cfp/

Intern applications at @DeepMind for the 2023 calendar year open this Friday, September 16th! 📣 Feel free to contact me or others for info, be ready to apply, and please share with your network!

We’re presenting the first AI to solve International Mathematical Olympiad problems at a silver medalist level.🥈 It combines AlphaProof, a new breakthrough model for formal reasoning, and AlphaGeometry 2, an improved version of our previous system. 🧵 dpmd.ai/imo-silver

heiner xAI Igor Babuschkin i'm curious (with all good intentions), how do xAI employees who have kids manage things, if you're grinding like 15 hour days every day including weekends and holidays? Elon obviously has like a hundred nannies, but how do the normal employees manage? the simplest answer is

I finally sat down and wrote down a post mortem for vibe coding ScubaDuck. It's aimed at those of you who have never tried vibe coding (in its original sense: AI coding without reviewing the code the AI generated)

Hey also guys we are looking for training and ai infra engineers to build out Psyche with us btw - if you are actually highly experienced in that area, email [email protected] Help scale Psyche to 10T param models, model parallelism over the internet, decentralized

There is a book on Amazon called "Modern AI Revolution" by Geoffrey Hinton. This is a scam. It has nothing to do with me and I wish Amazon would remove it.

Tyler Alterman Pick someone and grow with them instead of expecting them to be your premade perfect lover. People have lost the art of learning to love.

We are hiring Research Scientists for our Machine Learning and Optimization team at Google DeepMind Bangalore. If you're passionate about cutting-edge AI research and building efficient, elastic, customized, and safe LLMs, we'd love to hear from you. We are looking for

We believe that (mathematical) autoformalization gives us a unique straight path towards reliable AI that’s why our recent result is such an important first step on this journey. If you are excited about our progress and want to work with us, send me or Jesse Michael Han a DM.

SpaceX RIP S36 Vid from D Wise

We have an open position at Apple MLR to work scalable and efficient generative models that perform across diverse data domains—including images, 3D, video, graphs, etc. We care deeply about simplifying modeling pipelines, developing powerful and scalable training recipes.

📣 Anthropic Zurich is hiring again 🇨🇭 The team has been shaping up fantastically over the last months, and I have re-opened applications for pre-training. We welcome applications from anywhere along the "scientist/engineer spectrum". If building the future of AI for the

🚀 Excited to share that the Workshop on Mathematical Reasoning and AI (MATH‑AI) will be at NeurIPS 2025! 📅 Dec 6 or 7 (TBD), 2025 🌴 San Diego, California

This false nomenclature of “researcher” and “engineer”, which is a thinly-masked way of describing a two-tier engineering system, is being deleted from @xAI today. There are only engineers. Researcher is a relic term from academia.