AI obaliło 80-letnią hipotezę Erdősa. Matematycy zweryfikowali wynik

Model rozumujący OpenAI znalazł kontrprzykład do hipotezy z geometrii dyskretnej, nad którą matematycy głowili się od 1946 roku. AI skompilowało istniejące podejścia z algebraicznej teorii liczb i dokonało tego, co ludzkiemu zespołowi zajęłoby dekady. Wynik zweryfikowali czołowi matematycy.

[vojtas123]

A to dopiero początek. Ciekawe czy problemy milenijne padną.

[ApageZ]

no nie wiem czy AI znajdzie odpowiedź na pytanie "co było pierwsze - jajo czy kura" ( ͡° ͜ʖ ͡°)

@lktr1: To akurat jest proste do udowodnienia na gruncie logiki.

[niepopularna-opinia]

@lktr1: jajka zwierzęta znosiły zanim wyewoluowały kury, czy nawet ptaki. Nie ma takiego dylematu.

[FLAC]

"AI jest głupie, sprawdzałem tego ChatGPT w 2022 i nie wiedział ile R jest w truskawce, od tamtej pory nie używam.".

[wilk-na-mikrofonie]

@FLAC: Sprawdziłem... do tej pory nie wie xDDDDD

[ukruszony__kubek]

@wilk-na-mikrofonie: jak zaplacisz to wie ( ͡° ͜ʖ ͡°)

[megunchi]

Ta "80 letnia hipoteza" to gówniany problem którego nikt z matematyków nie tykał bo jest po prostu bezużyteczne. Do tego nie rozwiązał nawet pełnego problemu, tylko wersję słabą.
To wszystko co czytacie to zwykły hype, marketing.

[Ilirian]

To wszystko co czytacie to zwykły hype, marketing.

@megunchi: Dodajmy jeszcze że ten problem był bardzo dobrze opisany w internecie i tylko brakowało znalezienia odpowiedniego podejścia by zakończyć całość. Nie wiadomo jak AI rozwiązało ten problem, równie dobrze mogło polecieć z brute force albo połączyć kilka gotowych opracowań. No i samo rozwiązanie to bardziej ciekawostka, fajnie że jest ale są ważniejsze problemy do rozwiązania

[Arkass]

To wszystko co czytacie to zwykły hype, marketing.

@megunchi:
@Ilirian
IMO:
Powiedziałbym, że

[Deray]

Prawdziwym przełomem będzie udowodnienie jakiejś hipotezy przez AI lub obalenie jej w inny sposób niż przez kontrprzykład.
Bo jednak znalezienie kontrprzykładu jest czymś gdzie komputery mają przewagę. Kontrprzykłady już były znajdowane bez AI.

[Tokko]

minely raptem niecale 4 lata…

@ukruszony__kubek: Jakie 4 lata? Wam sie wydaje ze AI to powstalo dopiero z ChatemGPT?

[kill15you]

@ukruszony__kubek: 4 lata od czego? sama idea to jest z tego co wiem bardzo stara więc nie wiem czy można mówić o tylko 4 latach. Natomiast skala się ostro zwiększyła w 4 lata

[OkruszekBojowy]

Wynik jest przełomowy, ale o zastąpieniu ludzi w matematyce jeszcze nie ma co mówić.

No nie ma i nigdy nie będzie. Ktoś musi ten problem wymyślić, ktoś musi wpisać prompta, ktoś musi zweryfikować halucynacje i ostateczny wynik ( ͡° ͜ʖ ͡°)

[bialy100k]

@OkruszekBojowy: Z pewnością niedługo pojawią dehalucynatory, weryfikatory i promptery*.

*) Nie w sensie sprzętu wspierającego czytanie-bo te już mamy. Lem byłby zachwycony słysząc nowe słownictwo, akurat niedawno powtarzałem "Kongres futurologiczny" :)

[OkruszekBojowy]

@Arkass: @bialy100k macie racje

[KubaGrom]

Pierwszym twierdzeniem matematycznym udowodnionym maszynowo było twierdzenie o kolorach map, mówiące że do pokolorowania map z przylegających konturów tak aby sąsiadujące obszary miały rożne kolory, wystarczą minimum cztery kolory. Stosunkowo proste twierdzenie okazało się mieć bardzo dużo możliwości; ostatecznie wykazano teoretycznie, że istnieje ponad 1900 niepowtarzalnych wzorów takich map. Ze względu na brak ogólnego podejścia, sposobem rozwiązania było sprawdzanie po kolei każdej opcji. Liczenie tego na papierze czy nawet z użyciem prostych

[Roofy]

@KubaGrom: dokładnie - wystarczy zwykły algorytm, który za każdym razem, wypluje jednoznaczny i ten sam wynik (w dodatku za darmo) a nie pseudo-AI używającą LLMów...

[Manah]

Pytanie czy ktoś rzeczywiście się zajmuje tymi problemami. Czy leżą na półce i raz na kilka lat ambitny śmiałek się pochyli.

[aleks0814]

@Manah: przyjdzie spóźniony student na wykład, pomyśli że to co na tablicy to zadanie domowe, rozwiąże je w ciągu tygodnia i kajając się przeprosi za spóźnione oddanie pracy ( ͡º ͜ʖ͡º)

[hal0]

A zdajcie takie pytanie ejai : do myjni samochodowej mam 100 metrów, czy mam iść pieszo?

[SerwerZKartofla]

@hal0: they had us in the first half

[kompek]

@hal0: Polecam na przyszłość popracować nad precyzją pytań - nie powiedziałeś, po co tam się chcesz udać, a mycie samochodu to nie jest jedyna słuszna odpowiedź. Równie dobrze możesz mieć tam znajomego, którego chcesz odwiedzić, albo umówiłeś się z kimś, że spotkacie się pod myjnią. Biorąc to pod uwagę, w tym przypadku odpowiedź "tak, spacer jest dobrym pomysłem" wcale nie jest taka głupia i bezsensowna, jak Ci się to wydaje

[ty_O]

C---a tam zrobiło. Chcesz mi zaimponować? Udowodnij hipotezę Riemanna

[Arkass]

C---a tam zrobiło.

@ty_O: A potrafisz więcej od tych AI?
https://wykop.pl/link/7950327/ai-obalilo-80-letnia-hipoteze-erdosa-matematycy-zweryfikowali-wynik/komentarz/137069317/ta-80-letnia-hipoteza-to-gowniany-problem-ktorego-nikt-z-matematykow-nie-tykal-bo-jest-po-prostu-bezuzyteczne-do-tego-nie-rozwiazal-nawet-pelnego-prob#137081857