Ученые Бëруши 🤓
رفتن به کانال در Telegram
Несмешной и неинтересный университетский кринж Беседы с админом насчет науки и рекламы @MG_bad_teacher На строительство аннигиляторной пушки https://pay.cloudtips.ru/p/7dfe8730 Сбор на научное оборудование https://messenger.online.sberbank.ru/sl/8XH6B
نمایش بیشتر4 014
مشترکین
-124 ساعت
+47 روز
+13230 روز
در حال بارگیری داده...
کانال‌های مشابه
ابر برچسب‌ها
اشارات ورودی و خروجی
---
---
---
---
---
---
جذب مشترکین
اکتبر '26اکتبر '26
اکتبر '26
+38
در 5 کانال‌ها
سپتامبر '26
+218
در 6 کانال‌ها
Get PRO
اوت '26
+81
در 11 کانال‌ها
Get PRO
ژوئیه '26
+187
در 12 کانال‌ها
Get PRO
ژوئن '26
+98
در 8 کانال‌ها
Get PRO
مه '26
+95
در 19 کانال‌ها
Get PRO
آوریل '26
+104
در 15 کانال‌ها
Get PRO
مارس '26
+75
در 21 کانال‌ها
Get PRO
فوریه '26
+91
در 24 کانال‌ها
Get PRO
ژانویه '26
+161
در 26 کانال‌ها
Get PRO
دسامبر '25
+144
در 22 کانال‌ها
Get PRO
نوامبر '25
+152
در 14 کانال‌ها
Get PRO
اکتبر '25
+96
در 11 کانال‌ها
Get PRO
سپتامبر '25
+98
در 24 کانال‌ها
Get PRO
اوت '25
+196
در 36 کانال‌ها
Get PRO
ژوئیه '25
+115
در 13 کانال‌ها
Get PRO
ژوئن '25
+53
در 6 کانال‌ها
Get PRO
مه '25
+100
در 16 کانال‌ها
Get PRO
آوریل '25
+156
در 22 کانال‌ها
Get PRO
مارس '25
+106
در 9 کانال‌ها
Get PRO
فوریه '25
+225
در 22 کانال‌ها
Get PRO
ژانویه '25
+304
در 17 کانال‌ها
Get PRO
دسامبر '24
+155
در 25 کانال‌ها
Get PRO
نوامبر '24
+183
در 15 کانال‌ها
Get PRO
اکتبر '24
+263
در 20 کانال‌ها
Get PRO
سپتامبر '24
+235
در 30 کانال‌ها
Get PRO
اوت '24
+291
در 27 کانال‌ها
Get PRO
ژوئیه '24
+266
در 27 کانال‌ها
Get PRO
ژوئن '24
+258
در 39 کانال‌ها
Get PRO
مه '24
+196
در 32 کانال‌ها
Get PRO
آوریل '24
+346
در 37 کانال‌ها
Get PRO
مارس '24
+343
در 30 کانال‌ها
Get PRO
فوریه '24
+211
در 25 کانال‌ها
Get PRO
ژانویه '24
+313
در 29 کانال‌ها
Get PRO
دسامبر '23
+189
در 12 کانال‌ها
Get PRO
نوامبر '23
+364
در 19 کانال‌ها
Get PRO
اکتبر '23
+204
در 9 کانال‌ها
Get PRO
سپتامبر '23
+760
در 0 کانال‌ها
| تاریخ | رشد مشترکین | اشارات | کانال‌ها | |
| 08 اکتبر | +1 | |||
| 07 اکتبر | +5 | |||
| 06 اکتبر | +2 | |||
| 05 اکتبر | +5 | |||
| 04 اکتبر | +7 | |||
| 03 اکتبر | +1 | |||
| 02 اکتبر | +4 | |||
| 01 اکتبر | +13 |
پست‌های کانال
Repost from Маша и Медведица ✨
На дворе вовсю октябрь, а я только сейчас рассказываю вам одну из главных новостей года: у меня теперь есть своя колонка в старейшей газете России, Санкт-Петербургских Ведомостях! 📰
Каждый месяц я буду рассказывать о грядущих астрономических событиях в городе и немного о последних новостях науки. Выходить публикации, надеюсь, будут и на сайте, где сейчас вы можете почитать мою дебютную заметку 🌠
| 2 |  ИИ начал спамить математикой
Вчера OpenAI вывалила на GitHub 722 математические рукописи, объединённые в 372 семейства результатов. В среднем на один результат ушло вычислений примерно как на три часа ChatGPT Pro thinking. OpenAI предупреждает: часть доказательств пока не формализована в Lean, и в них ещё могут найтись ошибки.
Я прочитал весь список. Формулировку заметной части задач я либо никогда не знал, либо уже благополучно забыл, но даже среди того, что могу понять без недельного погружения, список выглядит довольно ёбнуто.
Например, модель заявляет доказательство так называемой квазигипотезы Римана: у дзета-функции Римана нет нулей при Re(s) > 7/8. Это не доказательство самой гипотезы Римана, которая требует, чтобы все нетривиальные нули лежали на Re(s) = 1/2, но всё равно фиксированная запрещённая полуплоскость, которой раньше не было. Причём эта часть уже формализована в Lean.
Из более близкой мне физики: доказана щель Халдейна для обычной антиферромагнитной spin-1 цепочки Гейзенберга - даже при бесконечном размере системы между основным и первым возбуждённым состоянием остаётся конечная энергетическая щель. Для модели Андерсона строго получена привычная физика локализации: в 2D любой ненулевой беспорядок локализует состояния, а в d ≥ 3 при слабом беспорядке существуют делокализованные состояния.
Ещё один результат - area law для двумерных квантовых систем с щелью: запутанность основного состояния растёт как размер границы области, а не её объём. Это, в частности, математически объясняет, почему двумерные tensor networks типа PEPS вообще имеют шанс эффективно описывать такие состояния.
Ну и совсем из другой оперы: для умножения n × n комплексных матриц OpenAI заявляет алгоритм с числом операций O(n^(9/4+ε)). Школьное умножение матриц требует n^3, а борьба за уменьшение этой степени идёт уже несколько десятилетий. И этот результат тоже формализован в Lean.
Если хочется ещё физики, есть и доказательство спонтанной намагниченности квантовой ферромагнитной модели Гейзенберга при конечной температуре во всех d ≥ 3, плюс закон Блоха T^(3/2) в трёх измерениях.
И тут возникает довольно смешная практическая проблема. Даже если предположить, что все эти результаты правильные, кто это всё будет читать? Математики ещё не успели придумать нейросеть, которая согласится быть вторым рецензентом.
Причём эта проблема уже ударила по инфраструктуре науки. За два года месячный поток работ на arXiv примерно удвоился; сам arXiv связывает рост в том числе с ИИ. А это некоммерческий проект: весь поток надо хранить, модерировать и разгребать.
Поэтому с 1 октября arXiv ввёл ограничение - одному человеку теперь можно отправлять не больше двух новых работ в месяц.
То есть человечество наконец изобрело машину, способную производить математику промышленными партиями, а научная инфраструктура практически сразу ответила: "по две штуки в руки".
Ну и неизбежный вопрос: куда эта хрень вообще едет? AGI с блэкджеком и шлюхами через три года?
Тут есть повод немного остудить энтузиазм. Один из потенциальных потолков нынешнего подхода - данные. Хорошего человеческого текста конечное количество; AI-компании уже добрались даже до раритетных бумажных книг. А если просто бесконечно обучать модели на тексте предыдущих моделей, качество может деградировать.
Но и это не выглядит фундаментальной стеной. Можно делать алгоритмы более эффективными, получать больше результата из тех же данных, использовать обучение с подкреплением и генерировать синтетические данные там, где существует внешний способ проверить правильность ответа. И математика тут почти идеальна: модель может генерировать сколько угодно доказательств, а Lean не интересует, человек их написал или бездушная машина - либо доказательство проходит проверку, либо нет.
Так что я пока не знаю, увидим ли мы AGI. Но момент, когда основной проблемой станет не "может ли ИИ получить новый научный результат?", а "куда складывать все результаты и кто их успеет прочитать?", кажется, уже перестал выглядеть научной фантастикой.
UPD: Комментарии значительно дополняют и уточняют то что здесь написано | 306 |
| 3 |  بدون متن... | 386 |
| 4 |  بدون متن... | 373 |
| 5 |  بدون متن... | 401 |
| 6 |  #компьютеры | 381 |
| 7 |  بدون متن... | 439 |
| 8 |  بدون متن... | 480 |
| 9 |  بدون متن... | 489 |
| 10 |  بدون متن... | 508 |
| 11 |  بدون متن... | 526 |
| 12 |  بدون متن... | 605 |
| 13 |  بدون متن... | 518 |
| 14 |  بدون متن... | 652 |
| 15 |  بدون متن... | 679 |
| 16 |  открытка ученым | 664 |
| 17 |  بدون متن... | 808 |
| 18 |  بدون متن... | 672 |
| 19 |  بدون متن... | 717 |
| 20 |  #tomgauld #newscientist | 670 |
