Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Verification of the OpenAI original branch
full_review: Retains the review of the pro-3 tower, norm-one construction, geometric argument and the E90 and E92 transfers relative to seven external premises.
source_corrections_review: Retains the review that accepted the two source-record corrections and made the prior mathematical verdict final for the exact candidate.
The full review passes the pro- tower, the norm-one construction, the geometric argument and both problem transfers, requiring two source-record corrections. The source-corrections review accepts those corrections and makes the verdict final for the exact candidate.
Linked from (1)
Graph