@allTheYud Zero can be the endpoint of a non‑trivial path, there can be different zero's, so it's not "mere Zero" never, even when you write It down - it's tracing path
For "blunt" computation it's different story, mostly arithmetic and formal leading to Russel to begin with.
@dr_logvinovich Тоже делал работу по спектралке, ее и начал разбираясь в теории Ходжа и его гипотезе, удивительно как ощущается связанной она с теорией сложности
@dr_logvinovich Как раз готовлю уже несколько месяцев работу на этот счёт, пришлось заехать и в глубокую топологию и в теорию сложности. Кошмар конечно.
@1red2black Ах ну да. Второе правило - пусть Фейбла проверяет чатГПТ, он на порядок меньше ошибок делает и лучше знает математику в целом и лучше проверяет ее, вместе они сила.
@1red2black Берешь 3-4 аккаунта бесплатных Квена значит, бери фейбла как архитектора на мидл эффорте, с ��им вместе согласуй 3-4 домена по нужной теме, пусть он жёстко промптит их. Бесплатные проводят исследования. Фейбл кушает их. В итоге цена даже не пятичасовой лими��. А толку больше.
@TokenGremlin Yep, yesterday evening my html draft war much better, that's crucial for me. Because previous ones was almost unusable, took me hours or days to fix, had to use different AIs
@dr_logvinovich Я думаю ещё Брауэр тоже был прав 🙃
При чем почти в самом хардкорном смысле, просто формализм победил, а когда Гёдель его растоптал машина уже была запущена