「计算机操作」共找到 713 篇相关文章
陶哲轩说：AI 辅助数学证明，已经成了日常操作
世界顶级数学家陶哲轩解决 Erdős 经典问题时，全流程用 AI 做助手，从证明草案到简化证明，再到形式化验证。整个流程为人类提出猜想、AI 暴力证明、人类简化优化、AI 辅助形式化验证。
拜拜了GUI！中科院团队“LLM友好”计算机使用接口来了
中科院软件所团队研究指出，现有LLM智能体成功率低、效率差的瓶颈在于GUI。其设计与LLM能力错配，团队提出声明式接口GOI，实现策略 - 机制分离，经测试性能提升显著。
登顶AndroidWorld开源榜首！可以操作手机的移动端AI Agent。
Minitap开源的手机Agent登顶AndroidWorld开源榜首，亮点是能操控安卓与iOS模拟器。用户用自然语言就能完成复杂任务，还具备跨平台控制、全场景交互等特点，项目可快速部署。
微信支付这波操作把我干懵了，Agent能赚钱？
微信支付从商业底层——支付——直接 mcp 了，用户可在腾讯元器体验其 mcp 服务，支付后智能体干活。微信支付 MCP 让 AI 与支付系统融合，实现“对话即交易”，但也面临安全合规问题。
可塑的计算机Omarchy爆火硅谷，龙虾之父自掏100万投资
Ruby on Rails 作者 DHH 推出 Linux 发行版 Omarchy，将 AI agent 嵌进系统底层，有独特设计和功能。自带安装脚本，安装快。获十位大佬各 100 万美元赞助，多家系统也在探索 AI 嵌入，它有望开启 Agent OS 时代。
机器人GPT时刻！英伟达WAM赋予全机器人零样本操作能力
英伟达发布世界动作模型 DreamZero，通过耦合视频生成与动作预测，让机器人有物理直觉，能在陌生环境完成复杂任务。它用异构数据学习，适配不同机体，还经优化实现高速推理。
PDF文件长出「AI大脑」？网友惊呼：这操作太「黑科技」了！
极客Aiden Bai将大语言模型塞进PDF，可让AI讲故事、聊天，Linux系统也能在其中运行。项目嵌入小型语言模型，如TinyStories、Pythia和TinyLLM，利用PDF支持的JavaScript实现，虽有局限但潜力大。
Claude Fable 5解禁，Sonnet 5发布，但各种骚操作封禁中国用户
6月30日深夜到7月1日凌晨，Anthropic宣布Claude Fable 5出口管制解除，7月2日恢复访问，还发布Sonnet 5。但此前安全研究者发现Claude Code在系统提示词里给中国时区和代理域名请求打暗号，Anthropic还收紧对中国账号封锁。
计算机界痛失泰斗！92岁图灵奖得主去世，打赌赢了老板6便士
3月5日，图灵奖得主、快速排序之父Tony Hoare逝世，享年92岁。他贡献诸多，如快速排序、霍尔逻辑等，虽有失误却勇于反思，一生与计算复杂性斗争，保持幽默与务实。
LeCun今后发论文得亚历山大王批准！Meta搞出大无语操作
量子位独家获悉，Meta宣布FAIR对外发表论文须经TBD审核。TBD由首席AI官Alexandr Wang执掌，与FAIR是平行关系。此规定引发FAIR内部不满，有人跳槽，Alexandr Wang行事风格饱受争议。