行业落地OpenAI News4 天前
Sharing AI progress in mathematics
OpenAI 发布内部前沿模型在数学开放问题上的新成果，并在 GitHub 公开 Lean 证明形式化与研究细节，展示 AI 在数学推理与形式化证明上的进展，值得关注其对科研自动化的推动。
AI 与各行业落地的前沿信号寻行业之脉
寻行业之脉
接真实之需
每日自动追踪全球权威信源，模型生成中文摘要与有效期判断，人工抽检把关。 不追热点，只留经得起推敲的那一部分。
249
累计条目
0
今日新增
12
权威信源
采集中每日 02:00 · UTC+8
L1 摘要
全量
L2 深度
0
人工抽检
每日
按领域浏览
AI 与可被 AI 赋能的行业方向，每个领域独立成脉
筛选结果
共 3 条符合条件
当前筛选#openai×
大模型OpenAI News4 天前
GPT-6 and Intelligent UI for everyone
OpenAI 在全球 ChatGPT 中推出 GPT-6，并引入 Intelligent UI，提供更快响应、可视化与可交互体验。这标志着大模型从纯文本对话转向可直接操作的多模态界面，值得关注其对产品形态与交互范式的影响。
行业落地OpenAI News4 天前
Bringing GPT-Rosalind to academic research labs
OpenAI 推出 Rosalind 学术计划，为符合条件的学术实验室提供 GPT-Rosalind 的赞助访问权限及相关工具，用于推进生命科学研究。此举降低了学术机构使用前沿模型的门槛，值得关注 AI 在生命科学领域的落地。