5 papers
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.
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.
FrontierMath Erdős
Tom Adamczewski, Thomas F. Bloom
We introduce FrontierMath Erdős (FME), a benchmark of 68 Erdős problems that are open as of August 2026. To solve a task in FME, AI systems must resolve (prove or disprove) one of…
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…
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…