「香港城市大学」共找到 579 篇相关文章
和Anthropic CEO一起发过Nature，他用Claude Code复活三年烂尾代码
华盛顿大学首席开发者Brendan MacLean用Claude Code复活三年烂尾代码。他像带实习生一样带Claude，构建上下文让其理解代码库。同一周OpenAI开源Symphony，实现任务自动派Agent。二者路线不同但目的相同，都在探索让AI融入工程流程。
比小说还“野”！宿舍副业 AI 项目征服全美高校，俩20岁辍学大学生年赚千万，大批融资找上门全拒
两名20岁大学辍学生Rudy Arora与Sarthak Dhawan联合开发的AI笔记工具Turbo AI，用户量激增至500万，年经常性收入破八位数且保持盈利。它源于解决课堂记笔记难题，功能不断迭代，破圈吸引职场人士，还拒绝大批融资。
GPT-6第1天直接攻破5道Erdős难题！Fable 5.1交了白卷
Epoch AI和曼彻斯特大学发布FME基准测试论文，让68道未解数学难题成5个顶级AI的考场。GPT - 6 Astra成唯一得分非0分模型，放宽预算共解开5道，其余4个AI全交白卷。该测试是对陶哲轩批评的回应。
哈萨比斯传记里讲了好多八卦啊
量子位怒肝三天啃完哈萨比斯官方传记，扒出9个关于他和DeepMind的劲爆八卦，包括他大学时的潇洒生活、创业经历、投资趣事，以及与扎克伯格、马斯克、辛顿等人的故事，还有DeepMind与谷歌的纠葛。
阿联酋K2横空出世，数学、代码样样行，速度全球最快，GPT-4看了都得抖三抖
阿联酋穆罕默德·本·扎耶德人工智能大学与G42公司联合推出开源AI推理系统K2 Think，基于Qwen 2.5 - 32B模型。它靠六项技术性能出众，在多领域测试成绩好，还以小参数量媲美大模型，且全面开源。
超越GPT-4o！华人团队新框架让Qwen跨领域推理提升10%，刷新12项基准测试
加拿大滑铁卢大学与TikTok新加坡的华人团队提出全新训练框架General - Reasoner，让Qwen系列大模型跨领域推理准确率提升近10%，在多项基准测试中超越GPT - 4o。该框架有全领域推理数据集和生成式答案验证器两大创新。
Anthropic刚发布了一份「AI抢饭碗报告」：学历越高越「被抢」
Anthropic《经济指数报告》揭示，任务越复杂AI加速越猛，学历高的工作受影响大。还指出人机协作能大幅提升任务时长，不同国家AI应用有贫富和技术代差，也提到了‘去技能化’问题及对生产率的预测。
特斯拉们，慌了？英伟达智能驾驶实测曝光：仅用一年追平马斯克八年心血
英伟达汽车业务虽仅占总收入1%，但十年积累已成气候。其与Uber合作、推广L2级城市功能，到2028年将实现L3高速公路驾驶，仅用1年几乎追上马斯克的FSD。实测中英伟达自动驾驶表现出色，新系统也有诸多亮点。
AI证伪百年数学猜想被打假！Lean证明惊现漏洞，哥大教授破防了
OpenAI新推理模型取得十项数学进展，如证明非Sofic群存在性等。哥伦比亚大学副教授Henry Yuen对其量子并行重复定理证明既兴奋又失望，因证明有AI味且难理解。此外，Lean证伪科拉兹猜想被指利用内核漏洞，专家提醒Lean验证有局限。