DeepMind 的 AI 系统在几何问题中表现优于国际数学奥林匹克金牌得主
Google DeepMind 开发的人工智能系统 AlphaGeometry2 是去年 1 月发布的 AlphaGeometry 系统的改进版。在一项新发表的研究中,该模型可以解决过去 25 年来国际数学奥林匹克 (IMO)中 84% 的几何问题。该系统解决了 50 道题中的 42 道,超过了金牌得主的平均得分 40.9。测试中还发现系统能够产生人类通常无法想到的、既有创意又高效的解法。
AlphaGeometry2 包括来自谷歌 Gemini 的语言模型和“符号引擎”。Gemini 模型帮助符号引擎使用数学规则推断问题的解决方案,得出给定几何定理的可行证明。这或许证明了符号操作和神经网络这两种方法的结合是探索可通用人工智能的一条有希望的道路。根据论文,仅具有神经网络架构的 OpenAI o1 无法解决 AlphaGeometry2 能够解答的任何 IMO 问题。
—— TechCrunch
via 风向旗参考快讯 - Telegram Channel
Google DeepMind 开发的人工智能系统 AlphaGeometry2 是去年 1 月发布的 AlphaGeometry 系统的改进版。在一项新发表的研究中,该模型可以解决过去 25 年来国际数学奥林匹克 (IMO)中 84% 的几何问题。该系统解决了 50 道题中的 42 道,超过了金牌得主的平均得分 40.9。测试中还发现系统能够产生人类通常无法想到的、既有创意又高效的解法。
AlphaGeometry2 包括来自谷歌 Gemini 的语言模型和“符号引擎”。Gemini 模型帮助符号引擎使用数学规则推断问题的解决方案,得出给定几何定理的可行证明。这或许证明了符号操作和神经网络这两种方法的结合是探索可通用人工智能的一条有希望的道路。根据论文,仅具有神经网络架构的 OpenAI o1 无法解决 AlphaGeometry2 能够解答的任何 IMO 问题。
—— TechCrunch
via 风向旗参考快讯 - Telegram Channel
👉 名称:awesome-deepseek-integration
🤖 类型:👀资料
👏 介绍:将
- 应用程序:Chatbox ChatGPT-Next-Web 留白记事等
- AI Agent 框架
- RAG 框架
- Solana 框架
- 即时通讯插件
- 浏览器插件
- VS Code 插件 neovim 插件JetBrains 插件
via 老胡周刊资源分享频道 - Telegram Channel
🤖 类型:👀资料
👏 介绍:将
DeepSeek
大模型能力轻松接入各类软件- 应用程序:Chatbox ChatGPT-Next-Web 留白记事等
- AI Agent 框架
- RAG 框架
- Solana 框架
- 即时通讯插件
- 浏览器插件
- VS Code 插件 neovim 插件JetBrains 插件
via 老胡周刊资源分享频道 - Telegram Channel
🤖 类型:🎯项目
👏 介绍:大语言模型(LLM)领域,如 GPT、LLaMA、GLM 等,虽然它们效果惊艳, 但动辄10 Bilion庞大的模型参数个人设备显存远不够训练,甚至推理困难。 几乎所有人都不会只满足于用Lora等方案fine-tuing大模型学会一些新的指令, 这约等于在教牛顿玩21世纪的智能手机,然而,这远远脱离了学习物理本身的奥妙。 此外,卖课付费订阅的营销号漏洞百出的一知半解讲解AI的教程遍地, 让理解LLM的优质内容雪上加霜,严重阻碍了学习者。因此,本项目的目标是把上手LLM的门槛无限降低, 直接从0开始训练一个极其轻量的语言模型。
via 老胡周刊资源分享频道 - Telegram Channel
Model 🖼: flux pro
📢 频道 ✈️ 群聊 📬 投稿 💵 商务
via AI绘画|AI视频 | AI音乐 - Telegram Channel
域名Ai.com曾多次跳转至ChatGPT、Gemini、Grok等热门AI服务,疑似域名持有者为吸引关注,以期高价出售。尽管OpenAI等公司有能力购买,但域名重要性降低,持有者坚持高价策略或难成功出售。
(IT业界资讯)
via 茶馆 - Telegram Channel
中国三家基础电信企业全面接入DeepSeek
从中国工信部获悉,中国三家基础电信企业均全面接入 DeepSeek 开源大模型,实现在多场景、多产品中应用。工信部称,2025年春节期间,中国基础电信企业积极利用AI开展创新服务,融合其在5G、云平台、大数据等方面能力,多领域布局,拓展人工智能应用场景,丰富人工智能应用供给。中国三家基础电信企业均全面接入 DeepSeek 开源大模型,实现在多场景、多产品中应用,针对热门的 DeepSeek-R1 模型提供专属算力方案和配套环境,助力国产大模型性能释放。
—— 新京报、中国新闻网
via 风向旗参考快讯 - Telegram Channel
从中国工信部获悉,中国三家基础电信企业均全面接入 DeepSeek 开源大模型,实现在多场景、多产品中应用。工信部称,2025年春节期间,中国基础电信企业积极利用AI开展创新服务,融合其在5G、云平台、大数据等方面能力,多领域布局,拓展人工智能应用场景,丰富人工智能应用供给。中国三家基础电信企业均全面接入 DeepSeek 开源大模型,实现在多场景、多产品中应用,针对热门的 DeepSeek-R1 模型提供专属算力方案和配套环境,助力国产大模型性能释放。
—— 新京报、中国新闻网
via 风向旗参考快讯 - Telegram Channel