当天报道
Funding流行的开源AI开发工具Ollama融资6500万美元，用户接近900万Ollama是一款流行的开源AI开发工具，成功在B轮融资中筹集了6500万美元，使其总融资额达到8800万美元。随着工具的快速增长，Ollama目前拥有近900万的月活跃用户。值得注意的是，Ollama吸引了许多大型企业的关注，85%的财富500强公司利用其能力在个人电脑上直接运行开放权重的AI模型。TechCrunch AI7月9日· 61%Model ReleaseOpenAI推出其新系列模型GPT-5.6OpenAI正式推出其最新系列模型GPT-5.6，包括三种不同的变体：Sol、Terra和Luna。每个模型都针对特定用户需求进行了优化，提高了各个领域的效率和能力。值得注意的是，Sol被定位为市场上最高效的编码模型，特别吸引希望简化编码流程的开发者和企业。Terra和Luna也满足企业工作和网络安全需求，展示了OpeTechCrunch AI7月9日· 60%Regulation政府如何决定OpenAI的前沿模型可以安全发布？OpenAI最近推出了其最新的大型语言模型（LLM）Sol，该模型在经过政府评估后获得了公众访问权限。然而，政府确定Sol安全发布的过程仍然模糊不清。这种对评估标准和AI监管决策权的不明确性引发了行业专家和利益相关者对AI模型安全评估的稳健性和透明性的担忧。TechCrunch AI7月9日· 60%OtherFidji Simo辞去OpenAI第二号角色Fidji Simo宣布因健康原因辞去OpenAI的全职副总裁职位，将转为兼职顾问，继续参与组织工作，同时优先考虑自身健康。这一变化发生在OpenAI准备推出新模型并寻找Simo继任者的关键时刻，尤其是在公司计划近期进行IPO的背景下。TechCrunch AI7月9日· 59%InfrastructureMeta的新AI芯片将于九月开始生产Meta计划于九月开始生产其新的AI专用芯片，旨在缓解持续的GPU短缺并降低与AI处理相关的成本。这些芯片是Meta训练和推理加速器计划的一部分，专注于创建适应AI工作负载动态需求的硬件。生产将由领先的半导体公司TSMC负责，这表明Meta在基础设施方面进行重大投资，以支持其AI雄心。TechCrunch AI7月9日· 59%Regulation纽约时报称OpenAI在ChatGPT版权审判中隐瞒证据纽约时报和《每日新闻》指控OpenAI在涉及其内容用于ChatGPT训练的版权诉讼中隐瞒证据。这些指控包括OpenAI对其在训练数据中搜索版权材料能力的误导性陈述。此外，媒体机构声称OpenAI未能提供相关的聊天记录，这可能对案件有重要影响，因此寻求对该公司的司法制裁。这一情况突显了AI开发者与内容创作者之间在知识产权TechCrunch AI7月9日· 59%Funding总部位于巴黎的AI语音初创公司Gradium筹集1亿美元种子资金，获得Nvidia支持总部位于巴黎的AI语音初创公司Gradium宣布成功完成1亿美元的种子融资，Nvidia是其重要投资者。这笔可观的资金将使Gradium能够扩展其业务，特别是在湾区建立存在，这一战略举措旨在吸引顶尖人才并增强其在AI语音领域的竞争优势。这轮融资凸显了对AI驱动语音技术日益增长的兴趣和投资，这些技术在各行业的各种应用中变TechCrunch AI7月9日· 58%Product LaunchCharacter.AI进军微剧领域，推出自制作品，但有一个转折Character.AI通过推出自驱动的微剧系列，正在向微剧领域迈出重要一步。这种创新方法使用户能够实时与角色互动，创造更具沉浸感的叙事体验。公司计划以三部初始微剧启动这一计划，长期目标是赋予用户生成自己的内容，从而进一步增强平台内的互动和创造力。TechCrunch AI7月9日· 58%Infrastructure英伟达是其自身创造的计算市场的受害者作为AI硬件市场的主导者，英伟达面临重大挑战，自5月以来股价下跌了15%，尽管收入增长的预测依然乐观。这一下降归因于英伟达自身帮助创造的计算市场的变化。尽管内存芯片的需求激增，使得像美光这样的公司受益，英伟达却在GPU价格下跌中挣扎，显示出AI基础设施的格局正在变化。这一情况突显了AI硬件领域的波动性和竞争动态。TechCrunch AI7月9日· 58%RegulationInstagram 用户：如何阻止 Meta 的 AI 使用你的照片Meta 在 Instagram 上推出了一项名为 'Muse Image' 的新 AI 功能，使用户能够根据公共账户的照片生成图像。这一发展引发了用户对其图像被以这种方式使用的同意问题的重大隐私担忧。对此，Meta 提供了用户选择退出其图像被 AI 使用的选项，使他们能够保持对内容的控制。这一举措突显了技术创新与用户TechCrunch AI7月9日· 58%Product LaunchMeta推出Muse Spark 1.1，进入竞争激烈的AI编码战场Meta正式推出Muse Spark 1.1，这是一款旨在编码的新型多模态AI模型，进入了包括OpenAI和Anthropic等成熟竞争者的市场。尽管是后进入者，Meta通过强调其具有竞争力的定价和处理复杂编码任务及工作流程的强大能力，将Muse Spark 1.1定位为开发者的可行选择。这次发布反映了Meta扩展其ATechCrunch AI7月9日· 58%Funding人工智能能回答3万亿美元的问题吗？Sequoia的David Cahn强调了人工智能行业一个重要的财务基准，估计到2026年需要产生3万亿美元，以验证已经投入人工智能基础设施的1.5万亿美元投资。这个预测引发了对主要科技公司，特别是像Google和Microsoft这样的超大规模公司的严重依赖的担忧。如果这些公司未能满足这些财务预期，可能会对更广泛的人TechCrunch AI7月9日· 57%FundingAnthropic、OpenAI和SpaceX的市值超越过去25年的科技退出Anthropic和OpenAI的预期IPO，以及SpaceX最近的公开发行，将在科技领域产生重大变化，创造超过4万亿美元的价值。这个数字超过了过去25年所有美国风险投资支持的退出总值，突显了AI技术的巨大增长和潜力。公司在公开上市前保持私有的趋势也得到了强调，表明科技公司在融资和市场进入方面的战略转变。TechCrunch AI7月9日· 57%Product LaunchAI工具扫描网络职位空缺，准备简历和求职信Tarun Gupta推出了一款名为Autopilot-Jobhunt的新AI工具，旨在简化用户的求职过程。该创新工具自动扫描网络上与用户个人资料匹配的职位空缺，使求职者更容易找到相关机会。此外，Autopilot-Jobhunt还帮助格式化简历和求职信，提升整体申请过程。然而，需要注意的是，该工具不会代表用户提交申请The Register AI7月9日· 57%Funding南丹·尼尔卡尼离开Fundamentum的合伙人角色，推出2亿美元第三基金南丹·尼尔卡尼宣布辞去他在他共同创办的风险投资公司Fundamentum Partnership的合伙人职务。此举是在该公司准备推出其第三只基金，目标筹集2亿美元的背景下进行的。尽管尼尔卡尼将退出运营角色，但他将继续担任核心投资者，并为投资组合内的公司提供指导。这一变动标志着该公司领导层的重大变化，旨在通过新基金扩大投TechCrunch AI7月9日· 56%Product LaunchOpenAI关闭Atlas，但其AI浏览器的雄心仍在增长OpenAI宣布关闭其AI驱动的浏览器Atlas，作为战略转型的一部分，旨在增强现有平台。OpenAI计划将Atlas的功能整合到ChatGPT桌面应用程序和新的Chrome扩展中。这一举措反映了科技行业的更广泛趋势，即公司正在整合努力，以改善用户在现有平台上的体验，而不是扩展到新的独立产品。TechCrunch AI7月9日· 56%Product LaunchAnthropic的新Claude功能悄然推销AIAnthropic推出了一项名为'Reflect'的新功能，旨在帮助用户跟踪和可视化与AI的互动，促进更有意识的AI使用。通过提供使用模式的洞察，Reflect旨在巩固Claude作为日常工作流程中有价值的生产力工具的地位。这一发布反映了AI开发中日益增长的趋势，即用户参与和负责任的使用正成为提升用户体验的焦点。TechCrunch AI7月9日· 56%Funding一家AI代理初创公司让其代理管理1亿美元融资Lyzr是一家创新的AI代理初创公司，通过让其AI代理SivaClaw管理1亿美元的B轮融资而引起了关注。这种独特的方法涉及SivaClaw与超过130位投资者的互动，展示了Lyzr技术在现实场景中的能力。这次融资的成功突显了初创公司如何利用AI简化传统流程，可能在融资领域树立新的先例。TechCrunch AI7月9日· 56%Regulation谷歌将披露哪些广告是由AI制作的谷歌宣布了一项新功能，将识别使用人工智能创建或编辑的广告。这一举措是改善消费者透明度的更广泛努力的一部分，使他们能够更好地理解在谷歌平台上看到的广告的真实性。通过披露广告创作中使用AI的情况，谷歌旨在与用户建立信任，并解决对自动化技术操纵信息的日益关注。TechCrunch AI7月9日· 55%Other埃隆·马斯克赞扬Mythos/Fable，承诺不“切断”Anthropic在最近的一次活动中，埃隆·马斯克公开赞扬了AI实验室Anthropic，表示愿意维持合作关系，尽管双方在AI领域是竞争对手。这一消息恰逢Anthropic与马斯克的SpaceX之间达成重要合作，Anthropic将利用SpaceX的计算资源。马斯克的评论表明，AI行业可能正朝着更合作的方向发展，尽管该行业通常以激烈的竞TechCrunch AI7月9日· 55%Research经济高效的代理工具提升ARC-AGI-1上的抽象推理和泛化能力最近的一项研究介绍了一种经济高效的代理工具，旨在增强ARC-AGI-1基准上的抽象推理和泛化能力。这种创新方法利用Explorer-Definer Pipeline和Reflective Orchestrator，显示出显著的性能提升，而无需大量的微调或高计算资源。该研究开发的方法促进了更好的模式发现和转换合成，最终提arXiv cs.AI7月9日· 66%Research评估SageMath增强的LLM代理在计算和实验数学中的应用近期研究集中于将SageMath与大型语言模型（LLMs）结合，以增强其在计算和实验数学中的能力。研究评估了不同的代理设置，将LLM推理与SageMath结合，显示在解决复杂数学问题方面显著提高了性能。这种创新方法展示了混合模型在推进数学问题解决技术方面的潜力。arXiv cs.AI7月9日· 64%Research大型行为模型：零售客户的可提示数字双胞胎最近的研究介绍了大型行为模型（LBM），这是一种新颖的方法，旨在作为零售客户的可提示数字双胞胎。该模型通过结合预测准确性和从大量零售交易数据中提取的行为洞察，增强了对客户决策的分析。值得注意的是，LBM在零售场景中的表现优于通用语言模型，显示出其在不同领域的广泛应用潜力。arXiv cs.AI7月9日· 63%Research学习社会规范增强动态人机协调的兼容性最近在arXiv上发表的一项研究探讨了社会规范对人类与AI代理之间协调的影响。通过分析3456个人类互动的大型数据集，研究人员识别出可以整合到AI系统中的社会规范的基本原则。研究结果表明，旨在理解和遵循这些社会规范的AI代理在协调任务中的表现显著优于传统模型。这项研究强调了社会背景在改善人机协作中的重要性。arXiv cs.AI7月9日· 63%ResearchNEST：通过以机制为导向的专家混合应对数据集级分布变化最近推出的NEST框架旨在应对数据集级分布变化带来的挑战，特别是在长期预测的背景下。通过采用专家混合架构，NEST有效地将数据集划分为不同的操作机制。这种创新的方法利用以机制为导向的路由机制，提高了在各种基准测试中的预测准确性，是机器学习和预测分析领域的重要进展。arXiv cs.LG7月9日· 63%Research基于LLM的代理建模推理最近的一项研究介绍了HALE，一个将代理建模与大型语言模型（LLMs）相结合的新框架。通过对犹他州盐湖县COVID-19传播的模拟，展示了LLMs如何增强复杂建模场景中的推理能力。LLMs的整合使得模拟更加细致和适应性强，可能导致公共卫生等领域更好的决策。arXiv cs.AI7月9日· 62%ResearchTriRoute：联合学习路由用于联合自适应注意力、专家和KV缓存分配TriRoute的引入标志着语言模型优化的重要进展。该统一控制器有效管理三大关键组件：注意力模式、专家选择和KV缓存分配。通过这样做，它提高了模型的效率和鲁棒性，特别是在处理稀有标记时，同时保持在计算限制内。这项研究可能为更复杂和资源高效的AI应用铺平道路。arXiv cs.LG7月9日· 62%Research上下文搜索何时有帮助？反思驱动推理的采样复杂性理论最近的研究探讨了上下文搜索的概念及其对大型语言模型（LLMs）推理能力的影响。该研究提出了一个关于采样复杂性的理论框架，表明这些模型中的自我反思可以提高推理和解决问题任务的效率。通过一系列实验，研究人员提供了支持其主张的实证证据，表明可靠的反思机制可以显著增强推理模型的性能。arXiv cs.AI7月9日· 62%ResearchSTAGformer：一种用于微出行需求预测的时空代理图变换器STAGformer的推出标志着微出行解决方案（如共享单车）需求预测领域的重要进展。该创新模型通过有效捕捉复杂的时空依赖关系，准确预测需求，这对于理解需求随时间和不同地点的波动至关重要。值得注意的是，STAGformer以线性计算复杂度实现这一目标，使其比现有预测模型更高效。STAGformer的性能已在真实世界数据集arXiv cs.LG7月9日· 62%ResearchInertia-1：可穿戴运动基础模型的开放探索Inertia-1的推出标志着可穿戴技术和人类行为分析领域的重要进展。该新框架利用大量加速度计数据创建基础模型，能够在多种任务和条件下进行泛化，从而提高健康监测系统的准确性和有效性。通过关注运动数据的整合，Inertia-1旨在改善对不同环境中人类行为的理解，可能导致更好的健康结果和个性化干预。arXiv cs.LG7月9日· 62%Research校准虚拟筛选中的安静失败：边际保形预测未能覆盖少数类，类条件修正恢复了它最近的研究揭示了边际保形预测在药物发现的校准虚拟筛选中的一个重要局限性。尽管该方法通常实现高覆盖率，但在不平衡数据集中，它未能充分代表少数类，这可能导致对不常见但关键药物靶点的预测不足。为了解决这个问题，研究人员提出了一种类条件修正，改善了这些少数类的覆盖率，而不会显著增加预测集的大小，从而提高了药物发现应用中的预测可arXiv cs.LG7月9日· 62%Research基于LLM的任务语义场因子分解用于工业过程预测最近的研究提出了一种新框架，称为任务语义场因子分解（TSF），旨在改善工业过程预测。这种创新方法利用大型语言模型（LLMs）整合来自任务协议和变量文档的语义信息。通过这样做，TSF框架提高了预测的准确性，同时保持轻量级部署，适合在工业环境中的实际应用。将LLMs整合到这一过程标志着该领域的重要进展，展示了人工智能优化工arXiv cs.LG7月9日· 62%Research基于可靠性的双目标投资组合优化的深度强化学习最近的研究提出了一种新颖的深度强化学习框架，旨在通过多目标方法增强投资组合优化策略。该方法名为MORP-DRL，重点在于平衡预期收益与下行风险，使其在波动市场条件下特别有效。研究强调该框架在性能上优于传统静态方法，表明投资策略优化的显著进步。arXiv cs.LG7月9日· 61%ResearchD2PO：通过动态偏好优化扩散采样器研究人员推出了一种名为D2PO（动态直接偏好优化）的新框架，旨在改善扩散采样策略。这种创新方法将采样器的优化重新构建为基于偏好的对齐问题，从而更好地与感知质量对齐。通过利用动态偏好和基于能量的建模，D2PO提高了扩散采样器的效率和有效性，可能在生成模型的各种应用中带来重大进展。arXiv cs.LG7月9日· 61%Research指纹，而非蓝图：位置方案如何设定注意力的默认谱代数最近一篇题为《指纹，而非蓝图：位置方案如何设定注意力的默认谱代数》的论文探讨了各种位置方案对神经网络中注意力机制谱特性的影响。研究强调，位置编码的选择可以显著影响注意力头的谱特征，从而影响模型性能和训练动态。这项研究揭示了注意力模型如何根据位置输入解释和处理信息的基本机制。arXiv cs.LG7月9日· 61%BenchmarkAgentLens：用于编码代理评估的生产评估轨迹审查AgentLens作为一种新型基准被引入，旨在增强交互式代码代理的评估。与传统方法通常关注通过/未通过结果不同，AgentLens评估代理性能的整个轨迹，提供对其能力的更全面视角。该方法结合了形式验证技术和大型语言模型（LLMs）生成的审查，提供对编码代理行为的详细洞察。目标是创建一个更强大的框架，以理解这些代理在现实arXiv cs.AI7月9日· 61%Research控制效应：编排设计如何设定企业代理AI的代币经济最近的研究强调了编排设计在企业代理AI领域的重要性，揭示其可以显著影响代币经济。研究发现，通过优化编排层，组织可以在不影响质量的情况下将每个任务的成本降低多达41%。这一发现突显了编排在AI系统效率和有效性中的关键作用，尤其是在成本管理至关重要的企业环境中。arXiv cs.AI7月9日· 61%Research在紧凑世界模型中扎根空间关系：指令泄漏与无目标动态修复最近的研究揭示了依赖语言目标来扎根空间关系的紧凑世界模型中的一个重大问题。研究强调了一种称为指令泄漏的现象，这些模型的高准确性更多地归因于指令的转录，而非真正的感知理解。为了解决这一挑战，研究人员提出了一种新方法，将目标与动态解耦，旨在增强模型更有效和真实地扎根空间关系的能力。arXiv cs.AI7月9日· 61%ResearchQANTIS：在IBM Heron上进行硬件校准的顺序POMDP信念更新最近关于QANTIS的论文介绍了一种在顺序部分可观察马尔可夫决策过程（POMDPs）中使用IBM的Heron量子硬件进行信念更新的创新方法。该系统利用量子处理器的独特能力进行硬件校准更新，提高了决策过程的效率和准确性。研究结果表明，QANTIS能够有效提供后验更新，使经典规划者在整合量子计算优势的同时保持决策的完整性。arXiv cs.AI7月9日· 61%