您现在的位置是：首页 > 文章详情

天天 AI-20250218

日期：2025-02-19点击：45收藏

DeepSeek加持，北大通院几何模型达IMO金牌水平！32个CPU核心和1块4090就能实现满血解题

北大通院的TongGeometry模型在DeepSeek的加持下，达到了国际数学奥林匹克竞赛（IMO）金牌水平。该模型不仅能够解决IMO-AG-30数据集中的所有30题，还在IMO-AG-50数据集上解决了42题，超越了人类金牌选手的平均水平。TongGeometry通过使用归纳数据库方法（DD）、构造对称图形、利用策略网络和价值网络联合搜索等技术，实现了高效解题。此外，该模型还具备出题能力，其生成的题目已被权威数学竞赛收录。值得注意的是，TongGeometry仅需32个CPU核心和1块4090显卡即可实现满血解题，展现了极高的效率。
来源原文

6个DeepSeek指令，让AI成为你的超级助手！掌握这些，效率翻倍！

在信息爆炸的时代，高效处理复杂信息、全面分析问题、精准预测趋势已成为现代人必备的技能。而DeepSeek，作为一款强大的AI工具，凭借其独特的指令功能，能够帮助你轻松应对这些挑战。今天，我们就来揭秘DeepSeek的6个神奇指令，让你在内容传播和推广中如虎添翼！来源原文

大决战！OpenAI可能发布GPT-4.5，狙击马斯克Gork3

OpenAI首席执行官Sam Altman透露，GPT-4.5已进入测试阶段，可能在近期发布。这一消息正值马斯克宣布发布“地球最聪明的AI”——Gork3之际，引发了行业的广泛关注。GPT-4.5被认为是对抗Gork3的有力武器，OpenAI团队甚至计划在Gork3发布后决定是否推出GPT-4.5。这一竞争不仅展示了AI领域的激烈竞争，也预示着未来AI技术的快速发展。
来源原文

10W+爆款 AI 流水线：Coze深度写作×DeepSeek算法洞察×HTML极速排版

熬夜赶稿、追热点到头秃、爆文全靠运气……这些是不是你创作路上的“噩梦”？别急，这里有个秘密武器，能让你轻松告别这些烦恼，甚至让爆款内容像印钞机一样源源不断！想知道是什么“黑科技”吗？往下看，解锁15分钟生成爆款的神奇公式！来源原文

深圳上线70名“AI员工”，满足240个政务场景

深圳福田区上线了基于DeepSeek开发的“AI数智员工”，覆盖政务服务全链条240个场景。这些“AI员工”能够处理公文、提供民生服务、支持应急管理等任务。福田区政务大模型2.0版以DeepSeek R1为核心，通过混合专家架构（MoE）和强化学习技术，实现了高效、精准的政务服务。该模型不仅提升了公文处理和审核效率，还为招商引资、执法文书生成等场景提供了强大支持。
来源原文

Adobe发布全新生成式AI应用Firefly，进军商业化

Adobe推出了生成式AI应用Firefly，集成了图像、矢量图形和视频生成功能。Firefly支持从文本提示生成高质量视频，并提供多种语言翻译功能，能够将音频翻译成20多种语言。该应用还与Adobe全家桶深度集成，支持无缝切换和创作流程优化。Firefly的推出标志着Adobe在生成式AI领域的商业化布局，为创意产业带来了革命性体验。
来源原文

搞定DeepSeek R1部署，这个开源项目有点东西！

开源项目GPUStack为DeepSeek R1的部署提供了高效解决方案。该项目支持Windows、Linux和macOS，能够自动处理资源分配，支持多机协同计算和异构硬件适配。GPUStack通过分布式推理技术，解决了单机资源不足的问题，使DeepSeek R1能够在各种硬件环境下稳定运行。此外，GPUStack还支持模型管理、高可用性、监控与可视化等功能，为AI模型的部署和管理提供了全面支持。
来源原文

清华最新综述解读，大模型推理能力的进化之路！

清华大学发布了一篇关于大模型推理能力发展的综述论文，全面梳理了LLM推理能力的进化路径。论文指出，大模型的推理能力建立在预训练、微调和对齐三个关键阶段之上。高质量的推理数据和先进的训练方法（如强化学习）是提升模型推理能力的关键。此外，论文还探讨了测试时优化技术（如树搜索和集束搜索）对提升推理能力的作用。该综述为理解大模型推理能力的发展提供了重要参考。
来源原文

