AI models have entered a new era of problem-solving, successfully tackling long-standing mathematical conjectures—such as Erdös’s Unit Distance Problem and complex electrical flow problems in CS theory—through advanced reasoning and formal proof verification. This capability extends into creative domains, where AI is producing literature that challenges traditional distinctions between human and machine authorship. As these models accelerate, the role of humans may fundamentally shift from being primary solvers to high-level curators who define meaningful questions and interpret the solutions generated by artificial intelligence.
Mathematicians Ben Green and Mehtaab Sawhney have developed a new counting technique for prime numbers, utilizing tools from additive combinatorics like Gowers norms to explore the distribution of primes, specifically those fitting the form p² + 4q².
