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