微信也接不住DeepSeek的流量？

微信开始灰度测试接入DeepSeek R1，用户可以在微信搜索中体验AI搜索功能。这一举措不仅是微信对AI技术的积极探索，也反映了腾讯对流量变现的布局。尽管DeepSeek的接入带来了高昂的算力成本，但微信希望通过AI技术提升用户体验，吸引更多用户。此外，腾讯旗下的多个产品也在持续接入DeepSeek，显示出腾讯在AI领域的全面布局。
来源原文

DeepSeek颠覆了什么？学习不靠“人盯”，AI自己“卷”自己

DeepSeek通过纯强化学习路线，颠覆了传统AI训练模式。其R1模型证明了无需过程监督，仅通过结果控制即可训练出优秀的推理模型。DeepSeek的Zero研究展示了模型自主生成思维链的能力，为AI的平民化铺平了道路。此外，DeepSeek在语言文字创作和风格模仿方面也取得了显著突破，进一步拓展了AI的应用范围。
来源原文

比亚迪掀起“全民智驾”风暴：接入DeepSeek，7万级车型标配高阶智驾

比亚迪发布了“天神之眼”高阶智能驾驶系统，将高阶智驾功能推广至7万级车型。该系统由比亚迪全栈自研，能够实现全程高速自动驾驶和城区稳定驾驶。比亚迪还宣布将接入DeepSeek R1大模型，进一步提升车辆的智能化水平。这一举措标志着智能驾驶技术的普及化，为未来交通带来了新的可能性。
来源原文

马斯克用程序员和AI算法“整顿”华盛顿，此刻已乱成一锅粥

马斯克领导的DOGE（政府效率部）正在通过AI技术和高强度工作模式对美国联邦政府机构进行“现代化改造”。DOGE团队由一群年轻工程师组成，他们被赋予极高权限，直接接入财政部、教育部等核心部门的数据库，利用AI算法审查开支、识别欺诈行为，并推动自动化流程。马斯克甚至声称，AI已发现财政部每年有高达500亿美元的可疑支出。此外，DOGE还计划开发名为“GSAi”的生成式AI聊天机器人，用于梳理政府合同和采购数据。然而，这一系列激进措施引发了争议，许多联邦机构员工面临裁员，部分项目被暂停，甚至引发了多起法律诉讼。批评者认为，马斯克的团队缺乏透明度和问责机制，可能对公共服务造成负面影响。
来源原文

DeepSeek冲击之下，大模型六小强如何「回应」？

DeepSeek的出现对全球大模型市场产生了巨大冲击。国内六家独角兽大模型公司（零一万物、百川智能、阶跃星辰、智谱华章、月之暗面、MiniMax）纷纷采取行动应对。零一万物与苏州高新区合作，成立产业大模型基地，聚焦垂直产业解决方案；百川智能发布全场景推理大模型Baichuan-M1-preview，并推出“AI儿科医生”；阶跃星辰发布多款新模型，并在应用中接入DeepSeek；智谱华章继续与三星合作，推动大模型在手机端的应用；月之暗面发布Kimi k1.5多模态思考模型；MiniMax开源MiniMax-01系列模型，推动技术进化。这些动作表明，大模型公司正在通过技术创新和产业合作来应对DeepSeek带来的挑战。
来源原文

1100万人都在玩的AI视频神器，三步把你P进任何名场面

Pika是一款AI视频工具，最近推出了Pikaddition功能，允许用户通过简单的三步操作将任何图片融入视频中。用户只需上传视频和图片，并输入提示词，Pika就能生成融合效果。该功能支持多种创意玩法，例如将人物融入影视名场面、制作表情包等。尽管Pika的特效可能不是专业级，但其低门槛和高趣味性吸引了大量用户，注册用户已突破1100万。此外，Pika还推出了Pikamemes功能，一键生成表情包，进一步降低了AI视频创作的门槛。
来源原文

政务云，DeepSeek下一个风口？

多地政务系统开始接入DeepSeek大模型，推动政务数字化转型。山东烟台、苏州、广州、深圳、无锡等地已部署DeepSeek模型，用于提升政务服务效率、优化数据管理和降低错误率。例如，深圳市的“AI公务员”错误率控制在5%以内，显著提升了政务处理效率。相关研报指出，DeepSeek的开源特性为云服务厂商提供了低门槛部署世界级AI应用的机会，政务云作为重要细分领域有望加速发展。
来源原文