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

An AI system developed by OpenAI has produced a verified proof addressing a classic problem in discrete geometry first posed ...

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

On May 20, OpenAI said an internal reasoning model had produced a counterexample to Paul Erdős’s 1946 unit distance ...

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

GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that no human had ever considered.

A general-purpose reasoning model, not a math-trained system, produced a new family of point configurations that broke Paul ...

A mathematician will turn a groundbreaking 100-page proof into computer code. The proof tool, Lean, lets users turn proofs written in prose into rules and logic for testing. Kevin Buzzard already uses ...