.

Объявляю 2026-й годом math-стартапов!

Погнали!!1 :)

У Антропика есть такой известный баг, когда в Клоде сбрасывается наиболее вероятный токен из-за того, что не удаётся корректно согласовать вычисления на разных TPU из-за дефолтных настроек оптимизирующего векторного компилятора XLA
(а надо было изучать мои гайды по параллельным вычислительным моделям:). Баг и сегодня легко воспроизводится десятком строк кода на питоне.
Ну, а то что миллионы пользователей периодически получали явно ошибочные решения, никого особо не волнует.

Разработчики почесали репу и решили подстраховаться. Пацаны с гарвардским PhD обобщили этот случай, сформулировали более фундаментальный инвариант, и написали подходящие стратегии для hypothesis (инструмент для автоматического поиска неизвестных ошибок заданного класса; кто им не пользуется, тот лох; а кто не знает, что такое PBT, лох в квадрате).

И действительно, был найден новый, более минимальный контрпример, который не был известен заранее!

Да, но hypothesis работает долго, чтобы найти всего один контрпример. А если нужно проверить все состояния??

Это дорого, это медленно, это малоэффективно, и требует буквально гениев для такой работы.

Вопрос на подумать: можно ли это автоматизировать?

(пауза)

(Кто проходил мой курс по кубической теории типов, в принципе, должен сообразить :)