TGViewer
Сиолошная Сиолошная @seeallochnaya · 80.4K subscribers
Post #3985 14.7K
Сиолошная Возвращаясь к математике, я прочитал разные мнение, и одним из самых откликнувшихся оказался блог «To grieve, or not to grieve?» от Kevin Buzzard, основателя проекта Xena, цель которого — оцифровать всю современную математику, переводя теоремы и доказательства…
Kevin заканчивает своё эссе так:

Мой личный ответ на вопрос о том, в чём заключается суть математики, такой. Математика — это доказательство теорем (решение задач), разработка новых инструментов (построение теорий) и понимание того, куда двигаться дальше (формулирование гипотез).

На сегодняшний день мы видели множество свидетельств того, что компьютеры хорошо справляются с решением задач, но гораздо меньше свидетельств их способностей к построению теорий или формулированию гипотез. Это накладывает серьёзные ограничения на то, насколько далеко смогут продвинуться современные машины. Время покажет, насколько лучше машины завтрашнего дня овладеют этими навыками. Прогресс, несомненно, будет, но пока мы не увидели ничего по-настоящему убедительного.

Нынешний прогресс действительно носит экспоненциальный характер и вполне может оставаться таким ещё некоторое время. Однако мы не можем ожидать, что экспоненциальный рост будет продолжаться бесконечно (именно в силу самой природы экспоненциального роста). Более того, математика бесконечна, а бесконечность с лёгкостью превосходит любую экспоненту.

Поэтому я полагаю, что в будущем мы достигнем нового «естественного предела» в математике — гораздо дальше (а возможно, и несравнимо дальше) того рубежа, на котором находимся сейчас. Но на этом пределе машины зайдут в тупик, и дальнейшее наращивание ресурсов ради следующего большого прорыва станет нецелесообразным.

Я считаю, что лучшее, что мы можем сделать — это предоставить машинам полную свободу действий, посмотреть, что из этого получится, а затем самим отправиться в путешествие к той точке, на которой они остановятся.

Сейчас всё развивается стремительно. Но так не может продолжаться вечно. И если мы присоединимся к этому движению уже сейчас, машины смогут привести нас в совершенно удивительные, неизведанные места. А когда мы туда доберёмся, начнётся новое приключение.
  • 👍 198
  • ❤‍🔥 57
  • 💩 17
  • 🤡 13
  • 🤯 7
  • 🌚 6
  • 👎 1
  • 🔥 1
  • 🤔 1
  • 👨‍💻 1
More from @seeallochnaya
  1. Oct 11, 2026Я уже давно уговариваю Пашу @RationalAnswer сесть и написать глубокий анализ финансовой со…
  2. Oct 11, 2026Двойная посадка на башню в миссии Flight 15. Главный инженер SpaceX в новом интервью подтв…
  3. Oct 10, 2026Post #3987
  4. Oct 10, 2026И моё мнение про то, что написал Terence Tao (или вернее как я понял, что он написал). В к…
  5. Oct 10, 2026Возвращаясь к математике, я прочитал разные мнение, и одним из самых откликнувшихся оказал…
  6. Oct 10, 2026Пока делаю паузу в написании постов на пару часов (по этой теме будет ещё 2-3-4), поделюсь…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →