ジャスティン・サン氏、「ジャスティン・サン賞」を設立　数学の発展に100万ドルを拠出

ジャスティン・サン氏のオフィスは、数学の難問解決と機械による形式検証を対象とした学術賞「ジャスティン・サン賞」の設立を発表した。従来の推薦や資格制限を排除し、AI時代の科学研究加速を目指す。第1回受賞者として、OpenAIの研究チームが「ナビエ・ストークス方程式の解の存在と滑らかさ」に関する証明で最高賞の100万ドルを獲得した。この証明はOpenAIの内部モデルが生成し、GPT-6 Astraが検証を行った。