Comment by kbr-
12 hours ago
Shameless self-plug: I created an autonomous math researcher. It already solved a 12 year open problem in proof complexity which lead to a publication (and proof complexity experts are already working on simplifications and generalizations of the proof, as I've been told by one of them). This publication is an important step in Cook-Reckhow program in answering the NP vs coNP question.
The autonomous researcher records every research cycle in a public notebook.
Framework: https://github.com/kbr-/math-research/ Public notebook: kbr.is-a.dev/math-research/
The publication: https://arxiv.org/abs/2609.23015
Is this not just a pre-print, not a publication?
Right. I thought preprints are a subset of publications. Yes it's a preprint.
1 reply →