「Seed-2.1」共找到 3316 篇相关文章
AI for Science开始“动手”了：机器人正式走进国家级实验室
今年7月，国家级科研平台实验室迎来首批Monte2人形机器人，由源络科技与实验室联合研发。它能完成复杂实验操作，缓解人工瓶颈。全球自主实验室成趋势，源络发起“原点计划”推动AI for Science迈向实验室3.0。
他们从四家顶尖AI实验室辞职，打造能自己跑实验的AI系统，目标是让科学家实现Vibe Research
2026年初，Harsh Mehta和Behnam Neyshabur离开Anthropic，在旧金山注册Mirendil，6月25日公司亮相并完成2亿美元种子轮融资。团队来自四家顶尖机构，目标是构建自主处理AI研发问题的系统，降低AI研发门槛。
论文解读：一个运算符能导出所有基本函数
波兰雅盖隆大学Odrzywołek发现二元算子EML，结合常数1能生成科学计算器所有标准功能。EML算子简化运算符集合、将离散问题转化为连续优化问题，但存在数值稳定性、表达式非唯一等局限。
《时代》2025重塑世界的五大AI进展
本文讲述2025年AI重大进展。中国Deepseek R1开源模型冲击全球格局，AI具备思考能力，特朗普政府推“星际之门计划”，AI公司支出逼近1万亿美元，同时AI与人类关系更复杂，引发风险思考。
Orion：面向注重隐私用户的新型浏览器——零遥测、零广告、防范 AI 追踪
Kagi发布新型浏览器Orion 1.0，默认注重隐私、零遥测、无集成广告跟踪技术。它支持Chrome和Firefox扩展，将AI排除核心以保安全，资金源于付费订阅。不过因非开源，隐私声明遭质疑。
这家“小众”赛道的无人驾驶公司，刚刚融了两亿
踏歌智行宣布完成C+轮融资，超2亿元，投资方有信泰人寿旗下基金等。国务院推动‘人工智能+’，矿山无人驾驶是关键领域。踏歌智行在露天矿无人驾驶运输优势明显，融资将用于研发和建产业化基地。
打破幻觉！Qwen最新OCR让印章、表格、公式识别准确率飙升45%
基于推理增强框架的视觉语言模型处理OCR任务有成果，但存在生成幻觉问题，特定领域不如专家模型。DianJin - OCR - R1通过推理与工具交互，按‘思考 - 调用工具 - 重新思考’流程提升OCR性能，减少幻觉。
云计算一哥首度牵手OpenAI，大模型「选择」自由，才是终极胜利
亚马逊云科技宣布通过两大平台支持OpenAI新开源模型，还上线Anthropic最新模型Claude Opus 4.1。其早有战略布局，两大平台汇聚400+模型，践行‘选择大于一切’理念，满足多样需求，打造AI生态。
8个月晋升独角兽，欧洲版Cursor估值18亿美元
成立仅8个月的瑞典AI新星Lovable成独角兽，估值达18亿美元，拥有超230万免费活跃用户、18万付费订阅者。它用自然语言重塑编程，完成2亿美元A轮融资，付费用户首月留存率超ChatGPT。
全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
八大顶尖机构推出开源定理证明器Goedel - Prover - V2，有32B和8B两版本。它在多个基准测试击败671B的DeepSeek - Prover，采用创新技术，以少算力刷爆SOTA，十位华人是核心贡献者。