Look to these key metrics and benchmarks to evaluate the performance, capability, reliability, and safety of your AI models ...

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians ...

The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why it matters.

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to ...

A breakthrough from an OpenAI model would have meant nothing without humans to make sense of it.

The closest the field has come to solving the planar unit distance problem, first proposed in the 1940s, was in 1984. Now, OpenAI claims an internal model has cracked the puzzle.

Project Valhalla's JEP 401 will bring value classes to JDK 28, removing object identity from Java types in a 197,000-line change twelve years in the making ...

OpenAI's AI model solved the unit distance problem posed by Paul Erdos in 1946 The AI found a counterexample disproving Erdos's conjecture on unit-distance pairs The solution shows unit-distance pairs ...

OpenAI claims its model solved a famous geometry problem that has eluded the world’s greatest mathematicians for 80 years — a breakthrough hailed as evidence of the bot’s creativity and “intuition.” ...

In October 2024 I attended a workshop at Harvard University where mathematicians talked through the uses of artificial intelligence in their field. Most were less worried about the future of math than ...

AI makes a major breakthrough in a math problem that had stumped experts for decades by Paul Arnold, Phys.org edited by Gaby Clark, reviewed by Robert Egan Editors' notes The GIST ...