If you're looking for a way to make your next get-together with family and friends more fun, engaging and even educational, ...

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

Neuromorphic computers modeled after the human brain can now solve the complex equations behind physics simulations — something once thought possible only with energy-hungry supercomputers. The ...

In at least two cases, the AI tool was “able to construct an original and valid proof” to unsolved conjectures.

Abstract: We present a multi-way parallel corpus of Math Word Problems (MWPs) in nine languages, including six low-resource languages. To date, this is the largest multilingual MWP dataset available.

Lance Fortnow on the current status and future outlook of solving the P-NP problem.

Xingjie Ni, associate professor of electrical engineering at Penn State, and his team recently developed a new device that can accelerate and dramatically reduce the energy cost of AI computation, ...

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