With automated proof-checkers, a problem can be broken up into small chunks, solved bit-by-bit, then reassembled with confidence that every piece is correct. For some, this heralds a new area in ...

Marc Maron plays a great actor in “In Memoriam,” but the comedian and podcaster worried he didn’t have the chops to pull off a key moment in the new movie. “I had to cry, but I didn’t know if I had ...

The best-yet test of artificial intelligence’s mathematical mettle has released its first official round of results. The verdict is that large language models (LLMs) are emerging as useful—albeit ...

As rampant AI use accelerates a crisis in education, University of California professors are pleading with leadership to reinstate college-entrance exams, The Wall Street Journal reports, claiming ...

A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the technology threatens math as a discipline. By Siobhan Roberts Recently there ...

Mathematicians are setting some boundaries. Today, 16 mathematicians in consultation with peers and relevant organizations published the Leiden Declaration on Artificial Intelligence and Mathematics.

Think about placing dots on a flat surface. You want as many pairs as possible to be separated by the same distance. For any amount of dots, what is the greatest possible number of pairs that can be ...

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians. What does that mean for their future? Credit...Illustrations by Yoshi ...

This article is from Proof Positive, our friendly math newsletter that's delivered to your inbox every Tuesday afternoon. Sign up today and read it first. Last week I explained how a then 25-year-old ...

The end of the cold war promised a more peaceful age of international relations, as most nations professed to follow agreed rules in a positive-sum game designed to benefit all. Today, that vision is ...

The Leiden Declaration on Artificial Intelligence and Mathematics, endorsed by the International Mathematical Union and signed by Fields Medal recipient Peter Scholze, calls on mathematicians to ...

Mathematicians warned against rising tech industry influence in a declaration describing the many challenges that AI poses to mathematics research. The timing of the declaration comes two weeks after ...