大模型能写出工业级优化算法吗?MIT 提出 FrontierOR 给 AI 设下考场

麻省理工学院等机构发布了一个全新的 LLM 评测基准 FrontierOR,不再只考大模型“会不会建模”,而是要求它像算法工程师一样,直接为复杂工业问题设计可运行、高质量、比通用求解器更快的高效算法。

麻省理工学院等机构发布了一个全新的 LLM 评测基准 FrontierOR,不再只考大模型“会不会建模”,而是要求它像算法工程师一样,直接为复杂工业问题设计可运行、高质量、比通用求解器更快的高效算法。

「妙呀」作为全球首个聚焦潮玩创作者的 AI 设计平台,面向全量用户开放公测,旨在降低潮玩 IP 设计门槛,加速从创意到模型的生成流程。对潮玩行业和 AI 设计工具的商业化应用而言,这是一个值得关注的细分落地案例。

韩国存储芯片制造商 SK 海力士正式在纳斯达克上市交易,通过发行美国存托凭证(ADR)筹集 265 亿美元资金,挂牌首日股价上涨 13%。这家公司正试图用 AI 驱动的长期需求,打破过去几十年存储芯片行业“繁荣-过剩-萧条”的周期性魔咒。

7月11日,韩国存储芯片巨头SK海力士通过美国存托凭证(ADR)上市,首日股价大涨13%,募资265亿美元创下美股史上外国企业IPO最大规模。市场核心逻辑是:AI对高带宽内存(HBM)和传统存储芯片的饥渴需求,可能已永久改变存储芯片行业长期以来的盛衰周期。

科研团队在《自然·通讯》发表论文,提出一个名为EmulatRx的多智能体框架,通过五类AI智能体协作,自动从电子健康记录等真实世界数据中提取证据并生成临床试验设计报告,有望将传统耗时数周甚至数月的试验前期设计流程缩短至数天。

OpenAI 研究院昨日使用最新发布的 GPT-5.6 模型,在一小时内完成了一项存在近半个世纪的图论猜想证明——循环双覆盖猜想。团队通过一个 700 词的 Prompt 调度了 64 个子 Agent 并行工作,最终生成了一份 3 页的完整数学证明 PDF。

2026年7月以来,A股AI核心“小登股”(高成长小市值科技股)经历深度回调,超七成标的从年内高点回撤超20%,其中民爆光电一度回撤42.54%。机构普遍认为这不是单一事件触发的崩盘,而是海外算力叙事变化、交易拥挤、资金面波动和中报业绩验证压力多重共振的结果。当前AI产业景气度并未逆转,算力租赁报价上行、大模…

OpenAI的AGI部署首席执行官菲吉·西莫在因慢性神经免疫疾病休病假三个月后,宣布将辞去全职职务,转为兼职顾问。她的离职正值OpenAI筹备IPO、并刚刚推出整合了智能体功能的“超级应用”之际,其职责将由三位高管分拆接手。
![[问与答] codex 的重置卡过期是废弃还是自动重置一次](https://www.chat-gpts.plus/wp-content/uploads/2026/07/ai_cover_4-335-768x403.jpg)
V2EX 社区用户因 OpenAI Codex 内置的“重置卡”即将于 2026 年 7 月过期陷入疑问——这张卡到期后是直接作废、还是自动触发一次新额度重置。目前官方描述未明确写出自动重置机制,社区观点倾向于认为过期即废弃。

OpenAI 公开回应外界对其数据使用方式的担忧,强调不会利用客户或合作伙伴的商业秘密进行模型训练,其核心目标仍是推进基础模型技术的研发。