Urgent.News

What's breaking now, across thousands of outlets.

More in Tech

Proved, Certified, Swept, Sampled

A claim in a paper can be backed by very different things. It can have a written proof. It can have a theorem the Lean kernel has checked.

  • Claims can be backed up by written proofs, verified theorems, certificates, or sampling
  • Sampling ten million configurations failing to break a claim is less reliable than other methods

More from Saturday 10 October →