Marcus Hutter

My new book finally ships! You fear your math is not up to scratch? Fear not, over 100 pages are devoted to introducing the relevant concepts. routledge.com/An-Introductio… #AI #AGI #ArtificialIntelligence #Math #Maths #machinelearning #ReinforcementLearning

A little paper by Kamal Dingle and myself using Kolmogorov Complexity for measuring "Simplicity and Complexity in Combinatorial Optimization" published today mdpi.com/1099-4300/28/2…

My welcome to DeepMind exactly 7 years ago. All but one are my former (PhD) students; all but one work(ed) at Google DeepMind. @ShaneLegg sadly couldn't make it. @janleike @mayankdaswani @LattimoreTor @john_aslanides @AdaptiveAgents @martin_jarryd @JoelVeness65957

Their website: qlabs.sh @industriaalist Seed investors: YC, Jeff Dean, Emmett Shear, Mike Knoop, Guillermo Rauch, Qasar Younis, and others Their Paper: arxiv.org/abs/2509.10973 Our Solomonoff-LLM background paper: x.com/arxivsanitybot… Our related Prequential MDL paper: #preqnn" target="_blank" rel="nofollow noopener">hutter1.net/official/bib.h…

Interview mal auf Deutsch auf @everlast_ai über SuperIntelligenz und die Zukunft der Menschheit youtu.be/937qlGDh0-M Anmerkung: AGI hat zu viele Väter, aber Vater der ASI Theorie gibts nur einen🙂 #Intelligenz #Bewusstsein #Mathematik #Singularität #Arbeit #UBI #AIXI #OffSwitchGame #X_Risk #Alignment #Zukunft (auto-translate available)

TIL that George Hotz's @realGeorgeHotz career was kindled by working on the Human Knowledge Compression Contest ("Hutter Prize") for 6 months of his life. He also understands why lossless compression ≈ lossy compression ≈ intelligence. youtube.com/watch?v=boiW5q…

@JasonRute @ElliotGlazer @davidmbudden I hope a positive outcome of this saga will be that the LEAN community puts more emphasis on formalizing important open problems, conjectures, definitions, and theorems (as opposed to formalizing proofs of existing theorems) AND improves LEAN so as to allow non-domain experts and AIs to fully automatically and failure-safe to verify their LEAN proof: attempts.#narrow/channel/113488-general/topic/Standards.20for.20Lean.20proofs.20of.20unsolved.20problems" target="_blank" rel="nofollow noopener">leanprover.zulipchat.com/#narrow/channe…

$10'000 Xmas wager on the Navier-Stokes Millennium Prize: CEO David Budden of AI Startup PingYou seems to be onto something:

@IsaacKing314 @littmath @RadishHarmers I can confirm that David has paid off his 10k betting loss with me. Thanks for being a good sport, but I will (re)pay him 20k if he wins the Clay prize for his NS proof on github. I don't want to have won for technical reasons.

@Trader_Shiba Yes, I advised him quite a bit, which he essentially ignored. I assign only a very small chance. Manifold odds feel roughly right. He has no clue about the physics nor the math. It's all PingYou generated including most of his X-posts. Good luck.

@mhutter42 @mhutter42 Did you provide any guidance to David before attempting the problem? Did you feel that he actually had a chance? It appears he had extremely limited understanding of the physics. Viscosity is the heat equation in disguise. I'll solve it.

Has anyone here considered whether David Budden's X account might actually have been taken over by his PingYou bot, and the marketing is that it took so long for you to notice? This seems more plausible to me than a psychosis. I suspected this already weeks ago. Another bet?

200 pages Grain of Truth: A new gold standard for embedded multi-agent learning with infinite-order theory of mind leading to new game-theoretic solution concepts and novel forms of cooperation: arxiv.org/abs/2511.22226

Mathematical Science of AI: Interview of Marcus Hutter and Cole Wyeth by Daniel Murfet at the Mathematical Research Institute of the University of Sydney. youtu.be/tgKaGiI6Ogc

New paper with Marcus Hutter at AI Magazine! "Imitation Learning is Probably Existentially Safe" We contest 6 arguments to the contrary from Eliezer, Paul Christiano, David Krueger, Gwern, and Evan Hubinger et al. We've also tried to make those arguments more accessible.

Congratulations to Yoshua Bengio for being the first living person (afaict, and the 2nd person in history after Michel Foucault) to pass one-million citations on Google Scholar. Geoffrey Hinton will follow soon.

More detailed/technical Grain of Truth slides: hutter1.net/publ/sgotx.pdf Recorded talk: youtu.be/G5ZZHRqFjpQ Other exciting talks from the recent AIT&ML Symposium: youtube.com/playlist?list=…

Reflective-Oracle AIXI solves the Grain of Truth problem for super-intelligent multi-agent systems/societies. Finally the long-awaited more comprehensive treatment building upon earlier work from last decade is out. Slides: hutter1.net/publ/sgot.pdf Paper: arxiv.org/abs/2508.16245

Forget about fair taxation. What is fair anyway? dx.doi.org/10.1086/693393 argues that high/low-value jobs should be taxed less/more, and as a proxy: Negatively taxing incomes below $100k/y financed by slightly increasing the top tax rate is economically beneficial - interesting.

This is the best "layman" explanation of how quantum field theory "works". It took physicists decades to work this out. It may sound incredible or funny but I can attest the correctness of every step.

The Universal Similarity Metric based on Kolmogorov complexity enjoyed great practical success in the past. In this talk youtube.com/watch?v=QEJnF0… I review this success and present new theoretical properties. Also check out the other great AIT&ML talks in the side bar.