For over 150 years, a rule of thumb dating back to the French mathematician Pierre Ossian Bonnet has been accepted in surface theory: if the metric ...

The errors that quantum computers make are holding the technology back. But recent progress in quantum error correction has ...

Artificial intelligence is a game changer across many fields these days and mathematics is no exception. Yet, the rapid acceleration of its ability to solve some of arithmetic’s most challenging ...

The introduction of AI into mathematics represents a seismic shift in what it means to do math. When you purchase through links on our site, we may earn an affiliate commission. Here’s how it works.

Valued at $1.6 billion, a tiny start-up called Axiom is building A.I. systems that can check for mistakes. Axiom Math’s founder and chief executive, Carina Hong, right, and the chief technology ...

Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into formats machines can verify using tools such as Lean and Coq.

David Cutler is in the spotlight for his work on a tasty-sounding mathematics problem. In January, the New York Times featured a research paper authored by Cutler and Neil Sloane, the founder of The ...

The parity-identification problem fits naturally into this landscape. Parity is a global property, insensitive to most local details. In this respect, it resembles many other quantities studied in ...

Mental math shortcuts suggest future STEM performance—and gender is a significant predictor What is 29 + 14?

Baez called for the development of new mathematics — he called it “green” math — to better capture the workings of Earth’s biosphere and climate. For his part, he sought to apply category theory, a ...

A method for making quantum computers less error-prone could let them run complex programs such as simulations of materials more efficiently, thus making them more useful ...

When your AI assistant calculates revenue, bonuses, VAT or financial summaries, it isn’t doing math. It’s telling a convincing story about numbers.