Tao

OpenAI has claimed a solution to alternatives C and D of the Navier–Stokes Millennium Prize Problem, according to a blog post analyzing the result. In the same week, two other groups announced finite-…

Large language model agents have improved lower bounds on two classic mathematical inequalities, the first autocorrelation inequality and the Erdős minimum-overlap constant, using automated constraint…