[JP] OpenAIがナビエ・ストークス方程式の証明でLean 4形式証明を同時公開！検証時間を13万時間から17時間へ激減させた革命

[JP] OpenAIがナビエ・ストークス方程式の証明でLean 4形式証明を同時公開！検証時間を13万時間から17時間へ激減させた革命 [EN] OpenAI Releases Lean 4 Formal Proof for Navier-Stokes Equation, Slashing Verification T…

https://ai-minor.com/blog/en/2026-09-11-1789111392043-openai_s_navier_stokes_release_included_a_lean_4_f

#Lean4 #OpenAI #形式検証 #AI #Tech