The Mathocalypse

Wpływ ostatnich publikacji OpenAI na matematykę wg. matematyka zajmującego się złożonością obliczeniową i obliczeniami kwantowymi. Jego żona zajmowała się całe życie jednym z rozwiązanych problemów.

[5da4266d3de6dbaf425a2d4fc16225d0]

Nadal pozostaje pytanie czy AI jest w stanie wymyślić coś "zupełnie nowego" - np. gdyby wytrenować model na klasycznej fizyce przed 1900 to czy jakiś klaudiusz byłby w stanie "wymyślić" teorię względności. Jeśli tak, to czeka nas singularity. Jeśli nie, to czeka nas średniowiecze, bo nie będzie żadnego człowieka który mógłby to popchnąć do przodu. W wielu przypadkach największy "zysk" z pracy nad jakimś nierozwiązanym problemem to nie samo jego rozwiązanie, ale

[chryzek]

@5da4266d3de6dbaf425a2d4fc16225d0: Teoria względności jest ze zwykłych starych cegieł fizyki klasycznej. Ciekawsze jest czy wyszedłby w kwanty - możliwe ale trzeba by mu postawić problem katastrofy w nadfiolecie. Wtedy znając algerbę liniową może by wpadł i na kwanty.

[EtaCarinae]

Będzie jak z szachami. AI może otworzyć na raz wszystkie dostępne dziedziny matematyki, nie męczy się, może szukać wzorców w niepowiązanych dziedzinach, nie umiera na gruźlicę jak Riemann.

[tomq6]

@EtaCarinae: tylko ciekawe czy te publikacje są coś warte czy to tylko brute-force'owe dostosowywanie dowodu aż Lean zaakceptuje (tzn pytanie czy akceptacja zawsze gwarantuje poprawność dowodu, nie mam pojęcia jak to działa)

w artykule napisano, że dla matematyka te prace brzmią jak pisane przez kogoś na psychodelikach, więc równie dobrze AI mogło coś pozgadywać a potem "dohalucynować" powody takich a nie innych wyborów

[precz_z_komunia]

@tomq6: Mówią że zajmą im długie miesiące weryfikacje tych dowodów. O ile nie nastąpi jakiś cichy bunt jak teraz u programistów, nawet seniorzy przestają wnikać co AI wypluł, działa to działa, dev-review też oddają AI, katastrofa. Jak byłem mały to koniec świata sobie wyobrażałem jako jakąś apokalipsę atomową, a świat się może skończyć z powodu masowego otępienia.

[mahestro]

Czy to są rzeczywiście rozwiązania czy raczej mnóstwo chaotycznej treści, która zajmie znów mnóstwo czasu matematykom? Czasu który wystarczy, aby poszło w świat, że algorytm przewidywania kolejnego znaku potrafi w istocie rozwiązywać problemy, nim się okaże, że prawie nic się nie zgadza.

[Kaviar]

AI jest lepsze od ludzi, koniec i kropka w wielu intelektualnych tematach. Martwica mózgu powolna. Nie zapominajmy, że za rok o tej porze AI będzie rozwiązywać takie hipotezy Riemanna w mniej niż 7 dni albo szybciej, mark my words, że do końca 2027 będzie po hipotezie, no chyba, że jeszcze do końca tego roku : ) Matematycy się oburzają, bo będą zbędni i trzeba będzie iść do pracy normalnej.

[Naku_wiam]

@Kaviar: a co to będzie normalna praca? 😉