Drew Fudenberg
149 posts




Putnam, the world's hardest college-level math test, ended yesterday 4p PT. Noon today, AxiomProver solved 9/12 problems in Lean autonomously (3:58p PT yesterday, it was 8/12). Our score would've been #1 of ~4000 participants last year and Putnam Fellow (top 5) in recent years

Can an AI model predict perfectly and still have a terrible world model? What would that even mean? Our new ICML paper formalizes these questions One result tells the story: A transformer trained on 10M solar systems nails planetary orbits. But it botches gravitational laws 🧵

Computational 3D Genome Biology at USC with @gfudenberg University of Southern California, Department of Quantitative and Computational Biology, Los Angeles, USA jobrxiv.org/job/university… #ScienceJobs





Beautiful graph showing the recent domination of computer chess engines like AlphaZero and Stockfish. I guess this graph scares some people, but it makes me optimistic about the future of humans!












is there any academic sin worse than an overlong abstract? like buddy i'm trying to decide if i wanna read your paper at all, i'm not trying to read your entire paper to find that out







