Last week, OpenAI shocked the mathematical community by revealing that one of its internal artificial intelligence (AI) models had found a counterexample to a famous conjecture made by legendary ...

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

Company says work on Paul Erdős planar unit distance problem shows advance in AI reasoning ...

OpenAI said one of its internal models had made a breakthrough with a challenge first posed by Hungarian mathematician Paul ...

A long-standing problem in discrete geometry involving how many pairs of points can be exactly one unit apart has been addressed using an artificial intelligence system developed by OpenAI, according ...

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

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

There is something almost offensive about a sky so full of stars and so empty of company. That is what gives Richard ...

The ball rollback is just one of a number of theories for how to control distance, so why not get the pros to try them all in ...

Controversy and posturing have surrounded the USGA and R&A’s announcement that golf balls are expected to be rolled back in 2030 via a change in the distance test. It’s been the conjecture of some ...