Канадский математик Jacob Tsimerman, недавно получивший медаль Филдса, объявил о создании Mathematical A.I. Safety Institute (MAISI). Об этом сообщил The Decoder в материале от 11 сентября 2026 года.
Название инициативы указывает на стремление проверять безопасность ИИ подходами, сопоставимыми с доказательством стойкости криптографических кодов. Однако доступные сведения представлены только в виде метаданных и краткого синопсиса, поэтому детали программы пока не подтверждены.
комментарий редакции
Что это значит
Вероятное значение инициативы — усиление формальных методов в исследованиях безопасности ИИ. Следующим проверяемым сигналом станет публикация описания методики, состава команды или первых результатов. Существенная неопределённость сохраняется: текущие данные не подтверждают ни конкретную программу, ни практическую эффективность подхода.