シモンズ財団

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

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