Компанія Google DeepMind оголосила про велике досягнення у штучному інтелекті.
ШІ-системи AlphaProof і AlphaGeometry 2 успішно розв’язали чотири з шести завдань на Міжнародній математичній олімпіаді (IMO), що еквівалентно срібній медалі.
Ці системи вперше досягли такого успіху на IMO. Віцепрезидент Google DeepMind Пушміт Колі зазначив, що раніше не було систем, здатних розв’язувати задачі з такою точністю та універсальністю.
Розв’язання математичних задач вимагає абстрактного мислення і складного планування, що є серйозним викликом для ШІ. Однак AlphaProof і AlphaGeometry 2 подолали ці труднощі завдяки посиленому навчанню і формальним мовам програмування.
AlphaProof, заснований на моделі Gemini від DeepMind, автоматично перекладає завдання з природної мови у формальні математичні твердження. Це спрощує їх вирішення ШІ. AlphaGeometry 2 оптимізована для задач, пов’язаних із рухом об’єктів і геометричними рівняннями.
Для перевірки можливостей систем їм дали завдання поточної Міжнародної математичної олімпіади. AlphaProof успішно розв’язала дві задачі з алгебри й одну з теорії чисел, включно з найскладнішою. AlphaGeometry 2 впоралася з однією задачею з геометрії. Два завдання з комбінаторики залишилися невирішеними.
Результати були перевірені та високо оцінені математиками Тімом Гауерсом і Джозефом Майерсом. Системи набрали 28 із 42 можливих балів, що відповідає срібній медалі на IMO. Це значний крок уперед для ШІ в галузі математики.
Створення таких ШІ-систем відкриває нові можливості для співпраці між людьми і машинами, допомагаючи розв’язувати наявні завдання і створюючи нові. Це сприяє глибшому розумінню того, як люди вирішують складні математичні проблеми.
Розвиток таких систем залишається важливим завданням, і подальші дослідження допоможуть поліпшити їхню роботу і розширити застосування в інших галузях математики.