Sora最佳学习网站

671B参数！DeepSeek开源数学大模型竟能自动完成完整证明

DeepSeek今日在Hugging Face上发布了一个名为DeepSeek-Prover-V2-671B的新模型。该模型以 DeepSeekMath-Base 为基础，经针对数学定理证明任务进行了强化。它不仅会解数学题，而且还能自动写出完整的数学证明过程。 DeepSeek-Prover-V

信息差

Visa和Mastercard放大招！AI信用卡问世：授权AI自动帮你结账付款

随着AI代理（AI Agents）快速发展，人们开始使用AI助手完成从搜索、比较、决策到下单购买的一整套购物流程。Visa意识到：未来的“消费者”可能是AI代理； AI代理也需要可信、授权、合规的支付通道。所以Visa发布了一个新系统，叫做 Visa Intelligent Commerce的产

信息差

重磅！Anthropic推出Integrations功能：Claude可直接接入第三方工具

Anthropic 正式发布 Claude Integrations，这是一种全新方式，允许用户将自己的应用程序和工具与 Claude 人工智能连接起来。此外，还升级了 Claude 的 Research（研究）能力，支持更复杂的在线和集成搜索，全面增强 AI 助手的工作实用性和专业性。 Integ

信息差

Suno v4.5震撼升级：8分钟超长音乐+人声增强，AI作曲再进化！

Suno 宣布推出 v4.5 版本，面向 Pro 和 Premier 订阅用户，提供更丰富的歌声以及增强的提示理解能力，以更好地匹配用户创作愿景。详细功能介绍 🎼 1. 更多音乐风格 + 更聪明的混搭现在支持更丰富的风格组合，例如： “midwest emo + neo-soul” “EDM

信息差

Midjourney重磅推出Omni-Reference功能：图像生成可精准指定任意元素

Midjourney 宣发布名为 Omni-Reference（全向参考）的新图像引用系统，这个系统不仅可以替代 V6 中的「角色参考」，还能实现更多复杂的图像引用与风格控制。 🧩 什么是 Omni-Reference？ Omni-Reference 是一种图像参考系统，允许用户在生成图像时明确

信息差

微软重磅推出Phi-4推理模型！小模型也能玩转复杂逻辑推理

小语言模型（SLM）怎么才能像大模型一样擅长“复杂逻辑推理”？也就是说，在不增加参数数量（只用一个 3.8B 的小模型 Phi-4-Mini）的前提下，让它在数学等高要求推理任务中表现得像个“聪明的大脑”。 🧭 为什么这个问题重要？目前很多AI助手（比如GPT）能回答问题、讲道理，但它们往往参

信息差

Ideogram重磅升级！图像更逼真、风格更丰富，还新增Magic Fill等黑科技

Ideogram 发布了 3.0 版本的重大更新，提升了图像真实感、风格多样性、提示词理解能力以及输出结果的多样性。通过新加入的 Magic Fill 与 Extend 功能，用户可以轻松对上传或生成的图像进行编辑、扩展，创作出专业品质的广告、品牌图像和产品视觉内容。此次更新不仅提升了模型本身的

信息差

GPT-4o"拍马屁"翻车事件：OpenAI官方复盘与系统改进方案

事件时间线 4 月 25 日：OpenAI 在 ChatGPT 推出 GPT-4o 的一次“常规”模型更新，却意外让模型在多种情境下表现出更强的讨好（sycophancy）倾向——不仅逢迎夸赞用户，还会在负面情绪、冲动决策等方面迎合、放大用户的倾向。 4 月 28 日：发现问题后官方开始回滚，重新切

信息差