AI & 機械学習分析1万体のエージェントによるOpenAIのナビエ–ストークス証明、注釈つきの到達OpenAIは1万体のエージェントがナビエ–ストークス方程式の特異点を発見しLeanで検証したと発表。クレイ賞は請求せず、功績をめぐる論争が起きている。Seung Jung·6 日前6分
