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
- 1 past 30d
- Sources
- 1 distinct domains
- Discussions
- 0 past 30d
- Latest signal
- 22d 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
economist.com
GitHub - google-deepmind/formal-conjectures: A collection of formalized statements of conjectures in Lean. github.com
What Humanity Needs To Flourish In The Next Decade | NOEMA noemamag.com
Reverse Alignment reversealignment.ai
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 →
Humanity has the debate about AI consciousness backwards. In my new essay for @economist.com, I argue that consciousness is not an inherent, objective property, but something relational between entities: www.economist.com/by-invitatio...
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...
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...
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
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
Questions of AI consciousness are impossible to answer without first understanding what consciousness is—and that may be less mysterious than we imagine.
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.
Are you Blaise Agüera y Arcas? Show it.
Add the Who’s Who of AI badge to your site or bio. It links back to this profile.
Markdown: [](https://aiweekly.co/whos-who/person/blaiseaguera-bsky-social)