>·7 min
OpenAI Dakwa Swarm AI Menemui Penyelesaian Masalah Navier–Stokes
OpenAI mendakwa sistem AI dalaman menghasilkan bukti finite-time blowup untuk Navier–Stokes dengan 10,000 agents dan formalization dalam Lean.
openaiai-agentsmathematics
>baca lagi_