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“United States”
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

At GTC Berlin the chipmaker named Ibiden, Samsung Electro-Mechanics, Unimicron, Amkor, KYEC and SPIL, with prepaid reservations and a plan to raise substrate capacity 2.5 times.
Oct 23, 2026

Genie 4 lets users steer a live simulated scene with plain-language prompts and adds ambient sound, music and dialogue. Access starts small, and the last version helped knock games stocks in January.
Oct 28, 2026

Apple's first home hub pairs a seven-inch screen with Siri AI and face recognition for six people, ships on 13 November, and is held back in Europe by a missing assistant.
Oct 15, 2026

Tokyo supplies the money, GlobalFoundries runs the plants at Malta, New York, and Washington takes a bigger equity stake, with the first fab due to produce chips in 2029.
Oct 15, 2026
