OpenAI заявляє, що її внутрішні моделі спростували одне з центральних припущень інформатики та довели частину однієї з математичних задач тисячоліття. Тепер незалежні фахівці мають визначити, чи витримують докази перевірку.
ШІ Google DeepMind самостійно розв’язав десятки відкритих математичних задач, ідеться в новому дослідженні в журналі Science.
OpenAI опублікувала добірку математичних результатів, створених внутрішньою моделлю ШІ.
Дослідники розробили нову модель DeepSeekMath, яка використовує штучний інтелект для розшифровки, інтерпретації та розв’язання математичних задач.
Google DeepMind використав велику мовну модель, щоб розв’язати відому нерозв’язну задачу чистої математики.
Навіть найдосконаліші великі мовні моделі, такі як GPT-4 і PaLM 2, стикаються з проблемами, коли справа доходить до розв'язання математичних задач, що вимагають застосування творчої складової, математичних міркувань і обчислень.
Штучний Інтелект