For 20 years, this computational linguistics competition has inspired new generations of innovators in AI and language ...

Gerd Faltings shocked mathematicians around the world for his 1983 proof of the Mordell conjecture, which brought together ...

Gerd Faltings proved a conjecture that had been unsolved for six decades, using connections between numbers and geometry.

New benchmark study results show leading AI models, including ChatGPT, Claude, and Gemini, still lag humans in visual math reasoning.

Science in meter and verse ...

A 17-year-old student recently amazed millions of people worldwide by ranking 12th in the preliminary round of a global math competition, despite being up against formidable rivals from top ...

VUB's Data Analytics Lab has published new results showing that it is possible to develop original mathematical proofs using commercial language models. In a paper posted to the arXiv preprint server, ...

Recently, I’ve spent a lot of time using AI to work on Erdős problems. The work itself is technical, but the lesson it ...

The American workforce expects an unmet need for over a million employees to fill STEM-related jobs by 2030. Credit: Allison Shelley for EDUimages The Hechinger Report covers one topic: education.

Dr. Clayton is a mathematician. Candidates for quantitative jobs — like those on Wall Street or in Silicon Valley — are sometimes asked offbeat questions such as: How many Ping-Pong balls fit in a 747 ...