OpenAI 分享 AI 在数学领域的进展
OpenAI 公布了其内部前沿模型在数学开放问题上取得的新成果，并在 GitHub 上公开了 Lean 证明形式化内容与相关研究细节。此举被视为 AI 参与数学研究的又一进展。
来源：OpenAI News
说明：本站展示中文整理摘要，便于快速阅读；完整内容和版权归原站所有。
说明：本站展示中文整理摘要，便于快速阅读；完整内容和版权归原站所有。
更多相关热点
AI热点雷峰网
中训练、后训练持续升温，模型快速迭代，成为 AI for AI 最佳试炼场
当模型开始参与研发下一代模型，大模型的研发方式正在发生什么样的变化？ 作者丨 高允毅 编辑丨 岑 峰 大多数科研构想，从未被充分验证。 这并不是研究者缺少灵感。恰恰相反，新的架构猜想、训练策略无时无刻不在涌现。但大多数想法，却在写不完的训练脚本、调不完的参数、排队等调度的 GPU 集群中，被无声消磨。 如果换种玩法，重构大模型研发呢？ 你只说了半句话：“我猜
AI热点雷峰网
「我们不是冤种！」特斯拉一个月降价两次惹怒新车主：集体讨要补偿；OpenAI暂停最新一代模型训练；传华为或于今年11月推出星耀子品牌
要闻提示 1.“我们不是冤种！”特斯拉一个月降价两次惹怒新车主：集体讨要补偿 2.深蓝汽车邓承浩：有数据显示车上冰箱实际使用率仅 5%，后排娱乐屏、车载 KTV 用户全年使用不超过十次 3.传华为或于今年11月推出星耀子品牌，客服回应 4.中国移动、中国电信、中国联通，全面暂停“0元购机”业务！ 5.努比亚NaviX Ultra玩《王者荣耀》被强制踢下线，豆
AI热点IT之家
Anthropic IPO 招股书曝光，巨额算力投入与安全隐忧并存
IT之家 9 月 29 日消息，据路透社看到的 Anthropic IPO 招股书文件显示，该公司正在豪押一个判断：人工智能对全球经济带来的变革，其深刻程度将会超过工业化、电力普及以及互联网。 但实现这一愿景所要付出的成本高得惊人。招股书披露，Anthropic2025 年的净亏损达到 420 亿美元 （IT之家注：现汇率约合 2,822.18 亿元人民币）
AI热点IT之家
谷歌最前沿 AI 模型：Gemini 4 Argon 登场，长周期代码工程 DeepSWE 测试超 Claude Opus 5.5
IT之家 10 月 1 日消息，谷歌昨日（9 月 30 日）发布 Gemini 4 Argon， 称其为公司迄今最先进的 AI 模型，但目前并未面向公众全面开放。 定位方面，Gemini 4 Argon 是谷歌当前“最先进”模型，重点是长流程软件工程、企业知识工作和网络安全防御。官方称其在真实世界软件工程测试创纪录，网络安全基准并列第一，并在金融、法律等专业
AI热点IT之家
黑客在暗网兜售 AI 模型访问权限，最低价仅有正版 3%
IT之家 9 月 28 日消息，据英国《金融时报》当地时间 26 日报道，非法获取 AI 模型和算力，正迅速成为网络犯罪黑市上最抢手的商品，黑客希望借助价格高昂的大模型实施勒索、网络战和间谍活动。 谷歌威胁情报团队首席分析师约翰 · 霍特奎斯特披露，今年所谓“LLM 劫持”活动明显增多，具体表现于 倒卖公开 AI 工具的被盗登录凭据 ，以及部分团体盗用他人算
AI热点IT之家
OpenAI 发布又一批 AI 数学研究成果，攻破数百个悬而未决难题
IT之家 10 月 7 日消息，OpenAI 在一批包含 722 份手稿、涵盖 372 个结果家族的文件中，公布了某款未发布的前沿模型解决的多项长期存在的数学难题。 IT之家注意到，这一举措延续了其一系列突破性成果，这些成果既给数学界部分人士留下了深刻印象，也引发了不安，同时还带来了关于研究伦理和学术行为的疑问。据负责以负责任的方式传达这些成果、新成立的精英