#OpenAI

Gary Marcus 发推怼 OpenAI：别光吹 Astra 万能，连数学行不行都存疑。围观他怎么拆台。

Gary Marcus@GaryMarcus11 个信源在谈原文

OpenAI的Astra模型一口气放出10个数学证明，还带Lean验证和推理过程，数学爱好者可以围观了。

elvis@omarsar011 个信源在谈原文

Gary Marcus公开质疑OpenAI的249页数学论文不讲模型机制，和普通论文比缺了关键验证细节。

Gary Marcus@GaryMarcus6 个信源在谈原文

Sam Altman用Codex做了条招聘视频，聊OpenAI使命和入职理由，员工意见在公司里能直接传达。

官方账号Sam Altman@sama11 个信源在谈原文

Gary Marcus说：Astra数学成绩亮眼，但实际可靠性没验证，别急着嗨。

Gary Marcus@GaryMarcus11 个信源在谈原文

OpenAI老板发现，让ChatGPT代替你找同事帮忙，反而招人烦。想用AI协作前先看看这个。

AI Will@FinanceYF511 个信源在谈原文

OpenAI内部发现：ChatGPT接入Slack后，AI代劳求助反而招人烦，真人开口大家却愿意帮。挺有意思。

官方账号Greg Brockman@gdb11 个信源在谈原文

OpenAI用Astra模型解决了十个多年没人做出来的数学难题，整个研究烧了约2000美元的token，还在Lean里验证过，值得看看。

OpenAI的Astra模型花约2000美元解出10个数学难题，证明还带Lean验证，硬核得让人服气。

官方账号Greg Brockman@gdb11 个信源在谈原文

OpenAI一口气放出十项数学和理论计算机科学进展，几何、密码学、复杂性全覆盖，都是几十年没解开的难题。

OpenAI 说自家模型现在有 10 亿人用、200 万企业在用，还降了 GPT-5.6 两个版本的调用费，想了解行业盘子可以看一眼。

今天 HN 干货多，UEFA 硬刚 FIFA、电梯模拟器好玩，还有 DeepSeek 和 OpenAI 上新

OpenAI给GPT-5.6 Luna降价80%、Terra降价20%，还加了Sol快速选项。用API或Codex的，省钱。

官方一手@OpenAIDevs@OpenAIDevs11 个信源在谈原文

OpenAI端掉一个用ChatGPT搞诈骗的团伙，涉及投资、婚恋、赌博，安全团队这次直接出手了。

OpenAI 把 GPT-5.6 Luna 砍价 80%，Terra 降 20%，在 GitHub Copilot 里就能直接用，试试看。

GitHub@github11 个信源在谈原文

Altman说好模型有先兆：可靠性上去、效率猛增，还能更快。他嫌现在太慢，想看完整观点可以点开。

官方账号Sam Altman@sama11 个信源在谈原文

OpenAI拿GPT-5.4对打Luna，同分但价格只要人家的1/13，做应用的成本要崩了。

官方账号Sam Altman@sama11 个信源在谈原文

OpenAI发了一篇欧洲AI治理的文章，讲他们怎么落实安全透明，和欧盟AI法案配套，关心监管的可以看看。

OpenAI 把怎么把 AI 做便宜、做普及的思路讲清楚了，搞 AI 的都该看看。

OpenAI刚降价，DeepSeek就发新模型，换模型的速度都赶不上这波价格战。

Geek@geekbb11 个信源在谈原文

欧盟AI透明度新规8月2日生效，聊天机器人和深度伪造都得亮明身份，违者最高罚750万欧元。