GPT, the Counterexample Machine
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.''}
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.29595
curl -X POST /api/v1/records/arxiv/2608.29595/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.29595/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'