провели глубокую дискуссию о возможностях ИИ в математике, меняющейся роли математиков и будущем математических исследований с использованием ИИ. Они привели данные, показывающие, что ведущие большие языковые модели прошли путь от провала на едином государственном экзамене по математике в 2024 году до результата выше 135 из 140 баллов в 2026 году и теперь способны получать максимальный балл на математических олимпиадах, не имея заранее сведений об условиях задач. Однако Zhou подчеркнул, что главная сила ИИ заключается в поиске закономерностей и механическом выводе, а не в подлинном математическом творчестве, и что объяснимость математических выводов, полученных ИИ, остаётся нерешённой проблемой. Они обсудили гипотезу Якобиана, отметив, что способность ИИ проводить масштабный эвристический поиск и вычисления может помочь в нахождении контрпримеров, однако проблема «чёрного ящика» по-прежнему сохраняется. Zhou заявил, что математиков не заменят машины, поскольку они делают то, что машинам недоступно: ставят новые вопросы, строят новые теоретические рамки и открывают новые закономерности. Он также поднял вопросы академической честности, касающиеся результатов, сгенерированных ИИ, и этики цитирования. Дou представил промышленный подход компании Beidian Shuzhi, включающий строительство вычислительных центров более чем в 30 городах, полную технологическую цепочку «данные — вычисления — модель — приложение» и практическое внедрение решений в здравоохранении и производстве — например, модель для диагностики кожных заболеваний, которая демонстрирует точность 90% на экзаменах уровня врача-специалиста и сокращает время диагностики на 20%.