Ostatnie wiadomości

Strony: [1] 2 3 ... 10
1
DyLEMaty / Odp: AI - przerażająca (?) wizja
« Ostatnia wiadomość wysłana przez Q dnia Października 10, 2026, 09:34:20 pm »
Takie spojrzenie na sprawę AI:

2
Hyde Park / Odp: Rzeź obyczajowa
« Ostatnia wiadomość wysłana przez Q dnia Października 10, 2026, 09:27:43 pm »
Co kraj, to obyczaj...
https://www.o2.pl/informacje/hitler-mussolini-i-wygral-wybory-w-peru-co-o-nim-wiadomo-7338189810624960a
3
DyLEMaty / Odp: AI - przerażająca (?) wizja
« Ostatnia wiadomość wysłana przez maziek dnia Października 10, 2026, 06:23:01 pm »
I?
4
DyLEMaty / Odp: AI - przerażająca (?) wizja
« Ostatnia wiadomość wysłana przez Hoko dnia Października 10, 2026, 02:32:32 pm »
Lean - mówisz i masz  :)
https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of-reliability-and-ai/
5
DyLEMaty / Odp: AI - przerażająca (?) wizja
« Ostatnia wiadomość wysłana przez maziek 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.
6
DyLEMaty / Odp: AI - przerażająca (?) wizja
« Ostatnia wiadomość wysłana przez Hoko dnia Października 10, 2026, 10:36:11 am »
Tu nie chodzi o buntowanie się, tylko o metodę. Te 'dowody', dopóki nie zostaną sprawdzone - teoretycznie albo w praktycznych zastosowaniach - są nic nie warte. Ta publikacja na razie to tylko marketing.
7
DyLEMaty / Odp: AI - przerażająca (?) wizja
« Ostatnia wiadomość wysłana przez Q dnia Października 09, 2026, 05:57:41 pm »
Cytat: Piotr Cieśliński
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.

Mnie w tym najbardziej ciekawi ile czasu zajmie weryfikacja ludzko-tradycyjnokomputerowa tych prac, i co wykaże.

Cytat: Hoko w Października 09, 2026, 05:12:50 pm
https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/

A kiedyś to tkacze się buntowali... 8)
8
DyLEMaty / Odp: AI - przerażająca (?) wizja
« Ostatnia wiadomość wysłana przez maziek 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.
9
DyLEMaty / Odp: AI - przerażająca (?) wizja
« Ostatnia wiadomość wysłana przez Hoko dnia Października 09, 2026, 05:12:50 pm »
https://x.com/ValerioCapraro/status/2108153427742032300

https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/
10
DyLEMaty / Odp: AI - przerażająca (?) wizja
« Ostatnia wiadomość wysłana przez akond dnia Października 09, 2026, 04:55:17 pm »
I jeszcze na zachętę - Naskręcki mówi też o Lemie:

Proszę sobie wyobrazić, że my, ludzie, nagle znikamy z planety, ale zostają po nas teksty matematyczne. Lem świetnie opisał to w „Pamiętniku znalezionym w wannie" – tekst pozbawiony ludzkiego kontekstu staje się martwy, informacja przestaje istnieć. Bez obserwatora i jego zrozumienia świat w pewnym sensie przestaje istnieć.

Lem był wielkim intelektualistą, który potrafił odrzeć problem z warstwy technicznej. Dla niego nie procesor był ważny, ale zjawisko. Inteligencja to narzędzie do porządkowania świata. Skoro zbudowaliśmy coś, co ten świat porządkuje – badajmy to, ale bez pychy. Historia nauki uczy, że za każdym razem, gdy ogłaszaliśmy „koniec odkryć", myliliśmy się srogo. Fizyka wciąż ma się dobrze, a my wciąż nie wiemy wszystkiego.
Strony: [1] 2 3 ... 10