New AI research helps hunters zero in on the pythons doing the most damage in Florida's Everglades.

After a previous solution angered mathematicians, the company characterized the new release as being more responsive to ...

The company said that most results were produced in a response to a single prompt given to a single AI agent.

OpenAI has released a large collection of mathematical research produced by an internal frontier ...

OpenAI plans to release hundreds of AI-generated math solutions on GitHub, including formal Lean 4 proofs for longstanding ...

Less than a month after OpenAI set off a mathematics firestorm by announcing it had solved one of the field’s most challenging problems, the AI company dropped more than 700 new research papers ...

Mathematicians love to collect elegant, profound questions that defy proof: the longer the holdout, the better. And one day ...

OpenAI beat humans to solving the Navier-Stokes problem, but mathematicians say the AI's solution isn't telling them much.

In a year of unthinkable math progress, as increasingly powerful AI systems have cracked conjectures that had long stumped humans, OpenAI published a breakthrough on Tuesday that represents the most ...

Mathematics has been one of humanity’s most creative endeavors, akin to painting and poetry. Now, mathematicians are trying to save it from the brute force of AI. “The artists and the musicians have ...

Researchers at OpenAI say one of its unreleased models solved a mathematical puzzle that has eluded mathematicians for generations.

OpenAI’s recent claim of solving a Millennium Prize problems causes both celebration and controversy ...