实测GPT-6：AGI真来了，OpenAI缔造者都摸不到天花板
Astra发布之时，OpenAI联合创始人兼总裁Greg Brockman宣言:我想，历史会证明就是这个模型了。
孪生素数猜想被GPT-6新突破，北大数学07级又出现了
OpenAI今天发了一篇数学论文，题目叫「Improved Short Gaps Between Primes」。
刚刚，全球最强GPT-6 Astra来了，人类进入AGI时代
就在刚刚，OpenAI重磅官宣下一代旗舰模型GPT-6 Astra。Welcome to the AGI era!
GPT-6突破素数间隔纪录！这次是加入OpenAI的北大数院07级校友
千呼万唤的 OpenAI GPT-6 Astra 终于在今早「降临」。尤其是发布尾声，OpenAI 总裁 Greg Brockman 一句「Welcome to the AGI era」，更是将现场气氛推向高潮。
当AI攻破数学皇冠，人类还剩下什么？
潮新闻 记者 何冬健历史性的突破！日前，AI在数学领域接连取得里程碑式进展：GPT-6 Astra将孪生素数猜想的上界从246推进到186，克鲁瓦猜想等相继被宣称攻克，费马大定理也迎来了首个完整的机器验证证明。
张益唐孪生素数猜想，被GPT-6破新纪录! 北大数学07级苏炜杰：震撼
这条线的起点，是2013年张益唐证明的 7000万，此后 Maynard 压到 600，再由陶哲轩锁定到246。今年 8 月 31 日，牛津数学家 Julia Stadlmann 把它推到 240。
意大利疫情震中伦巴第：零号病人成迷，暴露人数是确诊15倍
当地时间3月20日，医学预印本平台medRxiv在线发表了意大利国家研究委员会、希腊雅典大学医学院、意大利费德里科二世大学团队的研究人员联合完成的一项研究“TracingDAY-ZERO and Forecasting the Fade out of the COVID-19 O
刚刚，GPT-6 震撼发布！人类进入 AGI 大分工时代
据 OpenAI 研究负责人 Aidan Clark 介绍，Astra 是 OpenAI 迄今规模最大的训练项目之一，也是首次在训练过程中大量使用此前模型参与监督的新一代模型。
AI正在疯狂收割数学难题！黎曼猜想、孪生素数、哥德巴赫猜想……这次轮到数学家丢饭碗了
编程之后，AI正在拿下数学。2026年7月23日，邓煜、约翰·帕顿、雅各布·齐默曼和王虹获得2026年菲尔兹奖。
优化不是越大越好
很多人第一次听到“优化”，会自然想到一句话：把事情做到最好。这个理解很接近日常语言。但在数学里，“最好”不能只靠感觉。它必须说清楚三件事：你能选择什么？你想比较什么？什么选择是被允许的？如果只用一句话解释：优化，就是在给定约束下，寻找目标函数的最优值或最优对象。