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
4 stories for“ai mathematics”
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

Released 3 September, Astra found genuine security flaws in testing and posted OpenAI's best-ever reasoning scores, but Artificial Analysis still ranks Claude Fable 5.1 ahead of it on broad intelligence and coding. Pricing matches Fable at 10 and 50 dollars.
Sep 24, 2026

Training an agent to operate an operating system means running an operating system, watching the screen, taking an action and being scored, millions of times over. That work wants breadth across many machines rather than the largest possible GPU.
Sep 1, 2026

Bitcoin crossed six figures for the first time this week, capping a rally that started at the ballot box and accelerated with every crypto-friendly appointment.
Dec 9, 2024
