Если кто-то сегодня уверенно объясняет вам, где проходит граница между человеком и ИИ, спросите, когда он в последний раз её проверял.

Если кто-то сегодня уверенно объясняет вам, где проходит граница между человеком и ИИ, спросите, когда он в последний раз её проверял. На днях Claude формализовал доказательство Великой теоремы Ферма, над которой математики бились три с половиной века. Формализовать значит перевести доказательство в код, который машина проверяет шаг за шагом, без пропусков в рассуждении. Руководитель проекта, профессор Кевин Баззард из Имперского колледжа Лондона, закладывал на эту работу годы. Claude справился за 11 дней: около 13 миллионов строк кода и больше 30 тысяч доказанных промежуточных теорем. Баззард результат изучил и назвал выдающимся. В таких новостях впечатляет не скорость ИИ, а скорость, с которой устаревают наши представления о том, что ему недоступно. Любопытно, что мы будем считать исключительно человеческой способностью года через два. Пока идут споры о границах, мы отдаём ИИ первый контакт с клиентами и смотрим на цифры. Разобрать, что подойдёт вашему бизнесу: https://t.me/m/jVsz1Tt7NmU6