GPT，反例生成器
GPT, the Counterexample Machine
首次发表
浏览论文内容
中文总结 AI 辅助
该研究报告用GPT Pro在12个月内发现15个以上多领域反例，附带代码仓库，欢迎助力构建开源反例库。
中文摘要 AI 辅助
本文报告了在12个月内使用GPT Pro发现的15个以上反例，涉及组合数学、数论、凸性、分析及其他领域的问题，这些反例既针对知名问题也针对鲜为人知的实例，反例附带代码仓库（https URL），并欢迎为构建丰富的“开源反例库”做出新贡献。
英文摘要
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.''}
发表机构
- TU Munich（慕尼黑工业大学）
机构由 AI 辅助整理，请以论文原文为准。
