ИИ научился сам открывать математические теоремы

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

━━━ 🎙 ━━━

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

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

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