「长任务时代」共找到 3508 篇相关文章
陶哲轩，用AI爆改科研范式
菲尔兹奖得主陶哲轩让ChatGPT把数学论文翻译成Lean代码，与AI合作完成埃尔德什第613号问题反例的形式化证明。人机配合虽有波折，但AI节省了时间。此外，两位数学家也用AI验证第707号问题反例，数学证明正进入‘AI辅助时代’。
鼠标的未来是手环？解码肌肉信号，Meta黑科技登上Nature
Meta推出非侵入性神经肌肉交互系统，利用手腕表面肌电图（sEMG）实现人机交互，该技术登上7月24日的Nature。实验在连续手势控制、离散手势控制和打字三个任务评测效果不错，适合特殊人群，也能弥补脑机接口数据不足。
Devin CEO：别搞多智能体！Anthropic：我们性能提升90%！
最近，开发Devin的Cognition CEO发文称不要构建多智能体系统，而Anthropic分享构建多智能体研究系统，性能提升90%。Cognition认为多智能体协同难，坚持单线程线性Agent；Anthropic用工程设计绕开瓶颈。二者因任务类型不同观点有别。
黄仁勋剑桥预言：当智力沦为商品，灵魂才是硬通货！
新智元报道，黄仁勋在剑桥领完「霍金研究员」奖后称，智力即将比自来水还廉价，人类引以为傲的逻辑推演等很快会变得如水电般廉价。在「智力商品化」时代，审美、直觉和承担后果的勇气等无法被计算的能力才珍贵。
全球首个「百万引用」学者诞生！Bengio封神，辛顿、何恺明紧跟
Yoshua Bengio成谷歌学术首个论文引用超百万的人，Geoffrey Hinton达97万次。全球高被引TOP 10中，计算机领域占4席，均属AI领域。深度学习论文引用爆发，契合AI时代。还介绍了Bengio、何恺明等AI领域高被引作者情况。
智源：ArXiv CLI重磅开源！2亿+开放论文，即将化身科研智能体的技能包
智源研究院联合高校与社区开发者研发的 DeepXiv 开源并免费开放。它是面向智能体的科技文献综合性工具集，提供数据接入、一站式能力集成、丰富接入形式等核心能力，还通过实战演示展示其在科研任务中的价值。
全球爆红后，Clawdbot之父2小时深度专访：退休3年后我杀回江湖
新智元对Clawdbot之父Peter Steinberger进行近2小时专访。他分享AI编程工作流，如一天600个Commit、让AI验证代码、用多个Agent并行开发。他还讲述经历，认为AI时代程序员要关注系统架构，强调与AI融合。
软件行业“快时尚化”背后的经济学 ｜ AGIX PM Notes
本周市场对软件看法悲观，OpenAI CEO 警告软件或进入‘快时尚时代’。但软件行业会升维，一是从‘死’变‘活’，具备元学习能力；二是定价更极致。还介绍了本周市场总结及多起 AI 相关企业动态。
全网苦等GPT-5，超级对齐团队遗作成重要线索，奥特曼发话「惊喜很多」
AI圈聚焦GPT - 5，相关爆料多但模型未现。奥特曼称有很多惊喜。GPT - 5疑似技术通用验证器源于OpenAI论文，或代表AI发展进入新的架构突破时代。此外，有博主用疑似GPT - 5创作，效果惊人。
马斯克Grok 4.6重回一梯队！更低价格反超Fable 5，这Cursor是真没白收购
马斯克携Grok 4.6让SpaceXAI重回大模型牌桌。它跑分超GPT - 5.6 Sol和Fable 5 Max，价格更低。此次升级聚焦长程agent任务，还发布了Grok Bot智能体，后续Grok 4.7也将登场。