Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...

OpenAI has revealed a breakthrough proof that overturns a nearly 80-year-old geometry conjecture posed by Paul Erdős.

OpenAI makes big splash with AI finding math problem breakthrough. Real lesson is to use AI to find counterexamples. An AI ...

OpenAI says its internal reasoning AI has solved a decades-old discrete geometry problem, overturning a long-held ...

OpenAI announced this week that one of its general-purpose reasoning models made a breakthrough that has grabbed the ...

A new computer program fashioned after artificial intelligence systems like AlphaGo has solved several open problems in combinatorics and graph theory. “I was very happy to have the question answered.

Three mathematicians have laid out proof that solves a long-standing problem in mathematics. Even the mathematician—an Abel ...

Introduces students to ideas and techniques from discrete mathematics that are widely used in science and engineering. Mathematical definitions and proofs are emphasized. Topics include formal logic ...

In an attempt to attract more freshmen to theoretical mathematics, the math department expanded its offerings this school year. Last fall, it introduced the MATH 60 “Modern Mathematics: Discrete ...