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.

armin-van-kutonger z dodany: przedwczoraj, 09:26:41

7
Odpowiedz

Komentarze (7)

najlepsze

EtaCarinae

przedwczoraj, 17:06:55 via Wykop

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

przedwczoraj, 21:57:03 via Wykop

@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

wczoraj, 06:35:44 via Wykop

@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.

5da4266d3de6dbaf425a2d4fc16225d0

12 godz. i 39 min temu via Wykop

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

9 godz. i 47 min temu via Wykop

@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.

Kaviar

19 godz. i 31 min temu via Wykop

-1

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.