一名本科生利用 GPT-5.6 Sol Max 解决了图论中两个长期存在的公开问题：Imbalance Conjecture 和 Teschner's Bondage-Number Conjecture。该学生独立验证了 AI 生成的证明和反例，并将它们作为预印本提交到 arXiv 和 Figshare。这些结果尚未经过同行评审，但展示了 AI 在高级数学研究中日益增长的能力。 AI
影响 展示了 AI 在解决复杂理论问题方面的能力日益增强，有可能加速数学和计算机科学领域的研究。
排序理由 用于解决理论计算机科学开放问题的 AI 模型，以预印本形式发布。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
