Axiom Math wants to keep AI slop out of mathematics |

It feels like AI is cracking a new math problem every week. Last month, OpenAI alone released719 manuscriptsclaiming solutions to some of the field’s hardest…

The ‘Pain in the Ass’ Math That Could Save Vibe Coding From Itself

Earlier this year, Apple’s security team said that some of the issues formal verification uncovered in its “corecrypto” library, which is used for encryption, could…

Matiks raises $10M to expand its math and puzzle gaming platform |

Over the past decade, head-to-head brain games like QuizUp rocketed in popularity, reaching at one point millions of users. After that, battle royale games like…

AI Came for Math. Now It’s Chasing the Rest of Science

Last week, I attended a talk at MIT by Neil Thompson, who studies progress in computing and artificial intelligence. Over the course of just half…

Registration Opens for the 2026 Eye Level Math Olympiad

, /PRNewswire/ — Eye Level has opened registration for the 2026 Eye Level Math Olympiad (ELMO 2026), inviting elementary and middle school students from around…

OpenAI's math solutions aren't meeting the field's standards yet |

When OpenAI released hundreds of claimed solutions to some of the world’s hardest math problems this week, the frontier lab said that it had consulted…

OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul

OpenAI said today that it has found an AI-generated solution to one of the biggest problems in mathematics—a 200-year-old equation that describes the natural behavior…

MathGPT.ai™ Announces Major Platform Enhancements to Create Superpowers for Higher Education Math Faculty

New Platform Capabilities Deliver Unmatched Faculty Efficiencies, Enhanced Student Learning Experience, Multiple AI Tutoring Modes, and Key Enterprise Security Certifications. /PRNewswire/ — MathGPT.ai™, an emerging…

A New AI Math Startup Just Cracked 4 Previously Unsolved Problems

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used…

The Math on AI Agents Doesn’t Add Up

The big AI companies promised us that 2025 would be “the year of the AI agents.” It turned out to be the year of talking…