
30年数学难题,AI数学家Aristotle仅6小时告破!陶哲轩:ChatGPT们都失败了(在新窗口打开)
昨晚,数学界炸了!由HarmonicMath开发的AI数学家「亚里士多德」(Aristotle),100%独立完成了埃尔德什问题#124。它在Lean证明系统中,耗时仅6个小时,验证只需1分钟。
共 452 篇

昨晚,数学界炸了!由HarmonicMath开发的AI数学家「亚里士多德」(Aristotle),100%独立完成了埃尔德什问题#124。它在Lean证明系统中,耗时仅6个小时,验证只需1分钟。

是孩子该看的东西。 「这是我的新项目,10 块 GPU,价值两万美元。」 全球最大的游戏主播,居然开始转型搞 AI 了,没过半天就获得了 100 万播放量。 上周末,PewDiePie 久违地发布了新视频,出乎人们预料的是,内容是在教你训练 AI 大模型。 在这个题为《STOP. Using AI Right now》(停。现在使用 AI)的新视频中,他解释了自己如何从零开始,通过添加搜索、记忆、RAG 和音频输出等功能,创建出个人专属的 ChatGPT 风格用户界面。 他还自己组装了一套硬件系统,共计 10 块英伟达 GPU,使用参数量从 700 亿到 2450 亿不等的大型语言模型,所有这

OpenAI发布Images 2.6,在ChatGPT、Codex和API提供更快的图像生成,并增加GIF创作、SVG导出及图像标记。API区分Flare与Sunburst,并以complexity和quality分别控制规划与画质;另一则模型标识传闻尚不能确认GPT-6.2发布。

OpenAI在第四届DevDay开发者大会上发布25项更新,包括Dots个人agent、ChatGPT Space协作空间、GPT-6.1 Sol模型、Ultrafast极速档及Codex全面上云等,涵盖模型、搭建工具与分发三大板块。

DeepSeek 快醒醒,ChatGPT 要打到家门口了。

最近,闲鱼和GPT代充商家的战争,真的进化到我看不懂的程度了。

OpenAI因GPT-6 Astra算力需求激增,于9月10日正式暂停200美元/月ChatGPT Pro档新订阅与升级,其他套餐及现有用户不受影响。

ChatGPT面向在读大学生推出4个月免费Plus优惠(截止10月31日),本文实测两种领取方法,详解SheerID学生身份验证、Plus订阅及激活领取的完整流程,并建议在当前订阅快到期时再激活以避免覆盖已付费月份。

OpenAI于8月26日向所有免费用户开放ChatGPT侧栏的定时任务功能,使其覆盖9亿周活用户中的九成以上,免费版可设3个任务并支持一次性提醒、周期性任务和监测型任务三类场景,同期仅为Plus及以上付费用户上线接入Gmail、Slack和GitHub的事件触发能力。

2023 年,Dianne Penn 加入 Anthropic 时,这家公司的产品团队只有五名工程师,整个 API 业务由一名工程师负责。当时,OpenAI 已经凭借 ChatGPT 和 GPT-4 建立起领先优势,Anthropic 还在寻找自己的产品定位。