All news

DispatchErdős problems

The Erdős register grades how much the machine actually did

Terence Tao's community wiki sorts every AI contribution into four classes of primary work — standalone, alongside the literature, building on it, in collaboration with humans — plus secondary roles like literature search and formalization, and colour-codes outcomes down to "incorrect" and "unverified". Eleven disclaimers accompany the table. It is the closest thing the field has to an audited ledger.

MathPaperAI
Sources

Source 1 of 2

erdosproblems wiki

github.com

Terence Tao's community wiki sorts every AI contribution into four classes of primary work — standalone, alongside the literature, building on it, in collaboration with humans — plus secondary roles like literature search and formalization, and colour-codes outcomes down to "incorrect" and "unverified".

Open original

Summary

Eleven disclaimers accompany the table. It is the closest thing the field has to an audited ledger.

  1. 01erdosproblems wiki
  2. 02erdosproblems.com