OpenAI matematikos pareiškimas kelia ginčą tarp mokslininkų

IEEE Spectrum spalio 5 d. pranešė, kad OpenAI pareiškimas dėl Navier ir Stokes problemos sukėlė ginčą tarp matematikų.

Leidinys rašo, kad kalbama apie vieną iš Millennium Prize problemų, todėl ginčas liečia ne tik rezultatą, bet ir akademines taisykles.

Tai svarbu, nes DI matematikoje jau naudojamas ne tik skaičiavimams, bet ir įrodymų paieškai bei mokslinių hipotezių tikrinimui.

IEEE Spectrum nurodo, kad rugsėjo 13 d. Heidelbergo laureatų forume matematikai diskutavo apie DI poveikį moksliniams tyrimams.

Straipsnyje minimi Michaelas Harrisas, Peteris Scholze, Geordie Williamsonas ir Jacobas Tsimermanas, dalyvavę diskusijoje apie akademinę priklausomybę nuo DI.

Mokslininkų ginčas rodo, kad vien techninis atsakymas nepakanka, kai reikia patikrinti autorystę, atkuriamumą ir tyrimo skaidrumą.

Pasak IEEE Spectrum, DI matematikoje spartina automatizuotų įrodymų paiešką, bet kartu kelia klausimą, kas prisiima mokslinę atsakomybę.

Navier ir Stokes problema priklauso prestižiniam Clay Mathematics Institute sąrašui, todėl bet koks pareiškimas apie sprendimą tikrinamas itin griežtai.

Matematikams rūpi ne tik galutinis atsakymas, bet ir kelias iki jo, nes įrodymas turi būti suprantamas nepriklausomiems vertintojams.

Jei DI sugeneruoja argumentą, kurio žmonės negali patikrinti įprastais būdais, akademinė bendruomenė gauna naują pasitikėjimo problemą.

IEEE Spectrum rašo, kad dalis tyrėjų baiminasi priverstinės priklausomybės nuo didžiųjų laboratorijų įrankių ir infrastruktūros.

Toks scenarijus pakeistų mokslo galių balansą, nes svarbiausi įrodymų tikrinimo įrankiai priklausytų privačioms DI bendrovėms.

Toliau matematikos bendruomenė turės sutarti, kaip vertinti DI padėtus įrodymus ir kas laikoma patikimu mokslo rezultatu.

Šaltinis: IEEE Spectrum.