仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。 曾经，循环双覆盖猜想由几位传奇数学家提出后，就像一座大山横亘在图论领域，让全球顶尖数学家望而却步。 现在，这座大山被 ...

Microsoft is extending Dataverse into coding-agent marketplaces while expanding its MCP tools, certification program and governance controls.

There is a glaring absence of designated bike lanes running north and south through the ...

Salt substitution was deemed cost-saving—producing better health outcomes at lower costs. Comprehensive adoption of potassium ...

With nearly two decades of retail management and project management experience, Brett Day can simplify complex traditional and Agile project management philosophies and methodologies and can explain ...

刚刚，OpenAI研究院Ethan Knight宣布：昨儿刚出的GPT-5.6，用不到一小时，就完成了一道存在了半个世纪的图论猜想证明。 我看呐，只要以后笔记本半开着，就没有人的事儿了。 昨儿刚出的GPT-5.6，用不到一小时，就完成了一道存在了半个世纪的图论猜想证明。

粉笔灰尚未散尽，投影幕布刚收起，教室灯光渐暗，而教师的备课才刚刚开始——深夜批阅作业的手写痕迹、跨平台整合课件的多任务切换、线上直播课堂的实时互动、学生学情数据的即时分析，这些真实而高频的教育场景，正呼唤一台真正懂教育者的平板电脑。它不单是屏幕更大一 ...

6月2日，Claude Code创作者Boris Cherny在公开活动中说，他已经不再亲自提示Claude，而是让Loop去提示Claude，判断下一步做什么。[1] 6月7日，OpenClaw创作者Peter ...

作者｜琪琪编辑｜星奈媒体｜AI大模型工场 ...

本文来自微信公众号： 字母AI ，作者：袁心玥过去几个月，三家AI大厂先后把生命科学摆到了更重要的位置。当地时间6月30日，Anthropic推出Claude ...