技术博客

近日，AI技术在数学基础研究领域取得突破性进展：依托自主研发的AI框架ScaleAutoResearch-Ramsey，研究人员成功将拉姆齐数R(3,17)的下界从92提升至93。这一成果打破了自1994年以来长达三十年未被刷新的纪录，标志着“AI数学”正深度赋能组合数学中长期悬而未决的极值问题求解。该框架通过高效搜索与可验证推理协同机制，在海量候选结构中精准识别出满足R(3,17) > 92的新构造，为下界突破提供了严格数学证据。