ppll
About
Log in
Search
Search
1 result
Said and published
Terence Tao
Bluesky
2 Sept 2025
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
…