Tag
#theoretical AI
2 stories taggedtheoretical AI.

Explained
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.
3 min read

Explained
Testing AI Fairness Rules Is Easy. Proving They Hold Is a Different Problem Entirely
New research finds that a mathematical shortcut linking two kinds of AI auditing breaks down the moment you try to verify, not just test, that a system behaves consistently.
3 min read