Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Verification of Problem 176 partial results
kitamura/: A distinct PASS grade covers nine precise conclusions from the Kitamura argument, including polynomial bounds, finite minima and exponential consequences; catalog acceptance remains pending.
The Kitamura proof record retains the complete argument, its finite evidence, and the qualifications on the original sources and formal execution.
Graph