Scientists have solved a long-standing geometry problem by discovering the first compact Bonnet torus pair after over a century of research.

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 ...

Van Vleck’s largest lecture hall was filled to the brim for popular YouTuber Grant Sanderon’s talk on high-dimensional ...

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.

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.

Here’s what you’ll learn when you read this story: Large language models (LLMs) like ChatGPT show reasoning errors across many domains. Identifying vulnerabilities is good for public safety, industry, ...

One idle evening last October, Mehtaab Sawhney took up an old pastime. He began perusing the website erdosproblems.com, an updated record of the 1,179 conjectures left behind by the eccentric and ...

Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is the backbone of AI, but mathematicians are also turning to these tools for tasks ...

Do you stare at a math word problem and feel completely stuck? You're not alone. These problems mix reading comprehension with complex math concepts, making them a common hurdle for students. The good ...

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 to measure distance ...

An error has occurred. Please try again. With a The Portland Press Herald subscription, you can gift 5 articles each month. It looks like you do not have any active ...