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