В недавнем докладе Теренса Тао, лауреата Филдсовской премии, под названием "Mathematics... — 12 сентября 2026 г. в 10:08:10.089
В недавнем докладе Теренса Тао, лауреата Филдсовской премии, под названием "Mathematics in the Age of AI" рассматриваются ключевые аспекты взаимодействия математики и искусственного интеллекта. Тао делит процесс решения математических задач на несколько этапов: от поиска решений и их проверки до объяснения и утверждения результатов. Важно отметить, что создание качественного доказательства становится сложнее с возможностью быстрого генерирования правдоподобных, но неверных результатов ИИ. Тао также касается проблемы "трения" в текстах, которая отсутствует у машинных решений, и подчеркивает важность человеческого восприятия в математике. Он завершает свой доклад обращением к обществу: нам нужно выработать совместные решения для возникающих проблем в данной области.