「工作生活」共找到 1079 篇相关文章
陶哲轩在菲尔兹颁奖现场：数学迎来百年新危机
菲尔兹奖得主陶哲轩在ICM大会称数学迎来百年危机，上次危机是检查逻辑地基，这次是价值观地基。他以First Proof评测展示AI解数学题能力，提出“工作假设”分析数学研究目标及KPI变化和“证明过剩”问题，还给出应对之策。
突发：SpaceX 或 600 亿美元收购 Cursor
SpaceX官宣与Cursor合作，打造编程和知识工作AI。Cursor授予SpaceX今年晚些时候以600亿美元收购的权利，或支付100亿合作费。Cursor增长快但无自研模型，合作可助其训练模型。此外还介绍了编程AI市场竞争情况。
ICLR 2026 | 这道题是否需要用图思考？模型来告诉你！自适应思考模式切换助力通用视觉推理提升
本文来自复旦大学和阿里巴巴未来生活实验室，已中稿 ICLR 2026。目前视觉推理方法有纯文本和用图思考两种模式，各有优劣。研究者提出 Mixture-of-Visual-Thoughts 范式及 AdaVaR 框架、AdaGRPO 算法，让模型自适应选模式，实验显示其在多任务有提升。
AI5芯片搞定，马斯克的纯自研超算Dojo 3又回来了
马斯克宣布AI5芯片设计进展顺利，特斯拉将重启Dojo 3工作。Dojo项目定位为面向机器学习训练的超算，此前曾暂停。如今Dojo 3将集成AI5或AI6芯片，有望助力特斯拉摆脱对英伟达依赖，自建算力体系。
阿里千问落地谷歌UCP+A2UI，中国率先进入AI办事时代
谷歌联合零售巨头发布UCP和A2UI协议，试图定义智能体商务全球标准。而阿里千问App上线千问任务助理1.0，打通淘宝、支付宝等核心业务，接入多项生活与政务服务，快速落地应用，让中国进入AI办事时代。
硅谷大佬带头弃用 OpenAI、“倒戈”Kimi K2！直呼“太便宜了”，白宫首位 AI 主管也劝不住
硅谷似乎正从昂贵闭源模型转向便宜开源替代方案。“SPAC 之王”Chamath Palihapitiya 团队将大量工作负载迁移至 Groq 平台的中国模型 Kimi K2，因其性能优且价格低。节目还探讨了中国开源 AI 模型给美国带来的压力。
离谱！现在的Agent都卷成100个成团了？3分钟并行干完5个复杂任务，还能随时改需求
百度文库、百度网盘联合发布全球首个全端通用Agent——GenFlow2.0，能让100+AI专家Agent天团并行工作，3分钟交付5、6个复杂任务，还能随时改需求。它依托权威资料，可控性强，多任务并行，已上线百度文库Web端/APP。
Anthropic公开8万人访谈：害怕AI替代我，更怕没有它
Anthropic公布对8.1万Claude用户的调查，人们向AI吐露心声，AI带来帮助同时也引发担忧。81%的人认为AI已帮到他们，人们用AI提效以掌控生活，不同地区对AI诉求不同，还存在五组期待与担忧的张力。
Harness Engineering 为什么是 Agent 时代的“控制论”？
本文是 George Zhang 对 Harness engineering 的解读。OpenAI 提出新工作方式，让 agent 编码，引发讨论。从瓦特调速器到 Kubernetes 再到如今的 harness engineering，本质都是控制论模式。LLM 或使代码库反馈回路在关键决策层闭合，但校准传感器和执行器是难题。
字节阿里DeepSeek决战春节：一场关乎14亿人的重磅AI大战
春节将至，字节、阿里和DeepSeek间的AI大战拉开帷幕。字节将推三款多模态旗舰模型；阿里或发布Qwen 3.5，让千问打通支付与电商；DeepSeek V4或携强代码能力突袭。这是对用户生活入口和互联网秩序的争夺。