bizonyítás

Tíz éven belül jön a mesterséges matematikus, amit a Google magyar kutatója fejleszt

Tíz éven belül jön a mesterséges matematikus, amit a Google magyar kutatója fejleszt

2021.09.17.

Christian Szegedy, a Google Research magyar kutatója csapatával olyan rendszert épít, ami nemsokára túlszárnyalhatja a matematikusok legvadabb álmait: rutinból ellenőrzi majd azokat a bizonyításokat, amelyeket csak néhány ember képes megérteni a Földön, új sejtéseket jósol meg, és olyan távlatokat nyit a matematikában, amelyekről ma még fogalmunk sincs. A fő cél egy programozási rendszer, amelynek interakcióit nem lehet megkülönböztetni az emberitől.