研究人员发现了一个三块交替方向乘子法(ADMM)在第三个约束块为单位矩阵时的收敛对例。他们利用Codex和GPT-5.6 Sol等AI工具,构造并验证了一个明确的有理数对例,该对例产生了一个有界的非收敛轨道。通过进一步使用Kimi Code和Kimi K3等AI进行研究,探索了乘子松弛技术以恢复收敛性,发现小的对偶步长可能有效,而任何正的相对步长都不能普遍适用。 AI
影响 展示了AI在高级数学研究和定理发现方面的能力。
排序理由 该条目是arXiv预印本,详细介绍了AI辅助的数学发现。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →