Використання ai в автоматичному доведенні математичних тверджень

Abstract

В роботі досліджено застосування ШІ в автоматичному доведенні математичних тверджень, детально розглянуто одну з найновіших та найуспішніших моделей - Gоеdel-Prover, розглянуто системи на основі GPT та

This paper examines the application of AI in automating mathematical proofs, with particular focus on three significant approaches: the Gоеdel-Prover model,Isabelle /HOL(developed by University of Cambridge) and , of course,