Нейросети не смогут обладать исчерпывающими знаниями в математике, поскольку наука постоянно развивается и люди продолжают создавать новые идеи. Такое мнение высказала заведующая кафедрой математики и статистики колледжа Суортмор Линн Стюэрле Шофилд.
По ее словам, системы искусственного интеллекта в значительной степени опираются на уже существующие и опубликованные знания. При этом математики продолжают выдвигать новые гипотезы, разрабатывать методы и получать результаты, которых раньше не существовало.
Заявление прозвучало на фоне достижения Anthropic. Компания сообщила, что Claude за 11 дней формализовал полное доказательство Великой теоремы Ферма на языке Lean, позволяющем компьютеру проверить каждый логический шаг.
В ходе работы система создала около 13 млн строк кода и доказала более 30 тыс. промежуточных теорем, из которых около 29,5 тыс. вошли в итоговое доказательство. Результат проверил математик Кевин Баззард из Имперского колледжа Лондона.
При этом Claude не открыл новое доказательство теоремы с нуля, а перевел уже существующую математическую аргументацию в формальный, проверяемый компьютером вид.
Великая теорема Ферма была сформулирована в XVII веке. Ее окончательное доказательство представил математик Эндрю Уайлс в 1990-х годах после более чем трех столетий безуспешных попыток решить задачу.
Ранее сообщалось, что ИИ применяется в авиации на всех этапах — от расписания до сертификации. Подробнее об этом читайте в материале Общественной службы новостей.
Уполномоченный по правам человека в РФ Яна Лантратова и украинский омбудсмен Дмитрий Лубинец провели переговоры на белорусско-украинской границе. Информацию об этом распространило РИА Новости. Встреча состоялась на пункте пропуска «Новая…
Польские следователи почти три года не могут продвинуться в расследовании взрыва ракеты в Пшеводове из-за отсутствия взаимодействия с украинской прокуратурой. Киев не ответил ни на один запрос польской стороны и…
Этой зимой россияне смогут отправиться прямыми рейсами в 40 стран мира, включая популярные туристические направления в Азии, на Ближнем Востоке и в Африке. Об этом сообщила Ассоциация туроператоров России (АТОР).…
Взрослым, которые не были привиты от кори в детстве, необходимо сделать две прививки с интервалом в три месяца. Тем, кто получил обе дозы вакцины в детстве, повторная вакцинация не требуется,…
Власти Австрии приняли решение о выдворении четырех сотрудников российского дипломатического представительства, работающих в Вене. Информацию об этом распространило агентство Reuters, сославшись на заявление австрийского внешнеполитического ведомства. Согласно обнародованным сведениям, дипломатам…
Министерство финансов России рассматривает различные варианты легализации онлайн-казино, в том числе по модели регулирования букмекерской деятельности. Об этом заявил заместитель главы ведомства Иван Чебесков в кулуарах Веронского Евразийского экономического форума,…