OpenAI's unreleased Astra model has produced what its October 2025 announcement only pretended to: genuine solutions to ten long-standing open problems in mathematics and theoretical computer science, ...

OpenAI announced its next major AI model Saturday, and it did so in the third paragraph of a blog post called “Ten advances ...

TL;DROpenAI says its unreleased Astra model solved ten open maths problems, shipping Lean proofs on GitHub for roughly $2,000 in compute OpenAI says an internal version of its next major model, called ...

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 ...

Hybrid hash function post-quantum cryptography research: a new paper on IACR ePrint formalizes a construction whose collision ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

Combined extreme climate events are likely to become more common in the future if carbon emissions continue to rise, a paper in Nature suggests. The study finds that the frequency of compound ...

STEM-OPT Visa Eligible: The STEM Optional Practical Training (OPT) program allows full-time, on-campus international students on an F-1 student visa to stay and work in the U.S. for up to three years ...

Time-domain simulation of woodwind instruments typically involves the development of separate discrete-time sub-models for the excitation mechanism and the resonator. These components have largely ...

The card game Set has long inspired mathematicians to create interesting problems. Now, a technique based on large language models (LLMs) is showing that artificial intelligence (AI) can help ...