An AI Disproved a Problem Mathematicians Sat On for 80 Years
A general reasoning model was handed a 1946 question from Paul Erdos and returned a 125 page counterexample. No hints, no step by step guidance, no training for the task.
Aug 4, 2026

Search
60 stories for“steps”
A general reasoning model was handed a 1946 question from Paul Erdos and returned a 125 page counterexample. No hints, no step by step guidance, no training for the task.
Aug 4, 2026

RNA polymerase from E. coli transcribed a synthetic eight-letter genetic alphabet using the same signals it uses for natural DNA. The finding, in Nature Communications, means cells may not need rewiring to speak an expanded language.
Sep 6, 2026

Introductory rates on Anthropic's mid-tier model run out at the end of August, lifting the per-token bill by half. Teams that budgeted during the promotion have four weeks to rework the maths.
Aug 3, 2026

Logs are no longer enough when coding agents choose tools and revise plans. Teams need traces that explain goals, actions, evidence, cost and escalation.
Jul 27, 2026

Microsoft is building specialized red, blue and green AI agents for security work, raising the promise of faster defense and the need for tighter control.
Jul 31, 2026

Anthropic's new Opus model targets long-running coding and professional workflows with a 1-million-token context window, adaptive effort and the same API price as Opus 4.8.
Jul 24, 2026

OpenAI spent 2024 rebuilding its flagship around two ideas: a model that sees and hears in real time, and one that stops to think before answering.
Dec 10, 2024

A Chinese startup's R1 model wiped nearly $600 billion off Nvidia's value in a single day, exposing how fragile the AI spending story had become.
Jan 29, 2025

NASA has scheduled three U.S. spacewalks for August, turning routine-looking maintenance into a reminder of the planning behind an orbital laboratory.
Jul 28, 2026
