«Почему ты считаешь, что в Уайтхеде не будет истории с неразрешением в аксиомах ZFC?» Там неоткуда этому взяться. Найдется пример, хитрый, скорее всего чем-то похожий на эдемские сады или Капланского, но ведь ясно, что ОпенАИ пытались пробить Уайтхеда и у них не получилось! Они пробили соседние вопросы, не такие хайповые, а Уайтхед остался открытым. Почему он так сложен??? Вот, я решил лиев аналог, там все красиво строится, а групповой крайне сложен. Мы видим, где искать, и прямо в данную минуту у меня работают сетки, гоняют всякие жуткие копредставления, контролируют обобщенную кокрофтовость, ацикличность. Кто-нибудь скоро пробьет. Но как будто нужны сетки другого поколения. По Капланскому мы тоже продолжаем работать, причем мне кажется, что сейчас ситуация даже важнее. ОпенАИ доказали существование. А малых понятных примеров никто не видел. И какой-нибудь их связи с топологией. Если сейчас их найти, уже не будет никаких бонусов – так это же даже лучше, меньше гордыни. Меньше гордыни, больше смысла. Мы продолжаем искать.
Обсуждение возможностей и ограничений применения искусственного интеллекта в математике
- 156
- 20
- 14
- 14
- 9
- 6