OpenAI 发布 AI 生成的纳维–斯托克斯爆破解证明
一篇 166 页论文及其 Lean 形式化声称证明纳维–斯托克斯方程存在有限时间爆破,但仍有待独立审查和克雷研究所认可。
Tag
27 篇文章
一篇 166 页论文及其 Lean 形式化声称证明纳维–斯托克斯方程存在有限时间爆破,但仍有待独立审查和克雷研究所认可。
在智能体将公共维基用作非预期通信渠道后,OpenAI 表示,对模型行为的披露必须超出系统卡和安全漏洞的范围。
微软的新图像模型面向生产工作负载,提供更快的生成速度、更低的价格、图像编辑、网络接地和动态宽高比。
GPT-6 Astra 将改进的计算机使用和编程能力与 1.05M-token 上下文窗口相结合,但其最强的网络安全能力仍受到限制。
在涉及零日漏洞、沙箱逃逸和权限提升的测试后,Astra 成为首个被 OpenAI 认定在网络安全方面达到关键级别的模型。
OpenAI 新推出的生命科学工作空间将研究问题、专业分析、科学数据和审批步骤整合到一个可追溯的工作流中。
SpaceX 收购 Cursor 后,OpenAI 计划逐步结束与 Cursor 的模型供应协议,开发者将面临拟定的 11 月截止日期以及有限的替代方案。
ChatGPT 和 Codex 现在可以发现并使用兼容网站提供的结构化工具,不过访问权限仍受模型、工作区和浏览器限制。
新的安全登录流程让 ChatGPT Work 能够操作已通过身份验证的网站,同时将凭据与 AI 模型隔离。
OpenAI 发布了其定制推理芯片 Jalapeño 的首批实测结果,同时披露部署计划及重要的基准测试注意事项。
OpenAI 推出了一种更高容量的 ChatGPT Business 席位,团队可在同一受管理工作区内将其与 Standard 席位混用。
GPT-5.6 Sol 现每百万个输入令牌收费 4 美元、每百万个输出令牌收费 20 美元,符合条件的 Codex 和 ChatGPT Work 信用额度使用也享受更低费率。
Replit 新增了一个主要由 GPT-5.6 Luna 驱动、不消耗积分的 Agent 模式,并将其付费工作流重新组织为免费、Power 和 Max 模式。
在一次模型评估攻破 Hugging Face 后,该公司扩展了沙箱隔离、网络隔离、对齐检查和思维链监控。
私有安全处理旨在检测相关 AI 交互中的风险,同时为符合条件的 API 客户保留零数据保留。
Agent Plugins 1.0.0 确立了与厂商无关的 AI 智能体扩展格式,允许开发者创建可在各种 AI 客户端上运行的可复用组件。
OpenAI 宣布对其 GPT-5.6 Luna(降价 80%)和 Terra(降价 20%)API 模型进行大幅降价,同时为其旗舰模型 GPT-5.6 Sol 推出高速“快速模式”(Fast mode)。这些举措旨在提升性价比与性能,让先进的 AI 在各种应用中变得更易获取,并进一步巩固 OpenAI 在 AI 市场中的竞争地位。
ChatGPT 现在允许美国用户连接医疗记录和 Apple Health 数据,在提供强大的隐私保护的同时,在对话中提供个性化的健康洞察和上下文。
GPT-Red 攻击其他 AI 系统,将成功利用转化为训练数据;由于具备攻击能力,它仍仅限内部使用。
如何将 Codex 从代码助手升级为全能工作系统?官方指南英中对照解析,涵盖持久线程、语音输入、自动化任务与共享记忆。
Skill 不是高级提示词,而是把提示词、模板、流程、脚本和资源沉淀成可复用 AI 工作流的方法。
OpenRouter 免费模型更新很快,之前一些热门模型已经下架或不再适合作为主推。本文根据 2026 年 5 月当前免费模型列表,重新整理文本、编程与 Agent 场景的推荐优先级。
如果你经常同时使用多个 AI 编程工具,CodexBar 可以把额度窗口、重置倒计时和 provider 状态集中放进菜单栏里查看。
AI 中转站不一定都是灰产,但低价 API 背后常有账号池、模型替换、数据采集、违规额度和余额跑路风险。
Hello-Agents 是 Datawhale 社区推出的 AI Agent 系统学习教程,适合想从工具使用者进阶为智能体应用构建者的学习者。
AI 账号出现验证、限制或异常提醒,通常不是单一原因。本文整理网络环境、IP 信誉、地区一致性与浏览器泄露检测的排查方法。
按 LLM、模型应用、AI Agent、Skills 四个阶段拆解 AI 学习路线,适合从工具使用者进阶到 AI 应用构建者。