Google'ın yapay zekası

Google, teorem ispatlayabilen bir yapay zeka yazılımı geliştirdi…
Önce 10.200 teoremi bu yazılıma tanıttı daha sonra bu sistem 1.200 teoremi ispatladı… Mesela Pisagor teoremi gibi ileride birçok ispatlanan teoremin adı Google Teoremi de olabilir..
https://t.co/O3fV1zXn4H