9月15日16点,我院金融科技系刘翔宇老师在学院423举办题为《从陈景润到AI时代——一个“反转哥德巴赫”的探索故事》,介绍他从2025年4月开始的AI辅助进行的跨学科研究——连续合数区间表示素数。

刘老师向2025级金融专硕学生介绍他的研究动机,指出自己在少年时代深受陈景润艰苦环境下潜心研究哥德巴赫猜想事迹的感召,一直关注哥德巴赫猜想研究进展。2024-2025学年春季学期伊始,学校开展人工智能使用培训,动员老师将AI工具融入教学、科研,在这样的背景下,他展开与deepseek的对话,询问哥德巴赫猜想最新进展,了解到猜想提出三个世纪以来,强哥德巴赫猜想依然未被证明,但已完全验证了所有小于 4 × 1018的偶数,进而刘老师想到了现在看来极具颠覆性的问题:素数能表示为合数之和吗?在问AI之前,刘老师手工验证了几个小素数,13=4+9,17=8+9,19=9+10,23=6+8+9...47=15+16+16,于是向deepseek说出大于13的素数可以表示为连续合数之和(type 1)或连续合数之和加上连续区间内的一个合数(type 2),deepseek开始建立这个猜想的数学表达,并输出c++验证代码,多达2000组的对话就这样围绕这个猜想形成了,而伴随对话的是接近1000次实验,在AI的帮助下,刘老师验证了108以内的大于13的素数,实验结果显示了清晰的分类:17、19、23是仅有的三个仅具有type 1的素数,有948个素数仅具有type 2,其余的548万多素数同时具有两种类型的表示,由于算力有限,刘老师没有开展108以上的素数完整分类,但是他进行了对 1012 ≤ p ≤ 1015的随机抽样实验,检验了窗口长度 k = 2 的type 2表示的普遍性。此外,在 108 < p ≤ 109区间内进行了针对性反例搜索,覆盖超过 4500 万个素数,没有发现猜想被破坏。

刘老师的这一研究形成的论文已经在中国科学院科技论文预发布平台上线(https://chinaxiv.org/abs/202608.00166),也在由欧洲核子研究组织(CERN)数据中心支持的科研数据存储和共享平台zenedo上线(https://zenodo.org/records/20396873)。

此次讲座让在场学子深切感受到,AI时代做研究,既需要打破常规的创新思维,也离不开善于借力AI的协作意识。从少年时对陈景润事迹的感召,到向AI提出“素数能否表示为合数之和”这一反向问题,再到与AI完成数千组对话、近千次实验,刘翔宇老师的探索证明:真正有价值的突破,往往始于一个不循常规的提问,成于人与AI的反复碰撞与验证。对于青年学子而言,重要的不是重复某个具体结论,而是学会在AI辅助下大胆假设、小心求证,把一闪而过的想法转化为可检验的命题。这场讲座不仅是一个猜想的验证之旅,更是一次关于创新思维与AI协同的生动示范——敢于反向思考,善于借力AI,正是这个时代赋予年轻一代的独特机遇。
一审一校|袁 威
二审二校|白 磊
三审三校|陈晓昕
