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

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

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

OpenAI’s AI model solved an 80-year-old Erdős math problem, marking a breakthrough in AI-assisted scientific reasoning and ...

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.

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

Kaleidocycles are flexible polyhedral structures composed of rigid tetrahedra connected along their edges to form rotating ...