👤 Terence Tao Person

OpenAI claims its newest internal AI model has produced 372 mathematical and theoretical computer-science results, just one month after the company announced an AI-assisted solution to the Navier–Stok

OpenAI reportedly spent millions in compute to solve a famous Millennium Problem involving the Navier-Stokes equations, becoming the first AI system used to produce a solution to one of mathematics’ m

The post argues that OpenAI’s claim to have solved the Navier-Stokes equation has been met with skepticism from prominent mathematicians, including Terence Tao and Tristan Buckmaster. Buckmaster says

James Wang argues that the recent collapse of Leopold Aschenbrenner’s hedge fund, Situational Awareness, is a broader example of the intellectual arrogance common in frontier AI lab culture. He compar

The article examines the growing but unsettled debate over whether AI systems, especially “large reasoning models” (LRMs), truly reason or merely appear to do so. Recent years have produced striking s

Recent claims from researchers suggest that generative AI tools, such as ChatGPT, have solved some Erdős Problems, a collection of over 1,000 mathematical questions. OpenAI celebrated this achievement

Recent claims from researchers suggest that generative AI tools, such as ChatGPT, have solved some Erdős Problems, a collection of over 1,000 mathematical questions. OpenAI celebrated this achievement