Команда DeepMind розробила нову систему штучного інтелекту під назвою AlphaProof, яка досягла вражаючих результатів на Міжнародній математичній олімпіаді 2024 року. Ця система змогла скласти змагання з математичної логіки, набравши лише один бал менше від золотої медалі, що свідчить про значний прогрес в галузі.
AlphaProof покликана усунути обмеження традиційних комп’ютерних систем, які, хоч і швидко виконують розрахунки, не в змозі зрозуміти логіку та структуру математики. Розробники прагнули створити штучний інтелект, який розуміє математику на більш глибокому рівні.
Зазначимо, що традиційні моделі штучного інтелекту, такі як Chat GPT, навчалися на мільярдах текстів, але їх розуміння математики залишалося поверхневим. AlphaProof, в свою чергу, вміє обробляти математичні задачі, спираючись на глибокі знання про структуру та правила математики.
Цей прогрес відкриває нові горизонти для використання штучного інтелекту в освітніх та наукових сферах, де розуміння та обґрунтування математичних доказів є критично важливими.