论文Agent 与开发者多源确认精选12:10论文证明路径结构最大化图索引随机游走范围这是篇挺硬核的数学证明论文,作者用AI辅助证明了关于图同态的BHM猜想,对图论和概率论研究者可能有参考价值。#OpenAI#GPT-6#图论#随机游走10 个信源在谈事件专题aarXiv: OpenAI@Yinfeng Zhu11 个信源在谈原文稍后读已读值得跟进有用关注 OpenAI
论文Agent 与开发者精选11:12新论文提出无长诱导路径图着色新下界朋友A对朋友B说:刚看到一篇新论文,用Claude和GPT Pro辅助证明了图论里的一个新结果,对无长诱导路径图的着色下界进行了改进,挺有意思的。#Claude#GPT Pro#图论#着色问题aarXiv: Anthropic@Sang-il Oum原文稍后读已读值得跟进有用关注 Claude
论文10:32多分隔符多面体的规范面研究搞图分割优化的话,这篇把多分隔符问题的多面体结构讲清楚了,还给了路径情况的完整刻画,值得翻翻。#多分隔符问题#多面体#整数规划#图像分割aarXiv cs.LG@Bjoern Andres 等 5 人原文稍后读已读值得跟进有用关注 多分隔符问题
论文11:13完全二叉树的行路径宽度下界问题获解OpenAI的GPT-5.6 Sol Pro帮人解决了一个2022年的数学难题,想知道AI怎么证明图论下界?看这篇。#GPT-5.6#OpenAI#图论#路径宽度1 个信源在谈事件专题aarXiv: OpenAI@Jędrzej Hodor, Piotr Micek2 个信源在谈原文稍后读已读值得跟进有用关注 GPT-5.6
论文10:13OpenAI研究证明指数多个电路双覆盖这篇论文给出了一个漂亮的下界:符合条件的立方图至少有2^(n/2-1)个电路双覆盖,和图论猜想完美匹配,图论爱好者可以看看。#OpenAI#电路双覆盖#立方图#图论aarXiv: OpenAI@Radek Hušek, Robert Šámal原文稍后读已读值得跟进有用关注 OpenAI
论文11:35等角紧框架的Singer-Zauner间隙:不存在性证明等角紧框架是信号处理和量子信息中的核心工具,这篇论文解决了长期悬而未决的间隙问题,做相关理论研究的数学家和工程师值得关注。#等角紧框架#Singer-Zauner间隙#图论#信号处理aarXiv: OpenAI@Matthew Fickus 等 3 人原文稍后读已读值得跟进有用关注 等角紧框架
论文01:10用强化学习发现高实现数的最小刚性图这项研究用强化学习解决了刚性理论中的极值搜索难题,做图论或机器人运动规划的开发者可以直接借鉴其方法。#强化学习#图论#刚性理论#Henneberg移动aarXiv cs.LG@Oleksandr Slyvka 等 4 人原文稍后读已读值得跟进有用关注 强化学习