Glossary · Term

conjecture

← all terms

Definition

Plain language

A mathematical claim that people believe is true but nobody has proven yet.

As stated in the literature

An unproven proposition in mathematics, often a named open problem, asserted as likely true but lacking a formal proof; resolving it requires either a proof or a counterexample.

Also called: conjectures

Why it matters: Conjectures mark the frontier of mathematical knowledge and guide where new proof techniques and discoveries are needed.

For example, mathematicians may strongly suspect that a certain pattern holds for every number, yet without a proof it stays an open conjecture.

Heard on the show

“The authors' conjecture is that simple: the first-party harness gives the model an explicit ask-the-user tool.”
Episode 195 — Why 'Be Careful' Does Nothing for AI Coding Agents, and What Does

Mentioned in 8 episodes

  1. 195
    Why 'Be Careful' Does Nothing for AI Coding Agents, and What Does
  2. 188
    A Coding Agent Found a Hole in a Peer-Reviewed STOC Proof for Five Dollars
  3. 159
    Can a Coding Agent Run Its Own Robot Experiments Overnight, With No Human Resetting the Scene?
  4. 149
    When Cornering a Chatbot Makes It Lie: J.P. Morgan's Case for 'Playing Dead'
  5. 133
    How MiniMax Turned a Reward-Hacking Disaster Into Olympiad Gold
  6. 075
    Growing Code and Proof Together: Verified Systems in Ten Hours Instead of a Year
  7. 067
    An AI Just Solved a 1996 Erdős Problem—and the Simplest Agent Won
  8. 029
    Why Forty-Eight Percent on FrontierMath Isn't the Real Story in DeepMind's New Math Paper

Related concepts

Related terms