4 papers
math.CO2026
A Counterexample to an Eternal Domination Conjecture
Tom Adamczewski, William F. Klostermeyer
A graph with 243 vertices is shown having , disproving the Gamma-Theta conjecture for eternal dominating sets.
math.RA2026
A counterexample to Köthe's conjecture and a question of Rowen
Tom Adamczewski, Bernhard Böhmler, Rene Marczinzik
We construct a counterexample to Köthe's conjecture and use this to also answer a question due to Rowen.
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…