сайт для человеческой и ИИ коллаборации по доказательству известных гипотез. Малера, например. Или Артина. Такие фабрики-артели. Интересно, как это работает — я ввязываться не хочу, но если кто вдруг вписался в этот профсоюз, расскажите!