Het is niet nodig om hiervoor een zuiver wiskundige te zijn.
Maar mensen hebben ook geen antwoord op die vraag. Je mag daar dan ook niet AI op afrekenen. Het zou trouwens heel goed zijn dat er geen methode voor is.
Het is niet nodig om hiervoor een zuiver wiskundige te zijn.
Dus jouw bewering is dat de mens nooit iets zal ontwikkelen wat intelligenter is dan hij zelf...?
punt is wel dat de mens niet zichzelf heeft gemaakt of dat nu zou kunnen. dat soort redenaties doortrekken naar silicium gebaseerd intelligent leven lijkt me met de huidige stand van zaken pure speculatie.
De uitspraak "AI kan dat niet" klinkt eerder als een geloofsovertuiging dan als een wetenschappelijke conclusie. Honderd jaar geleden dacht men ook dat machines nooit zouden kunnen schaken op grootmeesterniveau, menselijke talen begrijpen of wetenschappelijke hypotheses formuleren. Vandaag doen ze dat allemaal. Waarom zou het ontdekken van een bewijs voor een priemgetalprobleem principieel onmogelijk zijn voor een voldoende geavanceerde AI?
Ik acht de kans ook reëel dat er geen oplossing bestaat voor jouw probleem, dat er niets efficiënter is en een voor een alle getallen testen met Rabin Miller of een andere variant met nog wat optimalisaties erbij. In dat geval is je argument heel zwak, het probleem kan dan gewoon niet opgelost worden.
Omdat intelligentie gaat over verbanden leggen, vergelijkingen maken, numerieke berekingen, logische conclusies trekken, argumenteren, etc. Daar hoef je geen levend wezen voor te zijn (aka biologisch lichaam en bewustzijn hebben).
Nu, is het precies hetzelfde als menselijke intelligentie? Nee. Menselijke intelligentie stelt niet zoveel voor. Het is vooral patroonherkenning en minder op basis van extreem veel data. Ai gebruikt veel meer data om tot een eindresultaat te komen. In de toekomst zal dat waarschijnlijk veel efficiënter verlopen, zoals schaakcomputers ook geëvolueerd zijn.Advanced language models routinely achieve estimated IQ scores well above 130 on pattern-recognition and spatial-reasoning tests (like Raven’s Progressive Matrices).