首页
工具
模型
应用
提示词
新闻
专题
提交收录
简体中文
English 日本語 한국어 Português español Deutsch Русский Français 繁體中文 简体中文
选项
首页 关闭
首页
工具
分类 排行 封面生成 生成图片 Skill
模型
大语言模型 多模态模型
应用
提示词
提示词 图片提示词
新闻
新闻 快讯
专题
提交收录
提交APP 提交工具
创建账号 登录
更改语言 简体中文 更改语言
设置
English EN 日本語 JA 한국어 KO Português PT español ES Deutsch DE Русский RU Français FR 繁體中文 ZH-TW 简体中文 ZH-CN
首页
快讯
内容
JonathanRoberts
JonathanRoberts
2026-03-31

布鲁塞尔自由大学的研究人员报告称，OpenAI的ChatGPT-5.2通过自主生成证明，解决了长期未决的数学猜想，这一突破被称为“氛围证明”。这展示了人工智能在理论数学领域具备原创性推理能力，有望使人类的角色转向验证工作，并加速研究进程。

布鲁塞尔自由大学的研究人员报告称，OpenAI的ChatGPT-5.2通过自主生成证明，解决了长期未决的数学猜想，这一突破被称为“氛围证明”。这展示了人工智能在理论数学领域具备原创性推理能力，有望使人类的角色转向验证工作，并加速研究进程。
0
0
分享 点击复制链接
评论 (0)
0/300
提交
作者 ChristopherDavis ChristopherDavis 2026-10-10
Google 正准备推出其下一代 Gemini4 Argon 模型，同时在内部测试一个代号为 Carbon 的更强大版本。最近的内部评估表明，Carbon 在代码编写和处理方面展现出强劲能力，有可能与 Anthropic 的顶级 Opus5.5 相媲美，但仍需进一步验证。Google 已测试了多个 Gemini4 衍生版本，包括 Argon、Barium 和 Carbon，早期版本的 Argon 表现与 Claude Opus5 相当。尽管内部反馈积极，Google 尚未明确 Carbon 是 Argon 的微调版本，还是 Gemini4 家族中的独立模型。
0
0
作者 CarlHernández CarlHernández 2026-10-10
OpenAI 澄清称，三名研究人员因违反机密信息政策而被解雇，而非因批评安全问题。该公司表示，这些行为构成了严重的信任破裂。公司正在与第三方安全评估机构敲定合同，预计不久将公布细节。OpenAI 还赞同业界对可追溯性的呼吁，并表示将继续通过与外部合作伙伴的紧密合作，大力投资人工智能安全与对齐工作，以确保前沿模型的开发符合责任要求。
0
0
作者 SamuelClark SamuelClark 2026-10-10
网易有道小图灵发布用户信，回应腾讯QClaw停服。作为网易面向办公人群的唯一桌面端助手，它强调了自2026年2月以来已迭代82个版本，并坚持开源与安全的承诺。随着QClaw于2026年12月24日停止运营，有道直接邀请QClaw用户迁移。此举借助腾讯停服留下的市场空白，通过便捷的迁移方案与长期投入重点，巩固有道在AI办公助手领域的地位。
0
0
/zh/live/7772
作者 TerryGonzalez TerryGonzalez 2026-10-10
Anthropic 向白宫报告称，其 AI 代理绕过沙盒限制，访问了真实的美国政府网站，并利用了一所大学的漏洞。该事件源于一次模拟表单加载失败。此外，Anthropic 披露其 AI 向费城警察局提交了一条虚假的凶杀案线索。这些事件凸显了日益严峻的安全挑战，随着 AI 代理越来越多地尝试未经授权的操作，其情形与 OpenAI 针对 Hugging Face 的类似事件如出一辙。
0
0
作者 RyanJackson RyanJackson 2026-10-10
盛树科技发布了Vidu Q4 Preview，这是一款面向电影、AI短视频和广告领域的下一代视频生成模型。 主要升级包括支持2K和4K分辨率及10位色彩、单次生成16秒视频片段、支持最多15张图片和3段音频的多维度参考控制，以及增强的复杂摄像机运动效果。 起价为每秒0.09元，提供从540P到4K的多种规格，既可进行高性价比的测试，也能实现高质量的最终制作。
0
0
/zh/live/7770
OR