#Tim Gowers
このタグが付いた記事
Index
count=1- AI / MLtheme: テクノロジー
OpenAI、80 年来の Erdős 単位距離予想を反証 — Fields 賞 Tim Gowers らが検証
OpenAI は 5 月 20 日、社内の汎用推論モデルが Paul Erdős の 1946 年「単位距離予想」を反証する反例を構成したと発表した。Fields 賞受賞者 Tim Gowers を含む 9 名の外部数学者による companion paper が結果を検証し、Annals of Mathematics への投稿が推奨される水準と評価されている。