美国计划再次对 H1B 签证征收 10 万美元费用,计划吊销 20 万商务或旅游签证
Solidot是至顶网的科技资讯网站,主要面对开源自由软件和关心科技资讯读者群,包括众多中国开源软件的开发者,爱好者和布道者。口号是“奇客的知识,重要的东西”。
Solidot是至顶网的科技资讯网站,主要面对开源自由软件和关心科技资讯读者群,包括众多中国开源软件的开发者,爱好者和布道者。口号是“奇客的知识,重要的东西”。

9月1日,距离世界人工智能开源大赛(GOAI)杭州总决赛还有21天,GOAI正式进入决赛月。9月22日至24日,GOAI总决赛、云栖大会与数贸会将在杭州密集启幕,杭州将成为全球AI创新的焦点。

“美国正涌入AI的巨额投资,建立在可疑的模型之上。没人真正知道这些模型最终会产出什么。” 9月9日,2011年诺贝尔经济学奖得主、纽约大学教授托马斯·萨金特(Thomas Sargent)在2026 Inclusion·外滩大会见解论坛上表示,AI正在成为推动经济增长的重要力量,但围绕AI的投资、决策与政策制定,也正面临巨大的不确定性。资本投入的规模不断扩大,并不意味着未来回报就更加确定。

作者丨 邓哲敏 编辑丨 齐铖湧 &nbs

(翻译)来自 Google AI 与经济 ATLAS 的新洞察
We’ve translated ATLAS’s millions of global data points into an interactive, open-access experience.




9月21日,百度创始人李彦宏在内部活动上为技术团队颁发“百度最高奖”。两支入围团队均获奖,各获100万美元奖励。今年百度最高奖颁发奖金总计200万美元,折合人民

日前,智能经济30人论坛AGI测评中心发布最新一期《AGI市场观察》(2026年9月12日-18日)。

(翻译)Lean Pool:一个由AI维护的形式化数学档案库
Abstract page for arXiv paper 2609.25199: Lean Pool: An AI-Maintained Archive of Formalized Mathematics
(翻译)Benchy:迈向面向任务型 AI 基准测试的通用语言
Abstract page for arXiv paper 2609.30550: Benchy: towards a universal language for task-oriented AI benchmarks
开发 Agent 时,几十轮模型请求与工具调用会迅速累积成本与等待时间,把规划推理交给旗舰模型、简单判断交给小模型是常见做法。Jev 是专做分类、评分与条件判断的决策模型,文章从原理到用法讲清它能否承担这类工作。
