Nice read in @nytimes.com about the philosophical questions at the heart of AI development: www.nytimes.com/2026/07/05/b...
Who's Who of AI
Blaise Agüera y Arcas
Why they matter
Researcher with public evidence across AI business, AI research.
- AI signals
- 6 past 30d
- Sources
- 6 distinct domains
- Discussions
- 0 past 30d
- Latest signal
- 8h ago
CTO of Technology & Society at Google, working on fundamental AI research and exploring the nature and origins of intelligence.
What they're sharing
nytimes.com
Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics arxiv.org
GitHub - google-deepmind/formal-conjectures: A collection of formalized statements of conjectures in Lean. github.com
Reverse Alignment reversealignment.ai
What Humanity Needs To Flourish In The Next Decade | NOEMA noemamag.com
Should A.I. Move to Space? - Freakonomics freakonomics.com
Articles & links
Thrilled to share our latest collaboration with Google DeepMind: Formal Conjectures, an evolving Lean 4 benchmark for evaluating AI capabilities in formal math. arxiv.org/abs/2605.13171
AI Weekly's analysis
→
- The Formal Conjectures benchmark contains 2,615 mathematical problem statements formalized in Lean 4, sourced from areas of active mathematical research.
- It splits into 1,029 open research conjectures for zero-contamination proof discovery and 836 solved problems for autoformalization testing.
- The dataset is released under Apache 2.0, and the authors report it has already been used to resolve open research conjectures.
Read full analysis →
Congratulations to everyone involved, especially former Pi colleague Moritz Firsching, Paul Lezeau, Salvatore Mercuri, and Miklós Z. Horváth for leading this work. Check out the open-source code here: github.com/google-deepm...
History shows that these investments are not optional supplements to technological change, but rather prerequisites for its success. Learn more and join the coalition: www.reversealignment.ai
Our democracies, economies, and legal systems weren’t built to absorb AI at the rate it’s advancing. In a new essay for @noemamag.com, our Reverse Alignment coalition map out the investments needed for society to flourish with AI: www.noemamag.com/what-humanit...
Had a great time catching up with Steve Levitt on Freakonomics to ask: "Should AI move to space?" freakonomics.com/podcast/shou... Thank you for the opportunity to highlight Project Suncatcher and our Paradigms of Intelligence work at Google alongside my colleague Travis Beals…
Their own posts
Recent commentary
Just as single cells became multicellular life, 8B+ brains are now joining with AI to form a collective superintelligence. At @usc.edu's Institute on Ethics and Trust in Computing inaugural summit, @robinjia.bsky.social, Jinchi Lv, Paria Rashidinejad and I discussed navigating this transition.
🧵 My July book picks: 1. The Power of Life: The Invention of Biology and the Revolutionary Science of Jean-Baptiste Lamarck 2. Europe 2031: What getting AI wrong means for us 3. The Scaling Era: An Oral History of AI, 2019–2025
A few weeks ago I had the privilege of touring the world’s first AI art museum, Dataland, in an early walkthrough with its cofounder—and my dear friend—Refik Anadol.
Their network
In Blaise Agüera y Arcas's orbit
Center = Blaise Agüera y Arcas. Left = members they follow (green edges). Right = members who follow them (blue edges). Top = mutual follows (orange edges, slightly larger). Drag any node to reposition; click to open that profile.