GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that ...

A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses ...

A 23-year-old with no advanced math degree used ChatGPT-5.4 to generate a novel proof for an Erdős problem unsolved for over ...

The International Mathematical Olympiad (IMO) is probably the most prestigious competition for preuniversity students. Every year students from around the world compete for its coveted bronze, silver ...

You enter a cave. At the end of a dark corridor, you encounter a pair of sealed chambers. Inside each chamber is an all-knowing wizard. The prophecy says that with these oracles’ help, you can learn ...

Discrete mathematics gets easier when you know how to approach proofs. Direct reasoning, induction, and contradiction each have specific steps that can be learned and practiced. Pairing these methods ...

There’s a curious contradiction at the heart of today’s most capable AI models that purport to “reason”: They can solve routine math problems with accuracy, yet when faced with formulating deeper ...

Forbes contributors publish independent expert analyses and insights. Dr. Lance B. Eliot is a world-renowned AI scientist and consultant. In today’s column, I examine an insightful AI research study ...

Most famous equation: Einstein's E = mc2, which means energy is equal to mass times the speed of light squared. Known digits of pi: More than 105 trillion digits Digits of pi NASA uses for equations: ...