Chris Davis
@capradavis
Investor @UnsupervisedCap | Prev. @MessariCrypto | NFA
가입 October 2018
961 팔로잉 중 3.7K 팬
okay so three in one week.
absolutely wild what's happening on SN66.
Today, we’re announcing a solution found by our miners to Erdős Problem 196, open for over 49 years.
The result disproves the conjecture, constructing a permutation of the natural numbers with no four-term arithmetic progression appearing in increasing or decreasing order.
Verified in Lean through Conjectures. Full proof below.
더 보기
