

Thrilled to share our latest collaboration with @GoogleDeepMind: Formal Conjectures, an evolving Lean 4 benchmark for evaluating AI capabilities in formal math. arxiv.org/abs/2605.13171
Yash
880 posts

@yashetal
ML engineer & Independent Researcher, Enjoying : pre & post training, RL, mech interp, CUDA, mathematics


Thrilled to share our latest collaboration with @GoogleDeepMind: Formal Conjectures, an evolving Lean 4 benchmark for evaluating AI capabilities in formal math. arxiv.org/abs/2605.13171


How to become an AI researcher with @oneill_c Charlie co-founded Parsed to build specialized open-source models that can outperform frontier labs. I first met Charlie when Parsed was acquired by Baseten, and now he leads our model development team. Charlie is one of the smartest people I know, and I had the pleasure of talking to him about: 0:00 Intro 3:13 Leaving Oxford to start a company 6:37 Becoming an AI researcher 15:37 Developing a unique POV as your moat 22:04 Parsed origin story 26:01 Big Token, the case for open-source models 33:40 Post-training, fine-tuning, specialization 46:52 Will open models catch up with closed models? 51:50 AI-led job replacement vs job creation 54:45 How to get into inference engineering This is one of my favorite conversations I’ve had in a long time. Made with @ad0rnai behind the scenes. Enjoy!

🚨 SCOOP: Use your Fable 5 quota while it lasts. Anthropic are working through the final stages of preparations for the launch of Claude Opus 5, with plans to launch as early as later this week (this week and next week encompass the 2-week target window). As it stands, they are *not* intending to extend Fable's inclusion in subscriptions beyond July 19th. A successor to Fable 5 is planned for August to compete with GPT-6, and for now they think they can get away with launching an Opus model not too far from Fable but cheaper to serve.



I am hiring a TPM lead for @GoogleAIStudio, the job is to accelerate our progress in every way possible across product, GTM, engineering, and more. If you are AI pilled, high agency, and want to push the frontier in Google DeepMind, consider working with us : )


Everyone seems puzzled by this ad because they imagine normie reactions to it. But the target audience is potential hires who already believe AGI/ASI is very scary, and they want no one else. It says, “This is the only lab where worriers like you belong,” and says it well.

GPT-5.6 sol is half the price and ~twice as token efficient as fable in many cases for accomplishing the same task. happy to deliver at one-quarter of the price.

GPT 5.6 Sol can one-shot convert an arXiv paper into an interactive Marimo notebook! Great for papers best understood hands on (lots of fun examples in interpretability, inference engineering, agent harnesses, benchmarking, and more) Play around with the notebook, inspect the code, or try the same workflow with your own agents below

How far can we compress billion-parameter LLMs? We introduce requential coding, which achieves < 1-bit per param compression, and explains why scaling doesn't hit a generalization wall! arxiv.org/pdf/2607.11883 w/@m_finzi, @YujiaZheng9 ,@kunkzhang, @andrewgwils 1/🧵







i gave 5.6 sol access to my camera roll and had it extract pictures of every piece of clothing i own from my photos then, told it to find new outfits for me and render them on me with gpt-image! its kinda cool to see your entire wardrobe in a collection like this

i gave 5.6 sol access to my camera roll and had it extract pictures of every piece of clothing i own from my photos then, told it to find new outfits for me and render them on me with gpt-image! its kinda cool to see your entire wardrobe in a collection like this