INDEX · KEYWORD

数学

「数学」に関連する公開記事をまとめています。

$Simons 財団、AI が出した数学の証明を人が読み解くために1500万ドルのイメージ$

2026/10/175分

Simons 財団、AI が出した数学の証明を人が読み解くために1500万ドル

シモンズ財団・Anthropic・OpenAI が、AI 時代の数学に向けて資金と計算資源で計1500万ドルを拠出。OpenAI は500万ドル。AI が出した証明を数学者が検証し理解するための公募やワークショップを支える。

2–7 / 全7本

$OpenAI、社内モデルが書いた数学論文722本を公開のイメージ$

2026/10/74分

OpenAI が未公開の社内モデルによる数学論文 722 本を GitHub に公開。Lean の形式証明つきは 162 本で、残りは検証待ち。発見が AI から届く時代に、人の仕事は確かめる側へ寄っていく。

$数学者9人の独立グループ、OpenAI の数学成果の公開に助言のイメージ$

2026/9/224分

OpenAI が独立した数学者 9 人の助言グループと組む。無報酬・提言は自前で公開・決定権はなし。AI の「解けた」を誰が確かめるかの仕組みを読む。

2026/9/911分

Meta が Muse を米国で公開した。買い物、映画のチケット、テニスのレッスンの予約、遠足の許可証の記入。

2026/9/89分

同じ24時間に、電気と住まいを系統から少し外す製品の話が二つ並んだ。EcoFlow がベルリンの IFA2026 で新しいポータブル電源 PowerRock を発表した。

2026/9/610分

同じ24時間のなかで、ふたつの正反対のことが起きた。ひとつは、最新モデルが手元に降りてきたこと。

2026/9/510分

Anthropic が9月4日、「大きな数学の証明が正しいかを確かめるには何年もかかることがある。形式化——数学的推論を Lean のような証明支援系が検証できる形へ変換すること——が助けになる」と投稿した。