「与爱为舞」共找到 9270 篇相关文章
陶哲轩：感谢Lean，我又重写了20年前经典教材！
陶哲轩宣布为实分析本科教材《Analysis I》创建「Lean」配套项目，将定义、定理和练习转换成 Lean 版本。Lean 是交互式定理证明器和语言，项目部分依托 Mathlib，可作辅助教材和入门指南。
本周推荐的6个超级6的Github开源项目！
本文推荐6个Github开源项目，包括Tabler（HTML仪表板UI工具包）、KrillinAI（AI视频工具）、Simple mind map（思维导图工具）、Sniffnet（网络流量监控工具）、Supabase（Firebase替代品）、FeHelper（开发者浏览器扩展），介绍了各项目特点与功能。
穿潜水服的蟑螂见过没？能搜救、巡管道，下一步还要奔外星
2025年缅甸地震，新加坡民防部队派出经新加坡南洋理工大学佐藤裕孝团队改造的蟑螂参与救援。团队还为蟑螂设计“潜水服”，使其能水下作业。赛博格蟑螂应用正从搜救拓展到巡检，未来或用于外星。
Routa 桌面版发布：内建 Harness 工程的 AI Coding 研发协作工作台
Routa桌面版发布，它是内建Harness工程的AI Coding研发协作工作台。围绕Routa构建Harness工程框架，Kanban成为任务协议，多Agent沿泳道接力协作，重新定义了‘done’，让AI Coding进入协作与交付问题域。
刚封杀就反杀！Claude逆天1400亿暴击OpenAI，250万人抛弃ChatGPT
Anthropic一路狂飙，全美市场份额飙至70%，年化收入近200亿美金。Claude表现强大，Claude Code爆火，众多巨头排队付费。但Anthropic与五角大楼冲突，或失去Palantir合作。同时，250万人“退订”ChatGPT，OpenAI紧急修约。
AI 浏览器压根不可能成为新的操作系统
近期AI浏览器成大模型主战场，营销中模糊Browser和OS边界。文章指出‘AI Browser = OS’不成立，分析原因，还提出定义为Agent操作层更合适，未来或走向能力优先、标准互通的‘通用容器’模式。
黄仁勋回应AMD“送股”OpenAI：很高明的交易，OpenAI现在还没钱给我付账
黄仁勋回应AMD用10%股权换OpenAI订单，称其操作高明，还透露OpenAI没钱付英伟达订单。目前OpenAI与多家公司交易总额破万亿美元，英伟达投资版图也在扩张，但引发AI泡沫担忧。
Claude Code 推出学习模式，比ChatGPT更激进：甚至能给你部署作业……
Anthropic为Claude Code和Claude应用推出全新学习功能，Claude Code支持切换交流风格，Learning模式像结对编程，会留作业。Claude实现方式比ChatGPT激进，开发者反响热烈，标志其向更智能教育方向发展。
他们想用AI发现不存在的物理学，然后用它去半人马座
美国初创公司 Physical Superintelligence（PSI），计划用 AI 加速物理发现。其核心平台 Emmy 能拆解研究问题。商业应用从 AI 数据中心切入，还参与费米探索者星际探测任务，目标平衡学术与商业。
谷歌「推理之王」也跑路Meta了，当年还是李飞飞挖来的
谷歌「离职潮」含金量提升，「推理之王」周登勇跳槽Meta。此前Noam Shazeer、John Jumper等也相继离开。谷歌全力「武装」AI Coding突击小队，重构Gemini训练方式，与原世界模型AGI路线冲突。