why aren't all 7 resolved? a statement only gets an assessment when the public
record can support or contradict it. opinions and what-ifs never can, and 0 checkable
ones are still open, waiting for their date. predictions held up or didn't;
assertions are supported or contradicted. on every card:
▮▮▮▮▮ certainty ·
▮▮▮▮▮ debate potential. speakers are clickable
Assertion Supported
Balog: AlphaTensor was the first AI to discover superhuman matrix multiplication algorithms
“And kind of the first breakthrough we had in this space was in twenty-twenty-two when we released a system called Alpha Tensor. And so that was a system that was an AI system using reinforcement learning. That for a very specific, but a fundamental computation…”
Assertion Supported
Balog: AlphaEvolve improves Google data center efficiency, hardware design, and software
“So, so we show that AlphaEvolve can improve the efficiency of the data center. It can contribute to hardware design, and it can contribute to improving the efficiency of most important pieces of software that that are being run inside Google.”
Assertion Supported
Balog: AlphaEvolve algorithms are already deployed in Google's infrastructure
“Alpha Evolve is an AI coding agent that is able to discover new algorithms that are able to make new discoveries on open scientific problems. And at the same time, those algorithms can be so practical that they are already deployed in keep Key parts of Google'…”
Insight
Balog: Inspectable AI-generated code is safer than black-box neural networks
“It's hugely valuable that the artifact you get out of Alpha Evolve is a piece of code, and then you deploy that piece of code. And so before you do that experts, engineers who have worked on that system can visually inspect that piece of code, understand it, a…”
Disclosure
Balog: DeepMind benchmarked AlphaEvolve against heavily optimized Google infrastructure problems
“The problems we chose to apply Alpha Evolve to in the first instance both on the scientific side and the practical side, We deliberately chose problems which have been worked on for a very long time by the very best people. So on the, you know, on the scientif…”
Disclosure
DeepMind: AlphaEvolve was seeded with human baselines for data center scheduling
“Another option you can take is actually we have already worked on this problem for a really long time. Here is a very strong initial solution that we can provide to the system and you can start from here. And that's what we did for the application to discoveri…”
Disclosure
Balog: AlphaEvolve focuses on math and CS due to automated evaluators
“In Alpha Evolve, we've
Primarily focused on mathematics and computer science, because these are the domains where it's the easiest to get these automated evaluation functions.
Like you often get them basically for free.”