Paytextên Cîhanê-SANA
Encamên testeke zanistî ya navneteweyî ya nû nîşan da ku pergalên zîrekîya çêkirî (AI) hîn jî dûrî hevrikîya hişê mirov in di çareserkirina pirsên matematîkî de yên ku afirînerî û analîzeke kûr dixwazin, ev yek di çarçoveya ceribandineke bi navê “First Proof”ê de hat.
Profesorê Matematîkê li Zanîngeha Stanfordê Mihemed Ebû Zeyd ku yek ji beşdarên amadekirina ceribandinê bû, dîyar kir ku armanca ceribandinê ceribandina ramana rastîn a modelan û şîyana wan a avakirina belgeyeke lojîkî û hevgirtî bû.
Lêkolîneran destnîşan kir ku zîrekîya çêkirî, tevî pêşketina xwe û şîyana xwe ya nêzîkbûna ji hin çareserîyan, hîn jî nikare bibe cîgirê lêkolîneran di warên ku afirînerîya matematîkî ya xwerû dixwazin.
