Last week, OpenAI shocked the mathematical community by revealing that one of its internal artificial intelligence (AI) ...

OpenAI makes big splash with AI finding math problem breakthrough. Real lesson is to use AI to find counterexamples. An AI ...

An artificial intelligence (AI) model has solved an 80-year-old math problem in a feat hailed as a major milestone for AI's mathematical ability. The planar unit distance problem, first posed by ...

For nearly 80 years, mathematicians have struggled to solve a classic geometry puzzle first posed by Paul Erdős in 1946: the ...

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.

Only a few months ago, the question felt mostly philosophical: if artificial intelligence can help solve open math problems, ...

An 80-year-old challenge in geometry has been cracked by an artificial-intelligence chatbot after a single prompt from mathematicians at the technology firm OpenAI. The company, based in San Francisco ...

Google’s latest milestone comes just days after OpenAI said one of its AI models cracked the famous “planar unit distance ...

OpenAI says an AI reasoning model disproved an 80-year-old Erdős geometry conjecture, raising new questions about AI’s role ...

News that large language models (LLM) have made major advances in solving Erdős problems – a set of problems formulated by the renowned 20 th-century mathematician Paul Erdős – has created an ...

Google DeepMind said AlphaProof Nexus solved nine open Erdős problems using Lean-verified proofs. The claim has sharpened ...

What started as a simple experiment has fuelled a wider public debate about the ethics of AI, privacy, and the limits of generative models. Google's latest AI image-generation model has caused a row ...