OpenAI опублікувала сотні розв’язків складних математичних задач. Але науковці виявили, що ШІ міг змінити зміст доведення під час перевірки

OpenAI опублікувала сотні розв’язків складних математичних задач, створених її ШІ-моделлю. Але дослідники виявили, що в одному з доведень текстове пояснення не повністю збігається з кодом, який мав підтвердити його правильність. Дослідники знайшли щонайменше дві такі розбіжності.

@devukraine