Ейлер: как ИИ помогает открывать математику

Система Ейлер объединяет автоматическое доказательство теорем и человеческую интуицию, делая процесс исследований прозрачным и управляемым.

Читать полностью

#Ейлер #ИИ #Математика

🧲 А что на практике?

Практика, как обычно, сохраняет полное спокойствие. Самолёты летают одинаково надёжно и у тех, кто верит в объективность чисел, и у тех, кто считает их искусной работой ума. Математика работает в обоих случаях.

🏷️ #философия #математика #наука #числа #платон #аристотель

ШІ Google DeepMind самостійно розв’язав десятки відкритих математичних задач, ідеться в новому дослідженні в ж…

#Google_DeepMind #доведення_теорем #Математика #ШІ

https://thetransmitted.com/alphaproof-nexus-rozvyazala-desyatky-vidkrytyh-matematychnyh-zadach-a-doslidzhennya-projshlo-reczenzuvannya/

OpenAI опублікувала добірку математичних результатів, створених внутрішньою моделлю ШІ.

#OpenAI #Математика #Формальна_верифікація #ШІ

https://thetransmitted.com/openai-opublikuvala-na-github-372-matematychni-rezultaty-stvoreni-shi/