OpenAI withdraws three mathematical results
AI summary
Editorial policyOpenAIがGitHubの数学リポジトリを更新し、6つの新しいLean形式化、19件の修正、3件の取り下げを実施した
Key points
- •リポジトリには6つの新しいLean形式化と19件の修正が追加された
- •3つの数学的結果が取り下げられた
- •トップラインの結果の約42%が形式化済みとなった
Related articles
See moreITmedia AI+
OpenAI、社内AIがリーマン予想の関連難問を証明と主張 論文722本をGitHubで公開
OpenAI revealed that it has published 722 mathematical results generated by its frontier models on GitHub, many of which include formal proofs using the Lean proof assistant.
ITmedia AI+
Anthropic、METRの評価チームを社内に常駐させ“従業員並み”のアクセス付与 公表に拒否権なし
Anthropic has started resident evaluations by the AI evaluation group METR, granting employee-level access and permitting independent disclosure of risks and incidents.
The Verge
ChatGPT can peek at your Chrome tabs now
OpenAI has upgraded its ChatGPT Chrome extension to allow the AI to view open browser tabs when tagged in the web or desktop app.
PC Watch
ChatGPT/Codexデスクトップアプリのディスク使用量が60%削減
OpenAI announced that it optimized how state data is saved to disk in the ChatGPT and Codex desktop apps, reducing storage capacity by 60%.
PC Watch
ChatGPTがまたリセット、15日16時頃までに利用枠回復。1日おきに3回目
OpenAI reset usage limits for ChatGPT and Codex on October 15, marking the third such reset in three days.