Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
OEIS Open: How many conjectures can language models turn into theorems?
Tom Adamczewski
We construct OEIS Open, a benchmark based on 492 open mathematical conjectures from the OEIS, formalized in Lean by Tsoukalas et al. Whereas these conjectures had previously been a…
cs.AI2026
MirrorCode: AI can rebuild entire programs from behavior alone
Tom Adamczewski, David Owen, David Rein +4
AI models are rapidly improving at autonomous coding, as shown by benchmark progress and one-off demonstrations such as AI implementing a C compiler. However, existing coding bench…