... се ограничава само до олимпиадите: AlphaProof може да помогне при проверката на математически текстове, откриването на грешки и дори при разработването на нови теоретични идеи.
Alphaproof - Новини
В централата на Google DeepMind лаборатория за изкуствен интелект в
...... направи математиката достъпна за повече хора, да ускори изследователския процес, избутайте математиците извън кутията. В крайна сметка може дори да породи нови идеи, които резонират.