🥁 Кампанія Deep Mind абвясціла, што яе сістэмы ШІ рашылі 4 з 6 задач, якія былі зададзены школьнікам на Міжнароднай матэматычнай алімпіядзе (IMO) 2024 года ў Баце, у Вялікабрытаніі.

AlphaProof і AlphaGeometry2 прадставілі строгія пакрокавыя доказы, якія былі ацэнены двума вядучымі матэматыкамі і атрымалі ацэнку 28/42 — усяго на адзін бал менш дыяпазону залатога медаля.

🥇 AlphaProof пачынае з пераўтварэння каля 1 мільёна нефармальных матэматычных задач у фармальную матэматычную мову. AlphaGeometry 2 выкарыстоўвае аналагічны падыход, але спецыялізуецца на геаметрычных задачах.

Крыніца