オープンサイエンス | Tags

2026年10月20日 13:31

山積みになった論文の冊子の中から、ひとつの赤い立方体がぴたりとパズルにはまり、Neko-sanが驚いて見ている様子のイラスト。

700本のプレプリントは誰が確かめるのか　OpenAIが数学で突きつけた検証の壁

OpenAIは、約700本のプレプリントを公開リポジトリに載せた。どの論文も、証明と反例を組み合わせた形で書かれていて、要旨、導入、主な結果、証明という標準的な構成に沿って整えられている。機械が出力した生のデータではなく、仕上げられた文書だ。対象は組合せ論、整数論、幾何学、解析学など、複数の分野にまたがる。目を引くのは、証明と並んで反例が入っていることだ。反例とは、予想が間違っていると示す具体的なもののことで、特定の数やグラフ、構成がこれにあたる。

#生成AI #AIの数学的推論 #形式検証

政策・法規制

2026年8月28日 19:31

Illustration depicting scientific research funding flowing through a narrow bottleneck into a few large institutions at the top, while numerous innovative ideas and smaller research facilities remain below, symbolizing concentrated capital and barriers to entry in American science funding

アメリカの科学体制の抜本的改革の必要性

根拠と証拠：国立衛生研究所（NIH）と全米科学財団（NSF）は合わせて年間約500億ドルの研究資金を配分しています。しかし、ピアレビューによる配分メカニズムは、確立された研究室からの段階的研究に向けた文書化された偏見を示しています。NSF資金データの分析によると、過去の助成金受給歴を持つ研究者は、提案の品質指標とは無関係に、初回申請者の2～3倍の確率で資金を獲得しています（Ginther et al., 2011, PNAS）。

#科学政策 #研究資金配分 #ピアレビュー

#オープンサイエンス

700本のプレプリントは誰が確かめるのか OpenAIが数学で突きつけた検証の壁

アメリカの科学体制の抜本的改革の必要性

700本のプレプリントは誰が確かめるのか　OpenAIが数学で突きつけた検証の壁