In a remarkable leap for neuroscience, lab-grown mini-brains, or brain organoids, have demonstrated the ability to solve math problems. These innovative developments provide new insights into ...

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

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...

MIT’s Computer Science and Artificial Intelligence Lab has released a massive, public collection of proof-based math problems gathered from the International Mathematical Olympiad.

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

Spread the loveIn a world where artificial intelligence (AI) is reshaping industries, a groundbreaking method developed by researchers at the University of Pennsylvania is taking AI math problem ...

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