「软验证生成」共找到 2926 篇相关文章
卖Token也不是稳赚不赔！硅基流动招股书来了
硅基流动向港交所提交上市申请，剑指港股「AI Token工厂第一股」。它将异构算力等封装成Token供应服务，2025年营收增653.2%，但亏损也扩大，公有云业务成本压力明显，生意待市场检验。
Routa 桌面版发布：内建 Harness 工程的 AI Coding 研发协作工作台
Routa桌面版发布，它是内建Harness工程的AI Coding研发协作工作台。围绕Routa构建Harness工程框架，Kanban成为任务协议，多Agent沿泳道接力协作，重新定义了‘done’，让AI Coding进入协作与交付问题域。
把短视频做成流水线的AI剪辑神器
Pixelle-Video是一款AI剪辑神器，输入主题就能自动完成视频创作，零门槛。它采用模块化设计，流程清晰，各环节可灵活定制。支持多种AI模型、TTS方案，有丰富功能亮点。
几分钟扫完细菌全基因组，MIT团队用AI找出大量未知的抗病毒防御系统
MIT科学家开发AI模型DefensePredictor，能从细菌基因组快速找防御系统。用约1.7万个细菌基因组训练，借助ESM2蛋白语言模型，几分钟扫描完一个细菌全基因组，还开源供科学界使用，潜力巨大。
“同事.skill”不用写了，爱马仕 Hermes 主动“蒸馏”你，还让开发者集体抛弃 “龙虾”？！
近日，Hermes Agent 在国内爆火，获超 3.9 万 stars。它是单 Agent 架构，核心是学习循环，记忆分层管理。其网关功能强大，状态可跨会话留存。背后的 Nous Research 目标是打造抗衡 OpenAI 的开源模型，还引入区块链解决算力问题。
斯坦福最火CS课：不让学生写代码，必须用AI
斯坦福新开设课程《现代软件开发者》成AI圈热门话题。主讲Mihail Eric鼓励学生用AI编程，不写代码。课程资料全、兼顾实用有趣，涵盖多方面知识，还探讨AI在各领域应用及未来方向。
奥特曼怕了！GPT-5.5「大蒜」决战谷歌，红色警报紧急拉响
三年前ChatGPT让谷歌恐惧，如今OpenAI被谷歌逼得拉响‘红色警报’。OpenAI计划发布新推理模型，‘Garlic’预训练有突破，还启动下一代模型。OpenAI调整策略，聚焦提升ChatGPT体验。
马斯克造星链，劈柴造算链！英伟达卷到宇宙，谷歌也要上天
谷歌官宣「Project Suncatcher」，要在太空建设可扩展的AI计算系统，预计2027年发射两颗原型卫星。此系统利用太阳能驱动AI，由卫星星座构成，但面临打造星间链路、控制卫星编队等挑战。
刚刚，ICCV最佳论文出炉，朱俊彦团队用砖块积木摘得桂冠
10月22日凌晨，ICCV揭幕本年度奖项。卡耐基梅隆大学朱俊彦团队《Generating Physically Stable and Buildable Brick Structures from Text》获最佳论文奖，提出BrickGPT；以色列理工学院《FlowEdit: Inversion-Free Text-Based Editing Using Pre-Trained Flow Models》获最佳学生论文奖。
Claude Sonnet 4.5发布，多领域性能超越GPT-5和Gemini 2.5 Pro
Anthropic发布Claude Sonnet 4.5，是目前最强编程模型，在多领域性能超GPT - 5和Gemini 2.5 Pro。操作电脑、数学推理能力提升，产品更新功能丰富，安全性增强，价格不变，获多家公司认可。