Mathematicians make a breakthrough on Gauss’s riddle, unsolved for 200 years

In his 1801 magnum opus Disquisitiones Arithmeticae, German mathematician Carl Friedrich Gauss wrote about a cyclical mystery ...

OpenAI’s Astra solves 10 long-open math problems and publishes the proofs

OpenAI Group PBC revealed Saturday that an internal version of Astra, the model family it calls its next major release, ...
NextBigFuture

OpenAI Next Major Model Astra Solves Major Math Problems

Sebastien Bubeck of OpenAI says “yes, nonsofic groups exist”—as an example of “many new beautiful results” from Astra, next major OpenAI model. OpenAI published a page and PDF detailing ten advances ...
GitHub

UW Math AI Lab

Math AI Lab at UW The University of Washington Math AI Lab (ai.math.uw.edu) is a research and education organization focused on using AI for math, directed by Vasily Ilin and Jarod Alper. Over the ...