GPT-5.2攻克45年数论猜想 陶哲轩亲自确认
GPT-5.2攻克45年数论猜想 陶哲轩亲自确认 2026年1月，GPT-5.2完成一项45年历史的数论猜想证明，这是第一个通过Lean形式化校验的Erdős问题。陶哲轩亲自确认了这一结果。 野狸子在知乎回答中整理了最近半年AI在数学领域的多项动作，以流水账方式呈现这些事件，直接回应O……
包含标签 AI 的文章
AI 最容易打的仗，已经快打完了
Salesforce Agentforce的ARR与股价表现 Salesforce最新财报发布后，股价单日涨幅超过22%。这一表现直接反映出市场对该公司企业级AI产品进展的认可。Agentforce与Data 360合并后的ARR已逼近39亿美元，这一数字显示出企业在AI落地应用上的实际成果。 企业级AI……
DeepSeek发布多模态模型，小鲸鱼长出了眼睛
从文本到视觉：DeepSeek的模型升级 DeepSeek 最近发布了一款多模态模型，被形象地称为“小鲸鱼长出了眼睛”。这标志着这家以文本模型起家的AI公司，正式将能力边界拓展到了视觉领域。在此之前，DeepSeek 的模型主要处理文字信息，而这次更新让模型能够“看懂”图片，理解图像中的内容，并基于……
算力成为新一代房产：银行按Token放贷，华尔街将GPU装入SPV
算力金融化：从技术资源到资产类别 近期，一种新的趋势正在兴起：算力被比作“新一代房产”。这一比喻并非空穴来风，而是基于一系列金融创新实践。据钛媒体报道，银行开始按Token消耗量向企业放贷，而华尔街则将GPU（图形处理器）装入特殊目的载体（SPV），以吸纳养老金等长期资金。这些现象……
Prompt Engineering：UX设计师的研究与设计游戏规则改变者
作为一名在错综复杂的研究和设计网络中导航的用户体验设计师，我们的旅程曾经充满挑战。他们花了无数个小时在无尽的信息海洋中筛选，拼命寻找那个难以捉摸的灵感。 每个项目都感觉像是一项艰巨的任务，每个转折点都有障碍，挫折感随着时间的流逝而增加——考虑到紧迫的期限和客户的压力。 但是，在这个物……
Prompt的崛起与应用：AI时代的魔法指令
随着ChatGPT等AI应用模型、AI技术产品的出现，Prompt这个概念，也出现在了众人眼前，因为某种程度上，Prompt可以理解为控制AI的指令，可以在生成式AI的语境里发挥引导价值。具体如何解读Prompt的存在与应用？不如来看看本文的解读。 在ChatGPT、Midjour……
