media r/LocalLLaMA · 2 小时前 · open_models

Mozilla报告发现中美AI模型能力差距缩小至4.4个月

译自 English → 中文

Mozilla的一份报告指出，中国和美国人工智能模型之间的能力差距已显著缩小，缩减至4.4个月的差异。

分析强调了中国开发者以惊人的速度缩小与美国同行在AI领域技术差距的步伐。

重要性 2/3 r/LocalLLaMA Benchmark results

Prior Labs 发布 TabPFN-3.5，以默认设置击败 2015 年 Otto Kaggle 冠军

Prior Labs 发布了 TabPFN-3.5，这是一个表格基础模型，能够在单次前向传播中预测表格数据，无需针对每个数据集进行训练或调优。该模型在 2015 年 Otto Group 产品分类挑战赛的私有排行榜上得分 0.375，击败了 Gilberto Titericz 和 Stanislav Semenov 取得的原始获胜分数 0.382。

media MarkTechPost · 7 小时前

Nums AI 发布 Causilo，一款在单模型中登顶 TabArena 的表格基础模型

Nums AI 发布了 Causilo，这是一款用于分类和回归的预训练表格基础模型，在 TabArena 的单模型中获得了最高的 Elo 评分。该模型采用上下文学习（in-context learning）方法，将训练行作为上下文存储而非更新权重，其 Apache-2.0 代码和预训练权重已在 Hugging Face 上提供。

arxiv arXiv cs.CL · 1 天前 · 6 次浏览

Stellar Colosseum 利用多智能体推理进行长周期数学研究

Stellar Colosseum 是一个与模型无关的框架，旨在为数学和理论计算机科学领域的长周期研究分配推理资源，以解决语言模型在处理复杂问题时可靠性不足的问题。该系统在构建证明之前探索替代策略，使用就绪门控（readiness gate）判断某条路径是否足够成熟以进行分解，并将证明计划表示为相互依赖的章节级子问题。

arxiv arXiv cs.LG · 1 天前 · 7 次浏览

Stellar Colosseum：面向长周期数学与TCS研究的多智能体框架

作者介绍了Stellar Colosseum，这是一个模型无关的框架，旨在为数学和理论计算机科学领域的长周期研究分配推理资源。该系统在构建证明之前探索替代策略，使用就绪门控（readiness gate）判断某条路径是否足够成熟以进行分解，并将证明计划表示为相互依赖的章节级子问题。

media r/LocalLLaMA · 2 天前 · 3 次浏览

Base-10的Charlie O'Neill认为Kimi和GLM优于Opus 5

Base-10的Charlie O'Neill在最近一期与Dwarkesh Patel合作的节目中讨论了为什么Kimi和GLM模型“几乎客观上”优于Opus 5。