Import AI 472: DeepMind's cheating math agents; populist AI policies; and Forethought theorizes a nightwatchman

Import AI 473: The US's superintelligence strategy; human brain in a mouse skull; and machine hermeneutics

Is the wall AI is hitting in the room with us right now?

Import AI 475: Swarm scaling; Google DeepMind watermarks biology; and the AI science economy

Who chooses what AI gets to do?

Import AI 466: The bitter lesson for robotics, AIs complete week-long programming tasks; and OpenAI's accidental AI hacker

The warning shots will continue until civilization wakes up

Import AI 458: Reckoning with the future; and a singularity story

What AI-driven miracles will happen this year?

AI #161 Part 2: Every Debate on AI

AI discorce.

AI, Ethics, and Society — Home

Import AI 452: Scaling laws for cyberwar; rising tides of AI automation; and a puzzle over gDP forecasting

How much could AI revolutionize the economy?

I’ll write romance novels if AI solves all maths, Chinese Fields winner jokes

As AI models prove they can push the boundaries, mathematicians are grappling with the threat that they could become obsolete.

Introduction to Agents

Discover what actually works in AI. Join millions of builders, researchers, and labs evaluating agents, models, and frontier technology through crowdsourced benchmarks, competitions, and hackathons.

AI co-mathematician: Accelerating mathematicians with agentic AI

We introduce the AI co-mathematician, a workbench for mathematicians to interactively leverage AI agents to pursue open-ended research. The AI co-mathematician is optimized to provide holistic support for the exploratory and iterative reality of mathematical workflows, including ideation, literature search, computational exploration, theorem proving and theory building. By providing an asynchronous, stateful workspace that manages uncertainty, refines user intent, tracks failed hypotheses, and outputs native mathematical artifacts, the system mirrors human collaborative workflows. In early tests, the AI co-mathematician helped researchers solve open problems, identify new research directions, and uncover overlooked literature references. Besides demonstrating a highly interactive paradigm for AI-assisted mathematical discovery, the AI co-mathematician also achieves state of the art results on hard problem-solving benchmarks, including scoring 48% on FrontierMath Tier 4, a new high score among all AI systems evaluated.

The Unbelievable Scale of AI’s Pirated-Books Problem

Meta pirated millions of books to train its AI. Search through them here.

Wisereads Vol. 21 — The latest Howard Marks, Ethan Mollick on AI, and The Communist Manifesto

Import AI 471: Why Hugging Face worries me; space mining; FIve Eyes on AI

Plus, a live event with Robin Sloan!

The Age of Wonders and Terrors

Twenty years ago, when the idea of AI taking over the world in our lifetimes still struck most of us as the unconstrained fantasy of those who knew too much science fiction and too little science, …

Import AI 451: Political superintelligence; Google's society of minds, and a robot drummer

Are there any genies that can be put back in the bottle?