Admin
Администратор
Искусственный интеллект совершил прорыв в математике, формально проверив сложнейшие доказательства украинского математика Марины Вязовской.
Система Gauss смогла автоматизировать процесс проверки доказательств, связанных с задачей упаковки сфер в многомерных пространствах.
Математик Марина Вязовская получила Филдсовскую медаль за решение задачи упаковки сфер в восьмимерном и 24-мерном пространствах. Её доказательства были признаны безупречными, но формальная проверка с помощью компьютера оставалась сложной задачей. Система искусственного интеллекта Gauss, разработанная стартапом Math, Inc., смогла автоматизировать этот процесс. Алгоритм не только проверил доказательства, но и обнаружил ошибки в опубликованных материалах. Этот успех открывает новые возможности для математических исследований, где ИИ берёт на себя рутинную работу, а учёные сосредотачиваются на поиске новых идей.