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 ...
But from the perspective of research mathematicians, and especially young people who are pursuing a Ph.D. in mathematics, ...
Held up as a new route to college admissions, the Classic Learning Test has instead become a remedial high-school graduation ...
A thread posted July 15 on the r/math subreddit claims that OpenAI’s GPT-5.6, guided by a carefully constructed prompt, produced a formal mathematical proof that closes a gap in convex optimization ...