#proof systems

Ultra-fast AI proof checking: what a new maths result means for verifying huge data

Researchers have found a way to check approximate facts about enormous datasets using only a tiny sliver of the data, twice over. Here is why that matters.