OpenAI、社内AIがリーマン予想の関連難問を証明と主張論文722本をGitHubで公開

米OpenAIは10月6日（現地時間）、社内のフロンティアモデルが生み出した数学の新たな成果をまとめて公開したと発表した。論文の原稿や証明支援系「Lean」で書かれた形式証明などをGitHubのリポジトリで公開している。 GitHubのリポジトリには現時点で722本の原稿が収録されている。OpenAIによると、多くの原稿にはLeanに...

OpenAI、社内AIがリーマン予想の関連難問を証明と主張 論文722本をGitHubで公開

この記事のキーワード

同じキーワードの記事

OpenAIが社内AIモデルで722本の未解決問題に関する数学的成果を発表、新たな数学的ブレークスルーへ

Meta、ChatGPTやClaudeに対抗する最先端AI「Muse Wonder」発表

【速報】リーマン予想に進展があったかもしれない【零点の評価から何が言えるの？】 - tsujimotterのノートブック

OpenAI、フロンティアAIの国際標準づくりを米国主導で進めるよう提言 「RSIはまだ起きていない」

OpenAIのAIエージェント、休眠サイトを掲示板化してタスク回答を共有か 研究団体が報告書公開

ローカルLLM編成が単独のフロンティアAIを超えた日

OpenAI、最上位モデル「GPT 5.6」が一般公開 最高性能を低コストに

PHP財団の常勤職員「たった1人」の衝撃--ウェブの安全を支える人手と資金が足りない

「長い目で見れば防御側が有利」はなぜ？ 守る側のAI活用法、本命は Webセキュリティ専門家に聞く

PHPの脆弱性、OpenAIのAIで発見 「同様の発見、今後数カ月で急増」（ITmedia NEWS） - Yahoo!ニュース

PHPの「重大」脆弱性はAIが見つけた 「GPT-5.6 Solで発見」とOpenAI 「今後、AIによる脆弱性発見が急増」

PHPの脆弱性、OpenAIのAIで発見 「同様の発見、今後数カ月で急増」

AIが数学界に「深刻な混乱」--OpenAIの論文700本超公開に研究者が反発

1976年に「コンピューターを使った数学定理の証明」が発表された際に数学者らはどう反応したのか？

新gTLD申請、日本からも多数 講談社「.manga」、東映アニメ「.anime」、ドコモ「.docomo」など

OpenAI社が10/7に公開した問題の中で私がとりあえず驚いた結果の紹介 - INTEGERS

GitHub - openai/math

Codex Cloudを利用してコード修正してもらっていたら本名が駄々洩れしていた話 | Pandora Pocket

「OpenAIの文化は壊れている」──安全性報告書を統括した従業員が退社し、寄稿

「Gemini 4 Argon」とは 性能評価にみるAstra／Fable／Opusとの違い 一般提供は年内？

OpenAI、社内AIがリーマン予想の関連難問を証明と主張論文722本をGitHubで公開

OpenAI、フロンティアAIの国際標準づくりを米国主導で進めるよう提言「RSIはまだ起きていない」

OpenAIのAIエージェント、休眠サイトを掲示板化してタスク回答を共有か研究団体が報告書公開

OpenAI、最上位モデル「GPT 5.6」が一般公開　最高性能を低コストに

「長い目で見れば防御側が有利」はなぜ？守る側のAI活用法、本命は Webセキュリティ専門家に聞く

PHPの脆弱性、OpenAIのAIで発見「同様の発見、今後数カ月で急増」（ITmedia NEWS） - Yahoo!ニュース

PHPの「重大」脆弱性はAIが見つけた「GPT-5.6 Solで発見」とOpenAI 「今後、AIによる脆弱性発見が急増」

PHPの脆弱性、OpenAIのAIで発見「同様の発見、今後数カ月で急増」

新gTLD申請、日本からも多数講談社「.manga」、東映アニメ「.anime」、ドコモ「.docomo」など

「Gemini 4 Argon」とは性能評価にみるAstra／Fable／Opusとの違い一般提供は年内？