科技互联网 - 树屋精灵

OpenAI一夜放出700多道数学证明！

OpenAI公布了一批由内部前沿模型产出的数学研究成果：722份数学手稿372组相关成果覆盖数论、代数几何、实分析、组合数学、理论计算机、数学物理、偏微分方程等多个方向。部分成果附有可由计算机核验的Lean形式化证明。社区初步核查还发现，其

Datawhale · 2026-10-08 30 阅读

微软发布最强笔记本 Surface Laptop Ultra，最高配备 128GB 统一内存，搭载 NVIDIA RTX Spark，支持 CUDA，售价 2599 美元起，直接挑战苹果 MacBook Pro。微软还宣称，在特定 AI 测

小众软件 · 2026-10-08 48 阅读

2026年10月8日（周五）晚上19:30-21:30分享导语世界模型的意义，不只是让智能体“预测接下来会发生什么”，更在于利用预测指导行动、干预并调控世界。当这一思路进入机器人、自动驾驶与复杂系统，世界模型也开始从内部表征走向真实世界中

集智俱乐部 · 2026-10-08 42 阅读

2027年1月香港见！ NetSciX 是网络科学领域的重要国际会议，汇聚计算机与信息科学、物理、数学、统计、生命科学、神经科学、环境科学、社会科学、经济金融乃至艺术设计等领域的研究者，促进跨学科交流与合作。会议信息🗓 2027年1月24–

集智俱乐部 · 2026-10-08 35 阅读

从分子手性到生命秩序，理解复杂系统的涌现导语生命为何偏爱镜像分子中的“一只手”？2026年诺贝尔化学奖授予亨利·卡根与宗井健聪，将这一谜题带到聚光灯下。他们的研究揭示，微弱的手性偏差可以通过非线性效应与自催化不断放大，为理解生命的同手性提

集智俱乐部 · 2026-10-08 39 阅读

新智元报道一道悬了59年的核聚变难题，GPT-6 Astra只想了20分34秒，就交出了答案。提问的物理学家，只是在提示词末尾给它打了一句气：你已经解决过很多数学开放问题了，所以我知道，只要足够坚持，你能做到！然后，ChatGPT交回来的

新智元 · 2026-10-08 222 阅读

全新UI杀死软件业新智元报道太炸裂了！就在刚刚，OpenAI官宣：GPT-6正式全量上线，向全球每周超 12 亿 ChatGPT 用户开放！带有智能UI的 GPT-6 今天开始向 Plus、Pro、Business 和 Enterpri

新智元 · 2026-10-08 52 阅读

为什么它不是普通文件，而是一种伪设备？每个 Linux 系统里都有 /dev/null 这个文件。它大小为 0 字节，但每天都有数 TB 的垃圾输出被倒进这里。而一旦把它删除，cron、ssh 以及你一半的 bash 脚本都会直接瘫痪。下

dbaplus社群 · 2026-10-08 42 阅读

今天是 10 月 7 日，农历八月廿七。今天是 10 月 7 日农历八月廿七国庆假期全在感冒等好点了怎么就快结束了？我真的求求你了能不能再给我 7 天光明。。。下面是今天的其他大新闻马斯克否认台积电参与特斯拉“Terafab”芯片工厂项目

差评 · 2026-10-08 37 阅读

跳转微信打开

差评 · 2026-10-08 42 阅读

这真的传统吗？来源微博：@迷惑行為大賞这真的传统吗？跳转微信打开

差评 · 2026-10-08 38 阅读

一个普通的马桶，价格大约在500块左右。一个普通的马桶，价格大约在500块左右。而这，是迄今为止全世界最贵的马桶，阿耳忒弥斯2号飞船上的 “ 通用废物管理系统 ”，造价高达 2300 万美元，折合人民币 1.65 亿，能买 33 万个普通

差评 · 2026-10-08 38 阅读

现在的广告有多让人难受？这是 2007 年底，步步高音乐手机拍的一条广告。墨尔本海边，一身白衣的宋慧乔戴着耳机听歌，整条广告只有一段女声哼唱，可看完你就记住了：步步高能让你享受音乐。十几年后它被搬上视频平台，评论区一片“满满的回忆”。那

差评 · 2026-10-08 31 阅读

重心对齐破解模态偏置在三模态及以上的多模态对齐中，不同传感器如同“盲人摸象”，所捕捉的视觉、语言、音频本质上皆是现实世界的侧影。然而，ImageBind、VAST 等传统方案强行钦定文本或图像为“绝对中心锚点”，导致表征空间被强势模态支配

我爱计算机视觉 · 2026-10-07 72 阅读

Datawhale学习开源贡献：Datawhale团队什么是组队学习组队学习活动，于2018年8月2日由Datawhale发起，已经坚持组织了八年。初衷很简单，就是一群志同道合的小伙伴，一起学习讨论，一起克服拖延，一起组队打Boss。没有

Datawhale · 2026-10-07 200 阅读