Фото: CC0 / Skitterphoto /
Нейросети не смогут обладать исчерпывающими знаниями в математике, поскольку наука постоянно развивается и люди продолжают создавать новые идеи. Такое мнение высказала заведующая кафедрой математики и статистики колледжа Суортмор Линн Стюэрле Шофилд.
По ее словам, системы искусственного интеллекта в значительной степени опираются на уже существующие и опубликованные знания. При этом математики продолжают выдвигать новые гипотезы, разрабатывать методы и получать результаты, которых раньше не существовало.
Заявление прозвучало на фоне достижения Anthropic. Компания сообщила, что Claude за 11 дней формализовал полное доказательство Великой теоремы Ферма на языке Lean, позволяющем компьютеру проверить каждый логический шаг.
В ходе работы система создала около 13 млн строк кода и доказала более 30 тыс. промежуточных теорем, из которых около 29,5 тыс. вошли в итоговое доказательство. Результат проверил математик Кевин Баззард из Имперского колледжа Лондона.
При этом Claude не открыл новое доказательство теоремы с нуля, а перевел уже существующую математическую аргументацию в формальный, проверяемый компьютером вид.
Великая теорема Ферма была сформулирована в XVII веке. Ее окончательное доказательство представил математик Эндрю Уайлс в 1990-х годах после более чем трех столетий безуспешных попыток решить задачу.
Ранее сообщалось, что ИИ применяется в авиации на всех этапах — от расписания до сертификации. Подробнее об этом читайте в материале Общественной службы новостей.
Тегеран заявлял о наличии ракет, способных поражать американские базы в Южной Европе. Об этом, комментируя военный арсенал Ирана, aif.ru эксклюзивно рассказал военный эксперт Юрий Кнутов. Иран располагал ракетами «Хорремшехр-4». По…
Высокая самооценка не гарантирует успеха, если она опирается исключительно на похвалу, одобрение и превосходство над окружающими. В таком случае она попадает в зависимость от внешних обстоятельств. Об этом сообщила психолог…
Сергей Полетаев, военный аналитик и сооснователь проекта «Ватфор» сообщил, что ограничение функционирования спутниковой системы Starlink над территорией Украины привело к уменьшению количества атак на новые регионы России, а также на…
В селе Залог Качугского района Иркутской области хищник вышел к школе, повредил крыльцо и предпринял попытку проникнуть в здание через водосточную трубу. Как сообщает Народный фронт Иркутской области, животное привлекли…
В американском штате Флорида суд вынес обвинительный вердикт в отношении мужчины, который попытался спрятать похищенные драгоценности необычным способом — он проглотил их в присутствии сотрудников полиции. Информацию об этом публикует…
Российские пенсионеры, которым средства обычно переводят в начале месяца, получат январскую выплату уже в декабре. Крайний срок — 30 число, сообщила РИА Новости Светлана Бессараб, занимающая пост первого зампреда комитета…