A simple puzzle about colored bead necklaces turns into an elegant visual proof of one of number theory's most foundational ...

Prime numbers scatter unpredictably across the number line, yet a single logarithmic formula estimates exactly how many exist below any number you choose. This is one of mathematics' most elegant ...

In the spirit of my recent “Math 2.0” talk on new ways to use AI assistance to enhance the human understanding of mathematics ...

From MGM+ Netflix, the supernatural horror series that became the most-watched show in MGM+ history, is now streaming Seasons ...

Jacques HadamardMathematical papers contain proofs. However, reading a proof does not necessarily reveal the thinking that ...

Unlike other recent AI proofs, this one has been unpacked by human experts. The implications, one mathematician said, are ...

This series has dealt with prime numbers. The first article “The Fermat Test — Another Principle of Primality Testing” ...

OpenAI says it solved more than 370 math problems. Mathematicians say there could be breakthroughs in the bunch, if verified ...

This is a guest post by Thomas Hales. This blog post was initially written in a different file format and converted using AI. — T.] Mathematicians have been weighing in on what they value ...

Just recently, GPT-6 Astra has made new progress on the Goldbach Conjecture. Netizen Captain Sude announced that Astra has successfully proved a Goldbach-like conjecture concerning the Liouville ...

On the last day of August, a human mathematician kicked off a flurry of advances on one of the most famous problems in number theory — and was almost instantly superseded by AI. Julia Stadlmann of the ...

AI company Anthropic has created a formalised proof of Fermat’s last theorem. It took just 11 days for a group of AI agents to complete the task, confirming that the human-found proof proposed in the ...