「可验证智能」共找到 7238 篇相关文章
微软谷歌正在大力招「电工」
巨头围绕AI的人才争夺战扩至能源领域。微软、谷歌等大厂纷纷扩招能源专家团队，互挖墙脚。缺电已成AI发展瓶颈，大厂也在核电、核聚变项目投资，还可提高数据中心能源效率。
曾拒15亿美金，超级天才Andrew Tulloch重返Meta，Thinking Machines Lab痛失联创
扎克伯格今年挖角动作不断，此前向Thinking Machines Lab开高价被拒，主角Andrew Tulloch曾拒绝超10亿美元报价。如今他离职将重返Meta，其加入能否为Meta超级智能注入新动力，值得期待。
全球价值最高创企诞生，OpenAI估值创纪录来到5000亿美元
几天前OpenAI发布视频大模型Sora 2，获Altman盛赞。据彭博社，OpenAI完成交易，员工可按5000亿美元估值售股。年初其估值3000亿美元，此次提升突显其用户与收入快速增长。
模型测试不再跳来跳去，VS Code + Hugging Face = 真香
Hugging Face 发布新功能，让开发者在 VS Code 的 GitHub Copilot Chat 中直接接入 Inference Providers，可调用 Kimi K2 等开源大模型测试，无需频繁切换平台。该功能有统一 API 等优势，定价门槛低。
250 个岗位换两亿“求生”资金？巅峰781 亿市值巨头节流押注 AI，CEO急踩 “创业模式” 刹车
自由职业服务平台 Fiverr 宣布裁员 250 人，约占员工总数 30%，是为转型“AI 优先”企业的重组举措。创始人兼 CEO 称能省两亿，还可提升员工生产力。此前他就预警 AI 会影响工作。
本地运行OpenAI Whisper语音识别模型，Unity3d环境下高性能离线转写解决方案
这是为whisper.cpp提供的Unity3D绑定库，能在本地设备高性能运行OpenAI Whisper自动语音识别模型推理。支持多语言识别与翻译，有不同大小模型，可本地运行，还介绍了使用方法。
ScreenCoder：视觉-代码对齐新范式，为多模态程序合成开辟道路
前端开发中UI转代码耗时易错，现有工具存在不足。ScreenCoder提出模块化多智能体框架，通过三阶段分工协作实现代码生成，还构建数据引擎推动VLMs进化，实验表现出色，为多模态程序合成开辟道路。
OpenAI连破10道数学难题，Fable 24小时「复现」5道
这个周末，OpenAI与Anthropic两大AI巨头在数学前沿短兵相接。先是OpenAI用未发布模型Astra证明10项数学成果，不到24小时，Anthropic的Fable复现了其中5项。AI解难题成本降低，成果验证成新考验。
Claude Code 推出云端龙虾：/schedule 命令让 AI 自己排班干活
Claude Code 发布 `/schedule` 命令，可在云端创建定时任务，让 Claude 自动干活，即便关电脑任务也照跑。该功能用法简单，还支持多种创建方式和执行频率。此外，Claude Code 三月更新频繁，正从编程助手转向自动化成员。
开启RL Scaling新纪元，siiRL开源：完全分布式强化学习框架，支持超千卡规模高效训练
传统强化学习框架在模型和集群规模达上千块GPU时，存在扩展性瓶颈和效率低下问题。上海创智学院团队推出siiRL，采用全分布式架构和多控制器范式，解决传统框架痛点，在多方面验证了其高性能。