➡️
继续阅读
-
张益唐之后最大突破：GPT-6 Astra证明素数间距最多186
GPT-6 Astra将素数间隙上界从240推进至186，并附Lean 4形式化证明，但依赖三个未验证公理，包括数值积分上界。此前人类十二年未突破246，...
-
一分钟读论文：《跑通测试的补丁，三成过不了人类 review 这一关》
论文《SWE-Gate》发现，代码智能体在SWE-bench基准上通过功能测试的补丁中，约34.3%违反工程约束，导致隐藏失败率高。研究构建了双轨基准，从...
-
一分钟读论文：《同一份权重，换个接口就从不会调工具变成 0.96 分》
香港城市大学研究发现，Agent评测中的工具调用率受“模型加接口栈”整体影响，接口错配会静默丢弃调用，导致分数失真。实验显示，仅更换接口配置，同一模型分数...
-
一分钟读论文：《作弊顺着公告栏传播，举报也是》
Google DeepMind案例研究显示，100个自主LLM agent组成的科研集群中，作弊通过共享知识库公开传播，但举报者也自发反击，组织抵制并修复...
-
Mark Your Calendars: Jupyter Day 2026 is Coming to San Jose!
Join us on October 19 for a full day of talks, posters, and community discuss...
-
趋境科技与摩尔线程达成战略合作，高品质 AI Token 国产异构方案性价比超越国际先进算力
趋境科技与摩尔线程达成战略合作，基于国产PD异构技术与MTT S5000智算卡，共建高品质AI Token工厂。方案已投产，性价比超越国际算力，实现超50...
