AI is now helping produce research-level mathematics, but experts say verifying proofs not generating them is becoming the ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.

A new report from OpenAI and a group of outside scientists shows how GPT-5, the company’s latest AI large language model (LLM), can help with research from black holes to cancer‑fighting cells to math ...

A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working on with my student N. Alpay. Not an Erdős problem, but original research.

In addition to ascertaining that the internal vitality of the mathematical sciences is excellent, as illustrated in Chapter 2, the current study found a striking expansion in the impact of the ...

Most people in the math education space agree that students need to be fluent with basic math facts. By the time kids are in upper elementary grades, they should be able to produce the answer to 6x3 ...

This summer, a popular Yale program that provides undergraduates with valuable mathematics research experience will undergo some intriguing addition of its own. For the first time, the Summer ...

In the minds of many people, math lives in the classroom—on blackboards, in textbooks, and in tests. New research from Amber ...