「工作流程」共找到 1622 篇相关文章
陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车
数学大师陶哲轩第三支Lean 4自动化数学证明视频，携手GitHub Copilot挑战「ε - δ」极限问题。Copilot处理加法较顺，减法卡壳，乘法失控。复杂证明时它短板尽显，陶哲轩认为复杂证明还得靠人脑。
浙大联合北大开源 Easel：一个 Agent 包办社媒全链路，从热点发现到多平台发布！
浙江大学和北京大学联合开源Easel，这是面向社媒创作者的内容工作台，用一个Agent打通全链路，有画像驱动等六大亮点，还给出清晰的快速上手流程。
阿里 Qwen3.8 正式发布：2.4T 规模，自主编程 16 天搓出一个 Hermes Agent
8月3日，阿里巴巴发布新一代基座大模型Qwen3.8，总参数量2.4万亿，性能居全球第一梯队。其API已上线千问AI平台，还接入“千问办公”。Qwen3.8编程和办公能力强，还将开源，性价比高。
UW天才少女官宣入职OpenAI！46场面试，地狱级求职笔记刷屏
华盛顿大学华裔女博士Alisa Liu为入职OpenAI经历57轮面试，事后公开面试准备笔记成“LLMs面试圣经”。她分享求职经验，如合理安排面试、刷题备考、每场面试专门准备、学会薪资谈判等。
Codex龙虾化！推出手机远程控制，与Claude Code竞争白热化
OpenAI的Codex可手机远程控制，与Claude Code竞争白热化。它跨设备无缝同步，支撑体验的是安全中继层技术。个人开发者体验提升，企业级环境诉求也得到回应，还推出针对性扩展工具。
Transformer论文作者重造龙虾，Rust搓出钢铁版，告别OpenClaw裸奔漏洞
Transformer作者Illia Polosukhin重造安全版龙虾IronClaw。OpenClaw安全状况差，IronClaw用Rust重写，建立四层防御，还能防提示注入。其背后是NEAR更大构想，目标是用户掌控数据和资产。
浏览器秒变 Mac 终端，有点意思！
介绍开源工具 VibeTunnel，它能把浏览器变 Mac 终端，支持远程操控。零配置、跨设备、实时同步，无需 SSH 密钥等。有跨设备访问等多种特性，给出不同系统安装方法和使用步骤。
在上海，与4位国际大咖一起追问未来：人机协作时代，艺术何为？
在人机协作时代，艺术意义引人深思。上海一场论坛邀四位大咖探讨创作，将不可见存在转化为美学体验，跨越学科界限，思考人类创造力、责任及艺术共情作用。
Github 9.8K Star真香！！再见黑白屏，这款终端神器让十六进制分析一目了然，效率200%+！
传统十六进制查看器单色显示影响效率，hexyl 基于 Rust 开发，彩色输出区分字节，支持多系统，免费开源获 9.8K Star。它功能多，安装方便，是十六进制分析利器。
突发！windsurf被谷歌收购
一直传言OpenAI要收购Windsurf的交易关闭，Windsurf转投谷歌DeepMind团队。其CEO和员工将专注代理编码工作，从事Gemini项目，谷歌获部分技术非独家许可。