🤖 Математик из кремния: ИИ учится доказывать, а не отвечать

Претензия к языковым моделям годами не менялась: складно болтают, а за слова не в ответе. Теперь у ИИ есть экзамен, на котором не спишешь, — формальное доказательство. DeepMind, если верить сообщениям, добилась результата, где модель сама вывела и машинно проверила математические закономерности для машин Тьюринга. На слух — нишевая новость. На деле планка сдвинулась именно тут. Почему «доказать» оказалось и сложнее, и ценнее, чем «угадать», и что из этого выйдет для науки — попытаемся разобраться.

📄 Полная статья

#ИИ #технологии

📢 Канал: Цифровой Кортекс