TY  - RPRT
TI  - OEIS Open: How many conjectures can language models turn into theorems?
AU  - Tom Adamczewski
PY  - 2026
UR  - https://arxiv.org/abs/2608.11941
ID  - 2608.11941
ER  -