A simple back-of-the envelope calc: When you work on AGI, each second you spend not working on AI safety increases p(doom) by, say, 10^{-10}. Thus, it would be immoral NOT to buy a $3m megacar that holds the current record for the 0-248mph-0 sprint to do your Whole Foods runs.

Reminder that I did include formal math in the bottom left corner here. I'm very impressed by AlphaProof but I think it doesn't say much about AI "in the real world".

If you're interested in NAR or CO, check out Euan Ong's poster, recasting the algorithmic bottleneck as an **ensembling bottleneck** ++ a lightweight, nonparametric solution (pDAB) to alleviate it. Stop by the Differentiable Almost Everything Workshop #ICML2024 @ Stolz 0 today!

AlphaProof result could be anticipated knowing the components of the solution. Still, it is depressing how fast and inevitable the progress is.

they don’t have bathrooms in France?

The Markov property: what can be is unburdened by what has been given the current state.

She sold out to Big Parma.

Doric - Ionic - Corinthian

First generation PhD student resocialising in a foreign country

Reminder that when NeurIPS papers are spuriously rejected, it wastes everyone's time: * Authors do extra unnecessary work * A whole new set of reviewers have to write reviews To save time for us all, please read rebuttals carefully, correct misunderstandings, and score fairly.

If we normalise Olympic medal count by population, Hungary is #8, but… If we normalise for academic freedom index instead we might make it to the top three!

Teams of Hungary took 5th and 6th place in the first International Olympiad in AI taking the top 2 spots for silver 🥈. Congrats to the participants who brought a lot of self-taught expertise, adaptibility to the event continuing to build our tradition of problem solving. 🇭🇺🇭🇺🇭🇺

With all these new Python package manager things I’m seeing: is it worth paying attention to all the gazillion competing things now or should I wait until the dust settles and there’s clear advice?

The new International Olympiad in AI (for high schoolers) is looking for nominations to the scientific committee. Important and impactful role, helping to shape what material/topics/problems talented teenagers first encounter in the topic. Reach out if you’d consider contributing

Looks like there is a new startup founder or thought leader in town

Not what I think any of us meant, but I guess this means p(DOOM) is at or near 100%.

Im going to tell my kids these were the godfathers of AI

Put the cartels in charge of higher education