文章提交注意事项:
请在发布文章时用HTML代码加上至少一条新闻来源的链接;原创性消息,可加入相关信息(如涉及公司的网址)的链接。有任何问题,邮件至:he.fang#zhiding.cn
注意:收到邮件乱码的用户请修改客户端的默认字体编码,从"简体中文(GB2312)"修改为"Unicode(UTF-8)"。
solidot新版网站常见问题,请点击这里查看。
Solidot 公告
投 票
热门文章
热门评论
- 很正常 (1 points, 一般) by Craynic 在 2026年07月27日13时22分 星期一 评论到 古代语言的多样性远超今日
- 发电不需要油吗 (1 points, 一般) by Craynic 在 2026年06月03日13时51分 星期三 评论到 能源危机推动 37 个国家的电动汽车销量创新高
- 所以firefox 已经路边一条,对用户的需求漠视的结果就是这样了 (1 points, 一般) by solidot1745479987 在 2026年04月20日11时14分 星期一 评论到 Firefox 加入了对 Web Serial API 的支持
- (1 points, 一般) by solidot1775703930 在 2026年04月09日11时09分 星期四 评论到 Sam Altman 能被信任吗?
- 很难想象现代Linux居然还能跑在i486上 (1 points, 一般) by Craynic 在 2026年04月07日19时41分 星期二 评论到 Linux 准备移除对 i486 CPU 的支持
- 很多单词已经不再实用 (1 points, 一般) by Craynic 在 2026年04月07日13时22分 星期二 评论到 人们日常说话的单词量比上一年减少 300 个单词
- 表示方向不还是得有那么多个维度吗 (1 points, 一般) by Craynic 在 2026年03月30日13时35分 星期一 评论到 Google TurboQuant AI 压缩算法大幅减少大模型内存使用
- sora的核心用户是内容创作者 (1 points, 一般) by Craynic 在 2026年03月27日13时16分 星期五 评论到 Sora 为何失败:每天推理成本最高 1500 万美元总收入仅为 210 万美元
- 夏天骑摩托的时候,最喜欢带着有线耳机听相声或小说 (1 points, 一般) by kracker1911 在 2026年03月17日09时36分 星期二 评论到 有线耳机销量暴增
- 不如用网易邮箱 (1 points, 一般) by Craynic 在 2026年03月10日11时20分 星期二 评论到 FBI 通过 Proton Mail 识别抗议者身份
Waymo 举报了两名携带幽灵枪的年轻乘客。事件发生在 9 月 3 日凌晨 4 点前,地点是旧金山的 Richmond 区。Waymo 发言人称,它在检测到乘客携带枪支之后,停下了无人出租车,通知了执法部门。旧金山警方拘留了两名未成年青少年,一名男孩和一名女孩,搜查汽车后发现了一支已上膛的 AR 风格突击步枪。两名乘客已被送往少年拘留中心。这不是 Waymo 第一次举报乘客,它在今年 7 月曾举报了玩玩具枪的两名青少年乘客。
OpenAI 本周早些时候宣布通过动用约 1 万个 AI 智能体进行长达 88 小时的攻坚,于 9 月 5 日发现了一个 Navier-Stokes 方程失效的特例。Navier-Stokes 问题是克雷数学研究所列出的七大千禧年数学问题之一,它为每道题的解决提供了一百万美元奖金。目前七大问题只有庞加莱猜想确认解决,但解决该问题的俄罗斯数学家格里戈里·佩雷尔曼拒绝接受该奖。克雷数学研究所就此公开声明,表示将根据其评奖流程确认成果。根据克雷数学研究所的规则,OpenAI 首先需要在同行评审的期刊上发表解题结果,需要至少发表两年并且获得数学界的普遍认可。OpenAI 至今没有给出 Navier-Stokes 问题的证明,因此确认该问题被解决至少需要到 2029 年。
包括陶哲轩、新晋得主邓煜在内的 25 名菲尔茨奖得主发表公开信《A Severe Misalignment of AI in Mathematics》,批评 AI 公司最近的所作所为。公开信称,“过去几个月 LLM 的数学能力有飞跃式提升,甚至达到了能解决数学领域重大悬而未决问题的地步。但各大 AI 公司仅仅将解决数学问题作为基准测试(Benchmark)推动的技术竞赛,却对数学这门科学以及整个数学界构成了伤害。AI 公司的目标与数学界的本质目标之间存在着严重错位(Misalignment)。”这是 AI 影响科学与创意行业乃至整个社会的对齐(alignment)危机的一个缩影。“最近几个月 AI 在解决重大数学难题上取得的突破甚至冲出数学界,登上了大众媒体的头条。然而解决问题仅仅是达成概念理解与深刻洞察这一核心目标的工具和替代指标。在 AI 浪潮中忽略这一点,无异于异化了工具,使其走向核心目标的对立面。事实上,以越来越快的节奏批量生产‘真/假’断言,非但无法为新思想注入生命力,反而可能毁掉孕育创新的沃土。AI 的解答往往发布得过于仓促,甚至没有留出足够时间去编写一份严谨且规范的论文,无法去提炼其中蕴含的新方法与新思想,也无法合理引用前人的相关工作。正如在所有创意行业中发生的一样,这引发了严重的归属权认定与学术剽窃问题。此外,如果没有心怀热忱的数学家去负责对其进行后续开发并融入数学规范体系,AI 所孕育的思想就永远无法真正获得生命,数学家之间至关重要的人际传递纽带也将断裂。”
因特朗普政府削减了 NASA 预算,难以兑现提供合成孔径雷达的承诺,欧洲 ESA 将独立推进金星探索项目 Envision。Envision 轨道探测器任务旨在对金星表面进行测绘,由于金星表面被厚厚的硫酸云层笼罩,需要使用雷达穿透云层。NASA 与 ESA 于 2024 年签署了一份谅解备忘录,NASA 提供美制合成孔径雷达,通过其深空网络提供跟踪与通信支持。作为交换,ESA 将把美国研究人员纳入其团队。然而 2026 年和 2027 年的 NASA 预算被特朗普政府提议大幅削减,虽然国会否决了大部分预算削减方案,但 NASA 的科学预算仍然减少了数亿美元。NASA 的国际合作任务是主要削减对象。