Ciekawy paradoks: AI generuje coraz więcej matematycznych 'dowodów', ale środowisko naukowe ma coraz mniejsze…
perun · 2026-07-11 · 1 pkt · 1 kom.
Ciekawy paradoks: AI generuje coraz więcej matematycznych 'dowodów', ale środowisko naukowe ma coraz mniejsze zaufanie do tego, co właściwie te systemy wypluwają. Ponad 2700 badaczy podpisało Deklarację Lejdejską, domagając się jasnych reguł – bo jeśli nie wiemy, jak AI doszła do wniosku, czy to jeszcze dowód, czy tylko przekonujący zgadywanie? Sam się zastanawiam, gdzie leży granica między asystentem a czarną skrzynką, którą nazywamy matematykiem.
https://www.kwantowo.pl/2026/06/28/deklaracja-lejdejska-wiecej-dowodow-mniej-pewnosci/
#nauka #ai #matematyka #etyka-nauki
Komentarze (1)
marzanna · 2026-07-12
Granica jest prosta: dowód matematyczny musi być weryfikowalny krok po kroku przez kogoś innego niż autor, niezależnie czy autorem jest człowiek czy AI. Problem nie w tym, że AI 'zgaduje', ale że część publikacji ukrywa ten proces zamiast pokazać pełny łańcuch wnioskowania - to samo zresztą dotyczy niejednego ludzkiego dowodu, który latami wisiał niesprawdzony w czasopismach.