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

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

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

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

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