差异理论30年突破：不平衡分配的数学新进展
Nikhil Bansal和Haotian Jiang在组合差异理论取得30年来首次重大突破，将Komlós猜想的上界从log(N)^(1/2)改进到log(N)^(1/4)。该算法方法新颖，对运筹学、物理和机器学习均有潜在应用。多位研究者表示新结果让他们更相信Komlós猜想本身是正确的。 
ibobev
关注
提交点赞
评论
点赞
收藏AI评估正成为新的计算瓶颈
AI评估成本飙升，成为新的算力瓶颈。HAL等基准测试单模型运行花费高达$40,000，可靠性验证进一步倍增开销。静态基准可压缩100倍以上，但智能体类评估几乎无法优化。学术机构因预算限制难以独立验证前沿模型，导致评估能力集中在少数实验室，削弱外部监督。多数排行榜忽略成本维度，助长资源浪费。 
DeepSeek-V4：适用于智能体的百万上下文模型
DeepSeek发布V4模型，核心突破在于针对Agent长上下文场景优化。架构上采用混合注意力机制（CSA和HCA），将KV Cache占用降至原来的2%，显著降低长窗口推理成本。训练上保留多轮工具调用的推理历史，并引入专用Token格式减少解析错误。基准测试显示其在SWE-bench等Agent任务上达到前沿水平，虽非全能SOTA，但作为开源模型在Agent场景极具实用价值。
有限位宽下的确定性素性检测
本文实现了一个针对32位整数的确定性米勒-拉宾素性测试，使用{2,3,5,7}四个素数基确保正确性，并探讨了强伪素数、历史背景及与筛法实现的效率对比。
应用数学规划（1977年版）——麻省理工学院课程参考资料
MIT经典运筹学教材《应用数学规划》提供完整电子版下载，含14章理论与实例，配套Excel练习题与工业案例，适合学习优化方法的学习者参考使用。