AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we ...

Experts gave AI 10 math problems to solve in a week. OpenAI, researchers and amateurs all gave it their best shot ...

Artificial intelligence has attained an impressive series of feats—solving problems from the International Math Olympiad, ...

UC Berkeley math professor Nikhil Srivastava met with researchers on a mission to create a new way of assessing the mathematical capabilities of AI.

Scientists at Fudan University, Peking University, and the Shanghai Academy of AI for Science ...

Little progress had been made in solving Ramsey problems since the 1930s. Now, researchers have found the answer to r(4,t), a longstanding Ramsey problem that has perplexed the math world for decades.

University researchers are exploring a new way to use large language models (LLMs) for middle school math education. Researchers at George Mason University and William and Mary University have created ...

Working memory is like a mental chalkboard we use to store temporary information while executing other tasks. Scientists worked with more than 200 elementary students to test their working memory, ...

Ahead of Valentine’s Day, Robinson unveiled a new set of equations that translate romantic phrases and symbols into mathematics. To create them, he drew on disciplines ranging from trigonometry and ...