「工作成果验证」共找到 2372 篇相关文章
刚刚，OpenAI发布自主编码代理Codex，程序员的工作将被彻底颠覆？
OpenAI发布自主编码代理Codex，它能独立完成编程任务。与其他工具不同，它是面向任务的，允许并行工作。虽经强化学习微调，代码有“品味”，但有局限，如后续请求处理不佳，未完全集成工程环境。
飞书和豆包合并后的第一个Agent产品，豆包工作，它来了。
字节发布飞书与豆包整合后的首个产品——豆包工作，它是完整办公 Agent，与飞书原生打通，功能丰富。对用飞书办公的公司而言，使用便捷，还便于管理 AI 额度，是很好的 Agent 起手式。
CNN: AI 真的会毁掉一半的办公室工作吗？是炒作还是现实
Anthropic的CEO达里奥·阿莫迪称AI或在未来几年消灭一半入门级白领工作，还描绘美好却矛盾的未来。但他无研究数据支撑，说法引发质疑，其警告更像广告而非警示。
传奇黑客首次造出“透明芯片”，从硬件到代码全部公开可验证
8月初第34届Defcon黑客大会，主办方发放美籍华裔黑客黄欣国设计的徽章，核心是开源微控制器Baochip - 1x。该芯片从设计到制造全开放可验证，用红外原位检测，还集成硬件加固手段，安全性能对标商用元件。
AI科学家登场！12小时抵人类科学家半年工作量，已有7项大成果
OpenAI CEO奥特曼期待GPT - 6实现「AI创造新科学」，类「AI科学家」Kosmos登场。它12小时完成人类半年工作量，有7项成果，能自主规划，从工具迈向合作者，但约20%结论需人类裁判，人机协作或重塑科研。
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
2025-06 - 念头通达（月度小结）
作者 2025 年 6 月月度小结，称不再想读博、不追求研究工作，认为有让人幸福的工作。工作上 Agent 落地有收益，探讨平台化提效，还分享选业务的乐观心态，也提及消费和做视频情况。
GPT-5.4暴击华尔街！白领工作灭绝时刻，美国5.7万科技岗位被血洗
OpenAI发布GPT - 5.4震惊AI圈。它能力超强，能颠覆白领工作，如让Excel变数据分析平台、超越咨询投行律所。美国科技行业岗位大减，但AI岗位需求飙升，诺奖得主警告AI会加剧不平等。
全球首个自主科研Agent挑战赛！零人工干预冲击CNS成果SOTA，科研变天？
3月1日，由上智院和复旦大学主办的‘AI4S智能体CNS挑战赛’启动报名。赛事聚焦自主科研智能体，设四项挑战任务，要求零人工干预，超越CNS成果SOTA。评审阵容强大，旨在推动科研范式变革。
AI Agent搞定世纪首次菲尔兹奖成果形式化！一周时间独立完成，20万行代码已公开
Math公司的AI Gauss用5天完成原本需6个月的菲尔兹奖级数学成果形式化证明，一周搞定24维情形，还修正原论文错误。其创始人是xAI联合创始人Christian Szegedy，代码已公开。