Can a Lightweight Automated AI Pipeline Solve Research-Level Mathematical Problems?

该论文提出并验证了一个针对最新大语言模型优化的轻量级自动化 AI 流水线,证明其能够生成并解决包括国际数学竞赛级及未发表研究级在内的复杂数学问题,且部分成果已通过团队验证并开源。

Lve Meng (University of Science,Technology of China, Zhongguancun Academy), Weilong Zhao (Université Paris Cité), Yanzhi Zhang (Zhongguancun Academy), Haoxiang Guan (Zhongguancun Academy), Jiyan He (Zhongguancun Academy)Tue, 10 Ma🔢 math

Binomial sums and properties of the Bernoulli transform

本文研究了形如 Sn(q)S_n(q) 的广义二项式求和,将其表示为 qq 的幂函数形式,针对斐波那契数、拉盖尔多项式、梅克纳多项式等特定序列给出了显式表达式,并探讨了该求和与 Sn(x+qxq)S_n(x+q-xq) 之间的性质、关系、概率解释及生成函数,同时给出了与阿佩尔多项式相关的恒等式。

Laid Elkhiri, Miloud Mihoubi, Meriem MoulayTue, 10 Ma🔢 math

Concentration of the largest induced tree size of Gn,pG_{n,p} around the standard expectation threshold

本文将随机图 Gn,pG_{n,p} 中最大诱导树大小 T(Gn,p)T(G_{n,p}) 的集中性结果推广至所有满足 pn1/2ln3/2np \gg n^{-1/2} \ln^{3/2} n 的消失概率 pp,并证明了当 n1pn1/2n^{-1} \ll p \ll n^{-1/2} 时,T(Gn,p)T(G_{n,p}) 无法在标准期望阈值处集中。

Jakob HofstadTue, 10 Ma🔢 math