@mhutter42 profile picture
Marcus Hutter @mhutter42
Joined April 2011
  • Tweets 68
  • Following 53
  • Followers 4,571
31 Photos and videos
Pinned Tweet
Marcus Hutter@mhutter42
25 May 2024
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
14
31
244
30,392
New Report: From AGI to ASI. arxiv.org/abs/2606.12683 The shift from human-level AI to superintelligence will be continuous accelerating breakthroughs across science & tech. We must prepare for a series of transformative societal changes. #AGI #ASI
7
15
58
3,640
"Algorithmic Compression via Pretrained Neural Networks" is a short recap of the ~15 publications in the last 5 years of the Universal Artificial Intelligence team. mdpi.com/1099-4300/28/6/596
12
63
5,693
Marcus Hutter retweeted
Daniel Murfet
@danielmurfet
Mar 25
As a good mathematician the first book I read on AI was @mhutter42's book on AIXI. Then once I knew what real AI was, I read all the neural network stuff. I think this is also important conceptual kit for AI safety lesswrong.com/posts/baP2osKG….

The AIXI perspective on AI Safety — LessWrong

AIXI is often used as a negative example by agent foundations (AF) researchers who disagree with its conceptual framework, which many direct critique…

lesswrong.com
2
5
57
3,192
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/226
10
95
4,966
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
2
3
108
7,071
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/status/… Our related Prequential MDL paper: hutter1.net/official/bib.htm…

Samip
@industriaalist
Feb 3
Introducing Q Labs, a research lab focused on solving generalization. Alongside others (SSI, Flapping Airplanes), we see data efficiency as the key problem, but we're taking an unconventional approach to solve it: a new learning algorithm approximating Solomonoff induction.
6
93
20,238
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)
5
4
25
1,348
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=boiW5qhr…

3
4
83
11,236
$10'000 Xmas wager on the Navier-Stokes Millennium Prize: CEO David Budden of AI Startup PingYou seems to be onto something:
38
42
659
317,681
@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.leanprover.zulipchat.com/#na…

Public view of Lean | Zulip team chat

Browse the publicly accessible channels in Lean without logging in.

leanprover.zulipchat.com
2
2
45
2,725
@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.
2
15
1,079
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?
5
18
4,158
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
2
13
66
8,797
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
2
34
3,740
Marcus Hutter retweeted
Michael Cohen
@Michael05156007
21 Nov 2025
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.
2
6
28
3,228
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.
1
17
188
17,508
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
9
15
85
7,299
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=PL…
1
6
1,710
Load more