大模型
LLM,VLM,模型
7B级形式化推理与验证小模型，媲美满血版DeepSeek-R1，全面开源！
随着大模型在形式化证明写作中的需求日益增长，形式化推理与验证（formal reasoning and verification）逐渐成为研究的焦点。然而，现有的形式化推理大模型大...
南京AI放大招：Agent平台支持100+智能体，跨系统调用成功率99.2%
近年来，随着国产大模型的突破性进展，AI Agent作为大模型向应用端落地的重要途径，逐渐成为行业关注的焦点。Agent能够解决复杂多变的任务，成为推动AI应用落...
图解 DeepSeek-R1
DeepSeek-R1 是人工智能领域的一个重要进展，特别是在机器学习研发社区中引起了广泛关注。该模型的核心特点在于其开放权重设计以及借鉴了 OpenAI O1 推理模型...
DeepMind元老创业AI编程：亮相即获1.55亿美元，英伟达红杉抢着投，团队太豪华了！
Reflection AI的成立标志着又一豪华AI创业团队的诞生，由两位来自谷歌DeepMind的顶尖科学家Misha Laskin和Ioannis Antonoglou领衔。公司专注于构建超级智能自...
重磅合作！摩尔精英亮相深信服17届核心合作伙伴论坛，携手发布超强教学科研实训一体化AI平台，推动企业级大模型应用革命！
在数字化转型的浪潮中，人工智能技术正逐步成为推动行业变革的核心力量，尤其在教育和科研领域，AI的应用已从辅助工具转变为提升教学质量和科研创新的重要推...
目标超级智能，前DeepMind科学家离职创业，获1.3亿刀融资
两名前谷歌DeepMind研究人员Misha Laskin和Ioannis Antonoglou于2024年3月8日宣布成立新公司Reflection AI，目标是开发超级智能。公司成立之初即获得1.3亿美...
独家对话智元姚卯青：人形机器人走进家庭还需5年左右时间｜钛媒体AGI
随着2022年AI聊天机器人ChatGPT的全球风靡，“具身智能”和人形机器人逐渐成为前沿技术领域的焦点。与传统AI相比，“具身智能”更注重通过与环境的实时交互来获取...
七千万用户的网文平台，打出了「反 AI」的第一枪
网文平台与AI辅助创作的关系已成为当前文学创作领域的热门话题。晋江文学城作为女性向原创文学网站，率先发布了关于AI辅助写作的试运行公告，明确规定了AI在...
狂揽1.3亿美金！AlphaGo大神组队Gemini大牛，用RL打造超级智能，英伟达抢投
由DeepMind资深研究员Ioannis Antonoglou和Gemini核心贡献者Misha Laskin联合创立的Reflection AI，近日宣布完成1.3亿美元融资，估值达到5.55亿美元。这家初...
狂热过后，我和几位硬件工程师聊了聊 Manus 的价值和意义
Manus AI 的推出引发了硬件行业的广泛关注，尤其是在大型行动模型（LAM）领域。LAM 是大型语言模型（LLM）的延伸，旨在成为人类在数字世界中的代理人，帮助用...
