AlphaEvolve — tisram

Quanta Magazine 2026-04-14-2

The AI Revolution in Math Has Arrived

AlphaEvolve found hypercube structures in permutation groups that mathematicians hadn't noticed in 50 years: not by answering the question posed, but by surfacing a pattern nobody thought to look for. The real capability shift isn't AI proving things faster; it's AI scanning combinatorial spaces too large for human intuition and returning structures that reframe entire research programs. Discovery is being commoditized; the scarce resource is now verification infrastructure and the human judgment to recognize which discoveries matter.

# tags

ai-for-science reliability agentic-ai-viability deepmind ai-and-human-capacity ai-cognitive-dependency ai-economics OpenAI Google

The Economist 2026-04-11-1

AI mathematicians: By devising and verifying proofs, AI is changing how maths is done

Four independent groups racing to formalize proofs in Lean, and Math Inc. translated Viazovska's sphere-packing work in weeks rather than the decade Hales needed for peer review, but DARPA's Shafto names the real bottleneck as trust, not computation. AI's primary value in mathematics is making claims auditable at scale. That separation between generation and formal verification is the architecture every enterprise AI system will eventually need.

# tags

ai-reliability formal-verification enterprise-ai reliability ai-1.0-defensibility agentic-ai-viability

The Atlantic 2026-04-05-2

The AI Industry Wants to Automate Itself

Anthropic says 90% of its code is AI-written; Amodei says that speeds up workflows 15-20%. The gap between those numbers is the story: code generation was never the bottleneck. The real race among frontier labs isn't who automates coding fastest; it's who closes the "research taste" gap between rote execution and the judgment to know what's worth building. Even the incremental version of this race compresses model generations faster than institutions can adapt.

# tags

ai-economics agentic-ai ai-research governance agentic-ai-viability reliability ai-1.0-defensibility