We derived three cases of Erdős #776, then found someone had already proved all of them
n₀(5)=14, n₀(6)=16, n₀(11)=27 — correct, machine-checked, and seven weeks late. What we did, what M. Thiim did first, and why we published anyway.
1 articles in this category
n₀(5)=14, n₀(6)=16, n₀(11)=27 — correct, machine-checked, and seven weeks late. What we did, what M. Thiim did first, and why we published anyway.