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