Wiadomości

1

DyLEMaty / Odp: AI - przerażająca (?) wizja

« dnia: Października 10, 2026, 06:23:01 pm »

I?

2

DyLEMaty / Odp: AI - przerażająca (?) wizja

« dnia: Października 10, 2026, 02:14:07 pm »

No toż samo piszę. Zwłaszcza w praktycznych. Jak w szkole nie pamiętałem jakiegoś twierdzenia to kombinowałem z kilku liczb jakie ono jest - nie bawiłem się w dowód ogólny, którego zresztą nie umiałbym przeprowadzić a może nawet nie miałem nawet przebłysku świadomości, że takowy może w ogólności istnieć. Zgarniałem piąchę bez wkuwania i miałem w nosie jak się to ma do platońskiego wzorca. Przypuszczam, że pomarańczowy cymbał i paru innych mogących wciskać guziki kombinuje mniej więcej tak samo. Jak można wyczytać :

Coraz więcej matematycznych dowodów powstaje w języku Lean. To specjalny język i system komputerowy służący do formalnego sprawdzania dowodów. Zwykły matematyk opisuje swoje rozumowanie słowami i wzorami. W Lean trzeba zapisać je jako ciąg precyzyjnych kroków logicznych, które komputer może skontrolować jeden po drugim.

Ja mam na to za mały rozumek, ale tak w ogóle to przypuszczam, że za rogiem czai się Godel.
Poza tym jeśli jesteś w stanie przepisać swoje równanie na ciąg znaków zrozumiałych dla komputera to on sprawdzi, czy gdzieś nie zamieniłeś plusa z minusem czy alternatywy z koniunkcją. Ale jak się rypniesz to sprawdzi co innego - vide z art.:

... firma z wielką pompą ogłosiła rozwiązanie jednego z siedmiu problemów milenijnych, dotyczącego równań Naviera–Stokesa opisujących ruch cieczy i gazów. Matematycy od ponad dwóch stuleci nie potrafili rozstrzygnąć, czy w trójwymiarowym przepływie mogą powstać osobliwości, czyli miejsca, w których matematyczny opis ruchu płynu się załamuje... OpenAI przedstawiła dowód, że w pewnych warunkach takie osobliwości rzeczywiście mogą się pojawić.... trzech matematyków z King's College London i Cambridge opublikowało analizę, w której wskazali rozbieżności między obiema wersjami. Okazuje się, że w kilku miejscach komputer sprawdzał nieco inne twierdzenia niż te przedstawione w tekście dla ludzi.

3

DyLEMaty / Odp: AI - przerażająca (?) wizja

« dnia: Października 09, 2026, 05:49:15 pm »

Ta, czytałem to wcześniej i myślę, że będzie jak ze wszystkim, jeśli maszyna umożliwi (dajmy na to) rozwalenie liczb pierwszych i to będzie działać, to nikt, a zwłaszcza jej twórcy, nie będzie sobie zawracać głowy matematykami i czy oni to rozumieją. Zresztą, bardzo możliwe, że nie będą w stanie zrozumieć. A po co rozumieć, skoro można wybrać kasę z wszystkich kont na świecie ? A że hobbistycznie można się bawić. Można, wszak my tu się od czasu do czasu zabawiamy w rozwiązywanie matury z mat-fizu.

4

DyLEMaty / Odp: AI - przerażająca (?) wizja

« dnia: Października 09, 2026, 03:35:49 pm »

Jak donosi Piotr Cieśliński z GW:

Jednego dnia AI opublikowała ponad 700 prac z rozwiązaniami problemów matematycznych, nad którymi ludzie głowili się od dziesięcioleci, a czasem od ponad stu lat. Matematycy są jednocześnie zachwyceni, zszokowani i oburzeni... Prace dotyczą najróżniejszych dziedzin matematyki, od algebry i geometrii po fizykę matematyczną i algorytmy kwantowe. Niektóre problemy czekały na rozwiązanie ponad sto lat... Są też wyniki związane z hipotezą Riemanna i hipotezą Hodge'a, które należą do słynnych problemów milenijnych...
...
Matematycy mogą wkrótce stanąć przed niewdzięcznym zadaniem: zamiast samodzielnie odkrywać nowe twierdzenia, będą całymi latami próbowali zrozumieć to, co maszyny już udowodniły.

- i - przyp. mój - próbować sprawdzić, czy to prawda. Co jest wybitnie trudne bez uprzedniego zrozumienia problemu.

5

Lemosfera / Odp: Komiks Kongres Futurologiczny - Rafał Mikołajczyk

« dnia: Października 07, 2026, 05:27:06 pm »

Przypuszczalnie jest tak, że treść książki jest znacznie bogatsza niż treść, jaką można zawrzeć w komiksie. Po drugie ja tak mam, że kiedy czytam książkę, to sobie mogę wszystko wyobrazić. Natomiast komiks (czy film) daje już "gotowca" i koleinę, którą chcąc nie chcąc podążą się, wyłączając wyobraźnię. Ogólnie czytywałem komiksy, aczkolwiek już dawno nie, ale było w porządku. W danym wypadku chyba nie umiem tego bezstronnie ocenić, zbyt lubię tę książkę i chyba komiks odbieram jako spłaszczenie rzeczy.

6

