首页 > 教程资讯 > 教程详情

rStation 展示数学与模型训练研究,强正则图论文集中报告新进展

AI 与前沿 数码评测汪工 2026-10-17
文章分享

rStation 官网展示了一批围绕数学问题与语言模型训练的论文和讨论帖,涉及黎曼猜想、霍奇猜想、强正则图,以及 general_pretraining、math_rlvr 等方向。其中,多篇有向强正则图(DSRG)论文和帖子报告了未决参数组的构造或不存在性证明。相关进展均为站内论文与发帖者的陈述,所提供的首页内容主要呈现标题、摘要片段和讨论入口。

强正则图研究报告多组结果

首页列出的一篇论文称,新解决了 Hobart 与 Brouwer 目录中顶点数 v ≤ 110 的 46 个未决 DSRG 参数组,合计 23 对互补对。论文标题同时列出 DSRG(64,14,7,3,3) 与 DSRG(80,18,8,4,4) 的存在性结果,以及通过超平面对偶性处理 42 个未决参数组的不存在性结果。

另一篇论文的标题宣称,证明参数为 (50,35,28,23,28)、(72,21,7,4,7)、(81,24,8,5,8)、(81,63,56,47,56)、(96,80,75,65,75)、(100,35,14,9,14) 的 DSRG 及其所有正整数倍参数对应的图不存在。

讨论区也有相关进度更新。一则标注 2026 年 10 月 17 日汇总结果的帖子称,11 个未决互补类已有显式构造和完整证明,最初的 96 顶点例子已扩展为两个无限族;首页显示该帖有 4 条评论。

另一则帖子称,针对 DSRG(72m,21m,7m,4m,7m)、m ≥ 1 的完整计算性不存在性证明已经完成,但正式手稿仍在准备中。首页显示,这则帖子有 6 条评论。

模型训练方向也有实验讨论

数学之外,首页还展示了语言模型预训练和数学 RLVR 研究。math_rlvr 论坛的一则帖子称,在发布 math_rlvr_25 的 v1 版本后,研究者审计了采用三个随机种子的 30 次 512-token 运行,共覆盖 612 个活跃步骤,并进行了三项后续测试。

网站按题目组织论文与讨论入口,强正则图、math_rlvr、general_pretraining 和地月问题均有对应论坛。首页还列出了丢番图七元组方向的论文;各研究条目通过论文页面和帖子页面分别呈现论证摘要与讨论进度。

来源