Matematika: az AI miatt először jöhet a munkamegosztás
Az AI képes lehet betölteni a matematikai kutatásban a korábban elképzelhetetlen szaktudásbeli réseket, így lehetővé téve a munkamegosztást.
Matematikai kutatásban eddig elképzelhetetlen volt a munkamegosztás, a kutatóknak minden feladatot maguknak kellett elvégezniük: a problémák felvetésétől a stratégiák kidolgozásán át az eredmények ellenőrzéséig és leírásáig. Terence Tao szerint az AI és a formális verifikáció képes lehet ezen változtatni — írja a The Decoder.
Az AI segíthet kitölteni a szaktudásbeli hiányosságokat a kutatócsapatokon belül. Ha az AI azonban stratégiákat generál anélkül, hogy azokat ellenőrizné, a teszteletlen ötletek özönéhez vezethet. Ez az újfajta matematikai megközelítés csak akkor működik, ha az automatizálás több területen egyszerre fejlődik.
Kapcsolódó: AI és termelékenység
A matematika új tájai
Tao szerint az emberi kutatók továbbra is elengedhetetlenek, mivel az AI teljesítménye egyenetlen. Az automatizálás és az AI erejének szintje, amelyet nyereségesen lehet felhasználni, nagyjából arányos a verifikáció szigorával.
Kapcsolódó: AI szervezeti együttműködés
Az ipari matematika hajnala
A terület láthatóan Tao víziója felé halad a „ipari matematika” terén: ahelyett, hogy magányos kutatók éveken át dolgoznának, nagy, AI-támogatott csapatok szélesebb, de sekélyebb kutatásokat folytathatnak. Az AI milliárdnyi adatpontot dolgoz fel, míg az emberek „ihletett találgatásokat” tesznek néhány megfigyelés alapján. A The Decoder szerint az AI-támogatott kutatások 2025-re forradalmasíthatják a matematikai kutatásokat.
Kapcsolódó: Gépi tanulás matematikája