ИИ научился сам открывать математические теоремы — Апостериори | Эхо

Слушайте в приложении Podli 🎧

Подписывайтесь на любимые подкасты, слушайте офлайн и в машине с CarPlay и Android Auto и всегда продолжайте с того места, где остановились. Попробуйте бесплатно.

Исследователи создали ИИ, который смог самостоятельно находить новые математические теоремы, имея на старте лишь несколько аксиом и одно правило вывода. Система постепенно сформировала собственную библиотеку знаний, а её открытия помогли решать задачи из классического учебника по математической логике.

━━━ 🎙 ━━━

🌐 Читайте новости и другие материалы «Эха» на сайте
🔐 Не работает сайт? Всегда актуальные ссылки в телеграм-канале ЭХО FM

📱 Приложение с радио «Эхо online». Скачайте себе и установите родственникам
— iPhone
— Android

🙏 Поддержите работу «Эха», если вы не в РФ.