Shayan Oveis Gharan has won the Abacus Medal for using tools from across mathematics to boost the power of algorithms.

AI is increasingly being used as collaborators in mathematical research rather than simply as computational tools.

For more than a decade, mathematicians have been unable to settle the question of whether the ABC conjecture has been solved.

Claude Fabel 5 disproved the Jacobian conjecture over the weekend, landing days after the capabilities of China's Kimi AI became the biggest force moving bitcoin markets.

Don't underestimate the power of a yes-or-no question. Some of the toughest computing problems boil down to thousands of tiny ...

Abstract: The increasing variety of products has resulted in a rise in production errors, primarily due to more complexity in manufacturing processes. This paper proposes a data-driven inline ...