OpenAI 公布前沿模型数学开放问题新成果并开源 Lean 证明形式化
OpenAI 公布其内部前沿模型在数学开放问题上取得的新结果，并在 GitHub 上分享 Lean 证明形式化及相关研究细节。
#研究/论文
#研究/论文
今日 0 条OpenAI News精选AI 评分3030
OpenAI News精选AI 评分2727 OpenAI 设立 500 万美元资助计划，研究生成式 AI 对青少年发展的影响
OpenAI 开放申请一项总额 500 万美元的资助计划，支持针对生成式 AI 如何影响青少年发展、身心健康与安全的独立研究。
Khan Academy Blog精选AI 评分3838 Khan Academy：真正提升早期小学阶段家庭参与度的六项策略
Khan Academy Kids 营销负责人结合研究指出，家庭参与学业成绩的关联效应量约为 0.7 至 0.75 个标准差，但学校主动开展参与项目的增益仅约 0.3 个标准差，学前至小学阶段约为 0.29。覆盖 448 项研究、逾 48 万家庭的元分析显示，参与类型比参与数量更重要，辅导作业是最弱的方式，与孩子谈论学校、参加学校活动更有效。
OpenAI NewsAI 评分3535 OpenAI 推出 MentalHealthBench：面向心理健康对话的 AI 评测基准
OpenAI 发布 MentalHealthBench，这是一个由专家参与构建的评测基准，用于评估 AI 在真实心理健康对话中回应的有用性与安全性。该基准覆盖多种贴近实际的对话场景，衡量模型在心理健康语境下的表现。
OpenAI NewsAI 评分2222 OpenAI 经济研究：员工如何用 AI 解锁新的工作方式
OpenAI 经济研究显示，员工使用 AI 的方式已超出传统岗位职责，部分新活动正成为其工作中的常规环节。该研究关注这些新工作方式的具体形态及其在员工日常工作中的固化情况。
Google AI BlogAI 评分2828 Google AI & Economy ATLAS 发布新数据可视化与科学家 AI 使用研究
Google 为 AI & Economy ATLAS 上线新的交互式开放数据可视化，便于查看各职业与各国的 AI 使用率。基于 ATLAS 的新研究分析了 2600 个专用 AI 模型并调查 600 余名美英科学家，发现近半数科学家每天使用 AI，每周节省近 7 小时，但验证 AI 输出与假设积压形成新瓶颈。
OpenAI NewsAI 评分1212 一位研究者如何用 Codex 和 ChatGPT 寻找新型抗菌分子
César de la Fuente 的实验室利用 Codex 和 ChatGPT，在现存与已灭绝生物的基因组中搜寻抗菌候选分子，以对抗耐药性感染。
OpenAI NewsAI 评分88 OpenAI 分享 Navier–Stokes 千禧年大奖难题的 AI 生成解答
OpenAI 分享了一份针对 Navier–Stokes 千禧年大奖难题的 AI 生成解答，包含一份书面说明和一份 Lean 形式化证明。