返回计算机科学

计算机科学

谷歌
2026-09-07 00:52:10

谷歌 Teamwork 用 Gemini Flash 复现 3 道博士级难题

谷歌 Antigravity 团队公开 Teamwork 多智能体编排框架,并披露数学、系统工程与开源代码三类成果。7 项数学与理论计算机科学结果最初由 Gemini 3.1 Pro 完成,其中 3 项由 Gemini 3.7 Flash 完整复现;TCSBench 得分达到 71%,高于上一代 67.7%。在工程侧,Teamwork 用 Gemini 3.7 Flash 从零构建 RISC-V CPU 模拟器并启动 xv6 到 Shell;在开源侧,对 Eigen 和 ParlayHash 的优化已被上游维护者合并。

90
谷歌 Teamwork 用 Gemini Flash 复现 3 道博士级难题
哈尔滨工程大学
2026-09-06 09:18:11

哈工程校友密集创业,深海机器人赛道融资升温

苏州的工至海洋、世航智能,以及大湾区的深海智人近期相继披露融资进展,三家公司背后均有哈尔滨工程大学校友身影。报道认为,哈工程在船舶与海洋工程领域的长期积累,正与深海科技产业化窗口叠加,带动一批海洋机器人创业项目进入资本视野。文章同时提到,哈尔滨工业大学在机器人领域也形成创业集群,两校被视作东北硬科技创业浪潮中的“双子星”。

00
哈工程校友密集创业,深海机器人赛道融资升温
Claude
2026-09-06 03:46:10

Claude攻克纳维-斯托克斯?陶哲轩澄清仍属社交媒体传闻

一则「Claude 已解决纳维-斯托克斯方程千禧年难题」的传闻在社交平台迅速发酵,源头之一是 Andrew Curran 的预测性帖子,以及陶哲轩此前围绕 AI 数学研究流程的假设性讨论。陶哲轩随后澄清,他并不了解该问题出现任何重大新进展。与此同时,Anthropic 和 OpenAI 近月披露的多项数学成果,也让外界开始更认真地讨论 AI 介入开放数学问题后的验证、知识沉淀与研究分工变化。

00
Claude攻克纳维-斯托克斯?陶哲轩澄清仍属社交媒体传闻
Fables
2026-09-03 07:02:44

Fables 积分计划 10 月 5 日收尾在即,Robinhood Chain 做市协议机制与风险全梳理

Fables 是部署在 Robinhood Chain 上、基于 Uniswap v4 Hook 的代币化美股做市协议,当前积分计划覆盖 2026 年 8 月 24 日至 10 月 5 日。项目官方曾在 X 平台提到 10 月 5 日进行 TGE、上线代币、Gauge、投票与质押,但官网文档同时将该日期标注为未确认。协议已覆盖 ETH、GLD、SPY、AAPL、NVDA 等 USDG 交易对,截至发稿存入资金约 840 万美元、累计交易量约 7530 万美元。其积分、PROLOGUE 与拟议中的 FABLES 代币分配,也成为市场关注重点。

100
Fables 积分计划 10 月 5 日收尾在即,Robinhood Chain 做市协议机制与风险全梳理
纽约市
2026-09-03 03:13:04

纽约拟在 2026 学年起限制 K-8 学生使用生成式 AI

纽约市宣布,自 2026 至 2027 学年起,将对约 60 万名 2-K 至八年级公校学生实施为期一年的生成式 AI 禁令,校内设备将封锁 ChatGPT、Claude 等服务,陪伴型聊天机器人则在所有年级全面禁止。高中未被一刀切禁用,但只保留 5 个严格审核的有限试点,并同步推出屏幕时间新规、教师使用限制及特定豁免安排。

120
纽约拟在 2026 学年起限制 K-8 学生使用生成式 AI
OpenAI
2026-09-01 08:17:23

奥特曼:OpenAI Astra 已能像人类一样操作电脑,安全审查未结束

OpenAI 新模型家族 Astra 达人类水平的计算机操作能力,采用多智能体架构并行操作桌面应用,内部测试解决 10 个未解数学与理论计算机科学难题,单次成本约 2000 美元,可执行持续数小时甚至数天的协作任务。OpenAI 8月初向政策制定者定向预览,但因网络安全风险,Astra 仍处全面安全审查阶段,未公开发布或提供 API。

70
奥特曼:OpenAI Astra 已能像人类一样操作电脑,安全审查未结束
Paul Graham
2026-08-25 03:13:51

Paul Graham谈大学如何培养创始人:少教创业,多留时间做项目

Y Combinator 共同创办人 Paul Graham 在新文中谈到,大学培养创业者最重要的不是增加创业课程,而是让学生相信自己做得到,并给他们更多时间推进个人项目。他认为,判断潜在优秀创始人的关键不在 GPA 或商业竞赛成绩,而在于是否擅长做出东西、是否持续在做东西。Graham 还批评商业计划竞赛可能让学生误以为创业的核心是说服投资人,而真正需要说服的是用户。

210
Paul Graham谈大学如何培养创始人:少教创业,多留时间做项目
任少卿
2026-08-25 02:37:08

任少卿成立具身智能公司,蔚来确认战略投资并合作

量子位确认,ResNet 作者、蔚来高级副总裁兼智驾负责人任少卿已正式成立公司,投身物理 AI 基础模型和具身智能创业。晚点称,李斌已在蔚来内部会议通告此事,蔚来将对新公司进行战略投资并开展业务合作。消息显示,该公司已完成注册,估值达到独角兽级别,但公司名称和融资细节尚未披露。

370
任少卿成立具身智能公司,蔚来确认战略投资并合作