Inwaragawag ti OpenAI a nakabukel ti maysa nga artificial intelligence system daytoy ti posible a solusion iti Navier-Stokes existence and smoothness problem, maysa kagiti pito a Millennium Prize Problems nga addaan ti premio a maysa milyon a dolyar.
Maus-usar iti Navier-Stokes equations tapno iladawan iti garaw dagiti fluid ken napateg kadagiti tay-ak kas iti weather forecasting, aircraft design, ken blood-flow studies.
Segun ti OpenAI, impakita ti AI-generated proof da a mabalin a maaddaan ti finite-time singularity nga awan ti pagpatinggaan iti kinapartak ti fluid iti uneg ti limitado a panawen. Naporma ken naberipika met iti proof babaen ti Lean, maysa a computer-assisted proof system.
Nupay kasta, saan pay a naan-anay a nasuksukimat dagiti mathematician iti 166-page proof. Kagiddan ditoy, adda ti kontrobersia iti nagbaetan ti OpenAI ken dagiti mathematician nga isuda Tristan Buckmaster ti New York University ken Levent Alpöge ti Anthropic maipapan iti nagpadaan ti resultada ken iti saritaan ti pammigbig iti ambag.
Saan met nga innala ti OpenAI iti maysa milyo a dolyar a Millennium Prize para iti resulta.###
