Hejto.pl
Dodaj post

Wpisz coś do wyszukania (minimum 2 znaki)

Dzemik_SkrytozercaGruba ryba

Dołączył/a:

  • 639 wpisów
  • 5116 komentarzy
  • 2 obserwujących
DiffleDobre otwarcie i w drugim już było blisko ale najprostsze rozwiązanie mi umknęło. 14.09.2026 – #diffle #diffleen
DiffleProste ale jest sporo podobnych. 14.09.2026 – 🇵🇱 #diffle #difflepl #grywebowe 25 liter w 4 słowach
DyskusjeStrasznie się boję o swoja pracę. Jestem matematykiem, pracuję na uniwersytecie i od zawsze uwielbiałem to co
Gruba ryba1

@KryptoHuman

Obejrzałem ciekawy film z komentarzem:

https://youtu.be/cvTHBXyXM2I?is=mJxXZU275HMLpkQx

Dodatkowo, bardziej sucho na ten temat na Wikipedii:

https://en.wikipedia.org/wiki/Navier%E2%80%93Stokes_priority_controversy

W skrócie:

1. Jeśli to prawda, to rozwiązanie problemu kosztowało co najmniej siedem milionów dolarów (problem rozwiązał nowy model, weryfikacji dokonała Astra, zużyto miliardy tokenów).

2. Jeśli to niezupełnie prawda (częściowa prawda) bo AI korzystał z pracy dwóch matematycznych zapaleńców (z których jeden pracuje dla konkurencyjnej firmy), to i tak jest to niesamowite, choć nie już tak bardzo, osiągnięcie. Dodatkowo, jest to nieetyczne, bo nie opublikowano źródeł, oraz wykorzystano cudzą pracę przed jej oficjalna publikacja.

3. Na chwilę obecną nie ma oficjalnej publikacji żadnej z prac, a więc tym bardziej nie ma oficjalnej weryfikacji.

Czyli mamy hype za wiele milionów dolarów. Nie ma więc o co płakać.

Jeśli martwisz się o utratę pracy, no to na pewno za wcześnie.

The Controversy Behind AI Solving A Million Dollar Math ProblemAuf YouTube findest du die angesagtesten Videos und Tracks. Außerdem kannst du eigene Inhalte hochladen und mit Freunden oder gleich der ganzen Welt teilen.YouTube
Zawodowiec0

@KryptoHuman jak na razie ceny modeli idą w górę i firmy takie jak openai szukają sposobu, żeby wyjść na 0. Nie liczyłbym na jakąś dużą poprawę modeli.

Obecnie wprowadzane rzeczy do modeli są igraniem z ogniem czyli na krzywej S-kształtnej rozwoju jesteśmy raczej na końcu, a nie na początku.

Specjalista1

@Dzemik_Skrytozerca To prawda, że to rozwiązanie było bardzo drogie. Ale ono było drogie chwilowo - to, że dzisiaj technologia kosztuje x milionów nie znaczy że tyle będzie kosztować za kilka lat. Rozwiązanie olimpiady matematycznej w zeszłym roku kosztowało kilkaset tysięcy dolarów - dzisiaj zrobi to mój Claude za 20$.

Nie boję się tej technologii w obecnej formie - to wciąż za mało, żeby mnie zastąpić albo nawet realnie zagrozić. Boje się tego co nadejdzie za kilka lat.

Btw - myślę, że prawdziwa jest opcja 2. Należy jednak mieć na uwadze, że nawet jeśli AI korzystała z ich pracy to wciąż jest to imponujące - bo oni doprowadzali do blow upu w równaniu Eulera, czyli uproszczonym równaniu NS.

Co do weryfikanlności - OpenAI dostarczyło kod w Leanie, co na 99% gwarantuje poprawność. Wątpię, żeby cokolwiek okazało się niepoprawne w tym dowodzie.

Wybierz Społeczność13.09.2026 – #diffle #diffleen #grywebowe 72 letters in 14 words :large_green_circle: 42 :large_yellow_circle: 9
Wybierz Społeczność13.09.2026 – :flag-pl: #diffle #difflepl #grywebowe 28 liter w 4 słowach :large_green_circle: 19
Gruba ryba7

Na czasie.

13.09.2026 – :flag-pl:

35 liter w 5 słowach

:large_green_circle: 23 :large_yellow_circle: 1 :white_circle: 11 :red_circle: 0

https://deykun.github.io/diffle-lang/pl?r=QIpczYx4CO50Sai5CMtEWauUWO30ibhpnLiRmNtQnez5CMuETMuEjLzIjL2UjMtcDOlQzQlEmcllmY6hSI

DIFFLE gra jak Wordle (po polsku, bez limitu znaków) 🇵🇱Każde użyte słowo podpowiada pozycję i kolejność liter w haśle.Deykun
Programowanieunix #programowanie . źródło
Gruba ryba2

@malkontenthejterzyna

Zakładam, że niewiele pracowałeś z linuksem/uniksem, więc filozofia tamże stosowanego nazewnictwa jest Ci obca.

1. Krótkość nazw poleceń oszczędza Twoje dłonie i przyspiesza Twoje tempo. Jeśli tekst jest Twoim środowiskiem, to kazdy oszczędzony* znak robi Ci duża różnicę.

2. Skrócone nazwy mają sens. To po prostu zwykły obcy język. A w dodatku skrótowce są tak dobrane, że łatwo je zapamiętać.

3. Paradoksalnie, skrótowce motywują Cię do tego by się uczyć polecen. Ba, po to można robić aliasy, by skracać to jeszcze bardziej.

A dla ludzi, którzy blednie sądzą, że powershell jest lepszy:

grep -HR some_text *.log

Get-ChildItem -Recurse -Filter *.log | Select-String -Pattern "some_text" -CaseSensitive

* Jeśli znasz polecenia. Jeśli nie znasz, to używanie powershella też nie będzie frajda, bo konia z rzędem temu, kto bez czytania instrukcji się domyśli jak działa get-childitem

DiffleNie znałem co tłumaczy wynik. 12.09.2026 – #diffle #diffleen #grywebowe 54 letters in 11 words :large_green_circle:
DiffleŁatwe ale w pierwszych czterech słowach trafiłem tylko 2 litery... 12.09.2026 – 🇵🇱 #diffle #difflepl
Wiadomości Świat„Bezprecedensowy” ruch Niemiec. Berlin wydala 150 rosyjskich dyplomatów po incydencie z dronami na lotnisku w Lipsku
DiffleRzadko używam ale mogłem wcześniej na to wpaść. 11.09.2026 – #diffle #diffleen #grywebowe 31 letters in 5 words