Skip to content
DraconiticResearch
Search Sources API
201,683 studies31 sourcesUpdated 14 min ago
PreprintarXiv licencearXiv

GPT, the Counterexample Machine

  • Suvrit Sra
Open at sourcePDFDOICite

Abstract

This document reports over 15 counterexamples found using GPT Pro over the course of 12 months, for problems in combinatorics, number theory, convexity, analysis, and other areas. The counterexamples concern both (reasonably) well-known problems as well as lesser known instances. The counterexamples are accompanied by the repo https://github.com/suvrit/count-ex-machina, and we warmly welcome new contributions toward helping building a rich \emph{``open-source countex library.''}

Related

  1. A counterexample to a conjecture of Duncan on versal actions
    Federico Scavia
    HALPreprintLicence not statedAlgebra & number theoryHAL
  2. A counterexample to Reich's fixed point problem
    Luong Van Nguyen
    arXivPreprintCC BY-NC-ND 4.0Full textGeometry & topologyarXiv
  3. A Counterexample to the Eventual Stability Conjecture
    Thomas J. Tucker, Zheng Zhu
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  4. A non-klt counterexample to Shokurov's index conjecture
    Yusuke Nakamura, Kohsuke Shibata
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  5. A Counterexample to Cohomological Rigidity of Toric Manifolds
    Tao Gong, Yingxin Li
    arXivPreprintCC BY 4.0Full textGeometry & topologyarXiv

Cite

BibTeXRIS
BibTeX
@misc{sra2026counterexample,
  title = {{GPT, the Counterexample Machine}},
  author = {Suvrit Sra},
  howpublished = {arXiv},
  year = {2026},
  month = aug,
  doi = {10.48550/arxiv.2608.29595},
  eprint = {2608.29595},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2608.29595},
}
RIS
TY  - UNPB
TI  - GPT, the Counterexample Machine
AU  - Suvrit Sra
PY  - 2026
DA  - 2026/08/30
PB  - arXiv
DO  - 10.48550/arxiv.2608.29595
UR  - https://arxiv.org/abs/2608.29595
AB  - This document reports over 15 counterexamples found using GPT Pro over the course of 12 months, for problems in combinatorics, number theory, convexity, analysis, and other areas. The counterexamples concern both (reasonably) well-known problems as well as lesser known instances. The counterexamples are accompanied by the repo https://github.com/suvrit/count-ex-machina, and we warmly welcome new contributions toward helping building a rich \emph{``open-source countex library.''}
ER  -