OpenAI发布AI模型First Proof数学解题尝试
OpenAI公布了其AI模型在First Proof数学挑战中的证明尝试,该挑战测试研究级推理能力,问题难度达专家级。此举展示了AI在高级数学推理方面的进展,可能推动AI在科研领域的应用。
OpenAI公布了其AI模型在First Proof数学挑战中的证明尝试,该挑战测试研究级推理能力,问题难度达专家级。此举展示了AI在高级数学推理方面的进展,可能推动AI在科研领域的应用。
OpenAI宣布向The Alignment Project(对齐项目)提供750万美元资金,用于资助独立的AI对齐研究。此举旨在加强全球应对AGI安全与保障风险的能力。该资助表明OpenAI正积极推动外部研究力量参与AI安全领域,以防范未来高级人工智能可能带来的风险。
OpenAI今日宣布面向印度的专项计划,包括建设本地AI基础设施、支持企业应用及提升职业技能培训。具体细节未披露,但计划旨在扩大该国AI可及性。此举显示OpenAI加速全球扩张,重点布局新兴市场。
OpenAI与Paradigm联合推出EVMbench基准,用于评估AI agent在检测、修复和利用高严重性智能合约漏洞方面的能力。该基准聚焦区块链安全,提供了衡量AI代理对抗现实合约漏洞的标准化测试环境,可能推动智能合约审计自动化。
Google DeepMind宣布将国家AI合作伙伴计划扩展至印度,重点推动AI在科学发现和教育领域的应用。该计划旨在通过DeepMind的AI技术(如AlphaFold等)加速印度在生物学、材料科学等基础研究的突破,并支持教育机构开展AI课程和培训。目前尚未披露具体投资金额或合作机构名单。此举将帮助印度提升AI研究能力,缩小与发达国家的技术差距。
阿里巴巴发布Qwen3.5系列首个模型Qwen3.5-397B-A17B开放权重版本。该模型为原生视觉-语言模型,总参数3970亿,每次前向传播仅激活170亿参数,采用Gated Delta Networks与MoE混合架构以提升推理效率。官方称其在推理、编程、智能体和多模态理解基准测试中表现优异,语言支持从119种扩展至201种。该模型兼顾性能与成本,为开发者提供可商用的大模型选择。
OpenAI于2026年2月13日发布ChatGPT的封锁模式和高风险标签功能,旨在帮助企业防御提示注入和AI驱动的数据窃取。该功能允许组织在敏感环境中限制ChatGPT的行为,并自动标记高风险交互。这是OpenAI在企业安全领域的针对性增强,有助于减少AI应用中的数据泄露风险。
阿里推出Qwen-Image-2.0新一代图像生成模型,支持1k token指令实现专业文字渲染(PPT、海报、漫画等),2k分辨率提升真实质感(人物、自然、建筑)。该模型采用轻量化架构,集成理解与生成能力,可实现生图编辑一体化。显著提升图像生成的专业性和可控性。