1 статья затрагивает эту идею.
Статьи
A math AI that writes proofs all at once, not word by word, cracks a problem its rival missed
Смежные понятия
Идеи, которые идут в паре с понятием «Formal Theorem Proving».