Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_01_10_barreto_price: For every C there is a K such that infinitely many triples with a plus b above n plus C log n have n! over a! b! with a K-smooth denominator; an argument of GPT-5.2 Pro formalized by Aristotle, adapting the proof of 728.
Linked from (1)
Graph