“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...”
- #social
- #bluesky
- #self-published