Some math problems don’t reward intelligence — they exploit it. Researchers have found that high-IQ individuals often overthink certain questions, triggering cognitive biases that push them toward ...

AI math proof verification reached a new frontier as DeepMind’s AlphaProof Nexus solved nine open Erdős research problems with Lean-verified proofs, some unsolved for 56 years. The May 2026 Science Ne ...

July 25 - Alphabet's Google unveiled a pair of artificial intelligence systems on Thursday that demonstrated advances in solving complex mathematical problems, a key frontier of generative AI ...

OpenAI's AI model solved the famous unit distance problem, a question that had challenged mathematicians since 1946 ...