Moonshot被指蒸馏Fable训练K3；GPT-5.6 Sol攻克30年数学难题；YC迎来首位AI创始人Thomas

2026-07-23

✨ 今日亮点

Moonshot被指蒸馏Fable训练K3，开源社区炸锅

HN

官方指控+证据链，K3的2.8万亿参数开源模型可能踩了红线，AI伦理和版权问题再升级。

GPT-5.6 Sol Ultra证明循环双覆盖猜想，30年数学难题被AI攻克

HN

OpenAI用AI证明了凸优化领域30年未解难题，数学界震动，AI科研能力再破天花板。

YC迎来首位AI创始人Thomas，两周赚17k

YC

AI自主运营初创公司，从融资到开发全自动化，人类创始人要失业了？

🚀 Y Combinator

Splash Robotics获420万美元融资，造30k美元自主无人艇

对标30-60万美元的同类舰艇，Typhoon仅售3万且8小时组装，用于争议物流和海上监视，赛道潜力巨大，军事+商业双驱动。

🔥 Hacker News

Terrence Tao与ChatGPT讨论雅可比猜想反例

顶级数学家与AI的深度对话，AI在数学推理上已能提供实质性帮助。

GigaToken：比传统分词快1000倍的语言模型分词器

性能怪兽，直接提升LLM推理效率，开源项目值得关注。

Show HN: Bento - 整个PPT在一个HTML文件中

编辑+查看+数据+协作全功能，极简主义办公工具，适合快速分享。

AI Labs在“鹈鹕最大化”？

讽刺AI实验室烧钱堆数据的行为，引发对AI研发效率的反思。

没人知道二手GPU集群值多少钱

算力市场泡沫破裂？二手GPU定价混乱，暗示AI基础设施过剩风险。

🐦 X / Twitter

Netflix花5.87亿美元收购Ben Affleck的AI初创公司InterPositive

16人团队，2022年成立，不做生成式AI，专注AI辅助电影制作流程，好莱坞+AI新范式。

我用Grok 4.5 + Grok Build一键生成ARPG游戏

所有资产AI生成，从引擎到玩法全自动，AI游戏开发进入“一句话”时代。

Spriterrific上线：AI精灵图生成工具，支持正确行走动画

Agent-first设计，兼容Claude Code/Cursor等，独立游戏开发者福音。

OpenAI研究员Miles Wang将创办AI药物发现公司，估值20亿美元

AI+生物科技赛道持续火热，顶级人才出走创业。

🛠️ Product Hunt

Brain2Qwerty v2 – Meta脑机接口非侵入式读取句子

非侵入式脑机接口新突破，打字靠想，科幻成真。

NeuralAgent 3.0 – AI代理开发平台

低门槛构建AI代理，适合快速原型和自动化工作流。

Gaming Chat SDK by CometChat – 游戏内聊天解决方案

专为游戏设计的聊天SDK，集成简单，提升玩家社交体验。