Lemosfera / Odp: Komiks Kongres Futurologiczny - Rafał Mikołajczyk

« dnia: Października 07, 2026, 01:03:50 pm »

Nie czytałem, ale Niezwyciężony w tej wersji kompletnie mi nie podszedł - na marginesie.

7

DyLEMaty / Odp: AI - przerażająca (?) wizja

« dnia: Września 29, 2026, 12:06:08 pm »

W tym momencie a nawet w każdym innym próby okiełznania tego przypominają próbę okiełznania mikrobów ustawami czy umowami na szczeblu krajowym lub międzynarodowym. Metafora o tyle nietrafiona, że mikroby nie analizują sytuacji w czasie rzeczywistym i adaptują się nieco dłużej jednak.

8

DyLEMaty / Odp: Matematyka królowa nauk ;)

« dnia: Września 16, 2026, 12:44:10 pm »

Ta, tylko wieczorami wnosząc śmieci a to jakiemuś dzieciakowi przykopię, a to staruszce torebkę wyrwę. Tyle mej radości.

9

DyLEMaty / Odp: Matematyka królowa nauk ;)

« dnia: Września 15, 2026, 07:48:27 pm »

Żart jest bardzo nieścisły - w paraolimpiadzie biorą udział osoby z niedomogami fizycznymi - bez ręki, nogi itd. Ciągnąc ten (IMO słaby) żart i wczuwając się (IMVHO) w koleiny myślowe owego żartu, to musiałaby być olimpiada specjalna. Do której zresztą, ze względu na swoją nieścisłość, autor byłby przypuszczalnie dopuszczony .

10

DyLEMaty / Odp: AI - przerażająca (?) wizja

« dnia: Września 09, 2026, 05:20:48 pm »

Ta, czytałam już kilka art. na ten temat, ale to (sądzę) nie do wątku o AI (jako takim) tylko raczej do jakiejś historio-socjologii czy obyczajówki lepniaczej. Historia nauki jest przepełniona gwałtownymi nieraz lub podstępnymi działaniami mającymi na celu utrzymanie bądź zagarnięcie palmy pierwszeństwa, wiec nihil novi sub sole.

Novum sub sole jest natomiast rozwiązanie tego problemu (o ile ono faktycznie nastąpiło) przez śtućną enetelegencję. Niedawno czytałem z tej perspektywy o hipotezie Riemanna... W każdym razie przybywa doniesień o problemach, z którymi ludzie latami sobie nie poradzili a śtućna entelegencja i owszem. Samo spojrzenie na zapisane równanie Naviera-Stokesa może zabić co słabsze jednostki... nawet zapisane klasycznie, gdzie przynajmniej (same) symbole różniczki są zrozumiałe, hi, hi...

11

Hyde Park / Odp: no nie mogę...

« dnia: Sierpnia 27, 2026, 10:03:07 am »

Czy do kogoś też tak czule pisze Trump jak do mnie?

12

DyLEMaty / Odp: AI - przerażająca (?) wizja

« dnia: Sierpnia 21, 2026, 12:02:38 pm »

... i zaczynam się całkiem poważnie zastanawiać, czegóż to kobiety mogą od tego kosmosu oczekiwać...

Tego, czego brak facetom - głębi!

13

Hyde Park / Odp: Jakie są najciekawsze anachronizmy technologiczne w twórczości Stanisława Lema?

« dnia: Sierpnia 19, 2026, 08:13:58 pm »

No cóż, dalsza rzeczywistość okazała się przaśna, więc w kosmos.

14

Hyde Park / Odp: Jakie są najciekawsze anachronizmy technologiczne w twórczości Stanisława Lema?

« dnia: Sierpnia 19, 2026, 07:28:58 pm »

No i cóż, mamy więc tu, AD 2026, sztucznego członka, którego był przewidział Lem. I tenże członek pyta się co przewidział Lem. Sytuacja szkatułkowa. Sam nie wiem, czy kasować, czy zostawić z ciekawości...

15

DyLEMaty / Odp: AI - przerażająca (?) wizja

« dnia: Sierpnia 16, 2026, 07:53:41 pm »

Ta, dość często czytuję rzeczy z DWŚ więc teraz mi wyskakują rozmaite AI-filmiki o spitfirech i rozmaitych bohaterach zwłaszcza, także naszych narodowych, polskich, w stylu jak o Czapajewie, że granatem 4 czołgi niemieckie zniszczył a potem granat oddał z powrotem kamandirowi, albo pokręcił śrubokrętem śrubkę w silniku i nagle Merlin sam Niemców zabijał - wszystko brednie przetwarzane jak gumoleum z tej internet-masy. Ale Iran się za to wziął ponoć . Apropos gumoleum to bardzo dawno robiłem taką fabryczkę - robią to z rzeczy mniej więcej takich jak mielone w "Zakazanych rewirach" -  właściciel mnie oprowadzał po zakładzie i ta pulpa chemiczna idzie przez walce w maszynie drukarskiej gdzie nakłada się rzucik - a to marmor, a to cegiełkę - i on mówi, że te właśnie, tutaj maszyny, świętą Trybunę Ludu drukowały onegdaj - a on je odkupił po taniości po upadku i teraz używa na pohybel jako prywatna inicjatywa, kapitalista można powiedzieć, a burżuj prawdę powiedziawszy:) ...