In our Nature paper, we introduce the first superhuman Stratego AI, which we built using general techniques that we developed for RL & test-time compute under imperfect information. 1/N
Show more
1/ Ten months ago, I was ecstatic that AI could win IMO gold.
Today, that excitement feels quaint: an internal @OpenAI model has refuted Erdos’s unit distance conjecture—a research result that one could recommend “acceptance without any hesitation” to the Annals of Mathematics.
Show more
New paper: "Agentic Forecasting using Sequential Bayesian Updating of Linguistic Beliefs".
Our system (BLF) matches human superforecasters on ForecastBench, and beats all the top methods (GPT-5, Cassi, Grok 4.20, and Foresight-32B).
🧵
Show more
Hi everyone it's me aaron i made a youtube video about the game theory behind competitive pokemon. this has been ~2.5 months in the making and i am so happy to finally be able to release it.
Show more
Are we done with new RL algorithms? Turns out we might have been optimizing the wrong objective.
Introducing MaxRL, a framework to bring maximum likelihood optimization to RL settings.
Paper + code + project website:
🧵 1/n
Show more
