newsunderstandingai.orgIrregularChat: AI & Autonomy3w ago
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
newslinkedin.comIrregularChat: AI & Autonomy1mo ago
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
In September 1985, the US Air Force carried out a landmark anti-satellite test by using an F-15 Eagle to launch an ASM-135 missile and destroy the defunct Solwind P78-1 research satellite. This was th