A first proof-of-concept outcome for the erdosproblems.com - OEIS linkage project: with a useful assist from AI, the OEIS was used to locate a proof in the literature for an Erdos problem that was previously marked as "open". mathstodon.xyz/deck/@tao/11...
Here is a first proof-of-concept demonstration of an actual outcome for the erdosproblems/OEIS linkage project. There are a number of Erdos problems relating to irrationality of specific series. I ask...
