Út a matematikai szuperintelligenciához
145,248 plays|
Tudor Achim |
TEDAI San Francisco 2025
• October 2025
A generatív mesterséges intelligencia hallucinál, vagyis valótlan állításokat talál ki, ezzel pedig olyan igazságproblémát teremt, amelyet a tudomány nem engedhet meg magának. Tudor Achim informatikus szerint a megoldás egy 400 éves elképzelésben rejlik: Gottfried Wilhelm Leibniz olyan logikai keretrendszerről álmodozott, amelyben a hibák egyszerűen lehetetlenek. Ismerjük meg elképzelését a matematikai szuperintelligenciáról, amely a formális ellenőrzésre alapozná a mesterséges intelligenciát, és a megbízhatatlan csevegőrobotokat a tudományos felfedezések szigorú, megbízható partnereivé tenné.