Peter Scholze

2026-10-13

RESEARCH · 1 ИСТОЧН. · The Decoder

Шин‑Тун Яу запускает «Yau Laboratory Alliance for Mathematics and Artificial Intelligence» в Пекине для развития исследований на стыке математики и ИИ

Лауреат Филдсовской премии Шин‑Тун Яу и ведущие китайские математики запустили в Пекине «Yau Laboratory Alliance for Mathematics and Artificial Intelligence», объединяющий восемь учреждений и нацеленный на сеть более 1 000 исследователей для разработки специализированных моделей, машинно‑проверяемых доказательств и прозрачного объяснения работы ИИ. Это происходит на фоне сильного скепсиса в западном математическом сообществе — около 25 лауреатов Филдсовской премии, включая Терренса Тао и Петера Шольце, выражают обеспокоенность и часть сообщества призывает бойкотировать ИИ‑созданные доказательства.

7.0

2026-10-10

MODELS · 1 ИСТОЧН. · The Decoder

OpenAI опубликовала более 700 претендуемых математических доказательств; математики в шоке

6 октября 2026 года OpenAI загрузила на GitHub более 700 рукописей с претензиями на решения сотен открытых математических задач; блог Proofs and Prompts собрал свыше 100 реакций исследователей. Мнения разделились: некоторые отмечают впечатляющие идеи, другие указывают на трудночитаемость и частичные отзыва, а также обсуждают последствия для практики исследований, профессий и даже криптографии.

8.0

2026-10-08

RESEARCH · 1 ИСТОЧН. · The Decoder

Математики призывают бойкот OpenAI после публикации сотен ИИ-сгенерированных доказательств

После того как OpenAI опубликовала более 700 математических рукописей, сгенерированных ИИ, Ассоциация за человеческую математику (AHM) во главе с Терренсом Тао призвала математиков бойкотировать компанию, обвиняя её в нарушении исследовательских норм и в завале области плотными, трудно проверяемыми доказательствами. Спор, который последовал за заявлением OpenAI о том, что внутреняя модель решила более 100 открытых задач и за созданием консультативной группы AGMAI, касается того, можно ли считать задачу решённой до появления проверяемого и понятного людям доказательства, а также вопросов атрибуции и учебных данных.

8.0

2026-09-18

REGULATION · 1 ИСТОЧН. · The Decoder

42 ведущих математика предупреждают Королевское общество: у продвинутого ИИ есть реальный и срочный экзистенциальный риск

Открытое письмо президенту Королевского общества от 42 математиков — в том числе обладателей медалей Филдса Мартина Хайера, Петера Шоля и Вендилина Вернера — предупреждает, что у продвинутого ИИ существует реальный и срочный экзистенциальный риск. В письме отмечается быстрый прогресс (указывают, что модели OpenAI и Anthropic недавно решили открытые исследовательские задачи, включая одну из задач тысячелетия) и говорится, что аналогично быстрый рост возможностей может привести к сверхчеловеческим способностям в кибербезопасности, автономном вооружении, разработке биологических и химических агентов и целевой дезинформации.

7.0