Latest posts
Математика Дата саентиста
22 Sept, 11:03
🚨 DeepSeek обучает модель на 2 трлн параметров и планирует следующую на 8 трлнДля сравнения:• Kimi K3: 2,8 трлн параметров • DeepSeek V4 Pro: 1,6 трлн • новая модель DeepSeek: 2 трлн • будущая модель: до 8 трлнГлавная ставка компании заключается в переходе на китайские ускорители. DeepSeek ожидает новые обучающие чипы Huawei в IV квартале 2026 года или I квартале 2027 года.По данным The Information, глава DeepSeek Лян Вэньфэн заявил инвесторам, что обучение на отечественных чипах «должно сработать».Пока это планы, раскрытые на встрече с инвесторами, а не официальный релиз модели. Но направление понятно: DeepSeek хочет масштабировать модели и одновременно избавиться от зависимости от Nvidia.https://www.theinformation.com/articles/deepseek-bets-big-huawei-chips-bypass-u-s-export-controls/
Математика Дата саентиста
22 Sept, 09:03
Вопрос уже не в том, нужен ли ИИ, а в том, как его внедрять и масштабировать Найдем ответ на бесплатной конференции 8 октябряВсе об эффективном и безопасном внедрении ИИ в бизнес расскажут эксперты топовых технологических компаний на конференции Selectel ТехноДень в Москве.На повестке:🔺Как использовать генеративный ИИ в компании без хаоса и получать от этого измеримый эффект: от теории до реальных кейсов. 🔺Как ускорить внедрение ИИ в бизнес-процессы и минимизировать риски для бизнеса с помощью инструментов ИБ. 🔺Какую ИТ-инфраструктуру выбрать для инференса и обучения моделей.Кроме 20 экспертных докладов и 20 интерактивных стендов, в финале вечера вас ждет живая запись подкаста Вселенная Плюс на главной сцене конференции.Присоединяйтесь к Selectel ТехноДень, чтобы лично задать вопросы экспертам рынка и обменяться опытом. Количество мест ограничено, регистрируйтесь уже сейчас →Реклама. АО "Селектел". erid:2W5zFFzm7cD
Математика Дата саентиста
21 Sept, 09:47
OpenAI близка к решению ещё одной задачи тысячелетия — гипотезы Ходжа, сообщает The Information.Гипотеза пытается связать сложную геометрию многомерных пространств с более простыми алгебраическими объектами. Она остаётся нерешённой с 1950 года, а за доказательство назначена премия $1 млн.Ранее OpenAI заявила о решении задачи Навье - Стокса. Теперь компания сообщила о «существенном прогрессе» над следующей проблемой, но может отложить публикацию из-за конфликта с математическим сообществом вокруг авторства и прозрачности предыдущей работы.Пока доказательство гипотезы Ходжа не опубликовано и не прошло независимую проверку — речь идёт о сообщении источников, а не о признанном решении.https://www.theinformation.com/newsletters/ai-agenda/openai-close-solving-another-millennium-prize-math-problem?
Математика Дата саентиста
20 Sept, 08:45
VisualGenAI — курс по генеративным моделям в компьютерном зрении, который идёт в ногу с передним краем генеративного ИИ. Его автор — Дмитрий Баранчук из Школы анализа данных.Студенты изучают диффузионные и гибридные модели, авторегрессионную, мультимодальную и 3D-генерацию, а в домашках работают с технологиями из свежих научных статей — то есть с тем, что ещё только появляется. И главное — материалы лежат в открытом доступе на GitHub, так что проходить его можно и вне ШАДа.За этот курс Дмитрий Баранчук получил Yandex ML Prize — премию для преподавателей и руководителей образовательных программ, которые готовят ИИ-специалистов. Всего премию получили восемь лауреатов — их отобрали из 400 заявок.
Математика Дата саентиста
13 Sept, 10:53
🔥 Хочешь расти в IT быстрее остальных? Перестань учиться в одиночкуМожно годами смотреть курсы, читать документацию и всё равно топтаться на месте.А можно попасть в правильное окружение, где каждый день обсуждают новые инструменты, вакансии, реальные кейсы, ошибки и то, что уже завтра станет стандартом.Здесь собраны папки и каналы по разным направлениям IT, чтобы ты быстрее находил нужных людей, идеи и полезный контент - без бесконечного поиска.AI: t.me/ai_machinelearning_big_data Python: t.me/pythonl Linux: t.me/linuxacademiya Хакинг: t.me/linuxkalii DevOps: t.me/DevOPSitsec Docker: https://t.me/+90Z5TAyfuNU5YmRi Golang: t.me/Golang_google Rust: t.me/rust_code C++: t.me/cpluspluc C#: t.me/csharp_ci Java: t.me/javatg JavaScript: t.me/javascriptv React: t.me/react_tg Frontend: t.me/front PHP: t.me/phpshka Android: t.me/android_its Мобильная разработка: t.me/mobdevelop Базы данных: t.me/sqlhub Data Science: t.me/data_analysis_ml Big Data: t.me/bigdatai Математика: t.me/data_math Физика: t.me/fizmat Kubernetes: t.me/kubernetc GameDev: https://t.me/gamedev Haskell: t.me/haskell_tgСобеседования и карьера:DS собеседования: t.me/machinelearning_interview Python собеседования: t.me/python_job_interviewПапка с вакансиями: t.me/addlist/_zyy_jQ_QUsyM2Vi
Математика Дата саентиста
12 Sept, 09:59
forwarded from @vistehno
🚨 Теренс Тао и ещё 24 лауреата Филдсовской премии выступили против того, как AI-компании используют математику25 ведущих математиков подписали декларацию A Severe Misalignment of AI in Mathematics.Их главный тезис: превращать сложнейшие открытые задачи в очередной benchmark для моделей — опасный путь.Что их беспокоит:- AI-решения публикуются слишком быстро - не хватает времени на полноценную проверку и нормальное изложение доказательств - новые идеи и методы не успевают отделить от уже существующих работ - возникают серьёзные вопросы атрибуции и плагиата - поток «решено / не решено» может вытеснить главное — понимание того, почему математика вообще работаетАвторы прямо пишут:> «Мы наблюдаем общую угрозу интеллектуальному труду».Они не отрицают резкий прогресс LLM в математике. Наоборот — признают, что модели уже способны решать крупные открытые проблемы.Но для математиков ценность задачи не только в финальном доказательстве. Важны новые идеи, объяснения, обсуждение, обучение следующего поколения и корректная связь с предыдущими работами.Поэтому конфликт целей становится всё заметнее:AI-лаборатории → решить быстрее и показать capabilityматематическое сообщество → понять, проверить, объяснить и встроить результат в наукуДекларацию подписали Теренс Тао, Питер Шольце, Марина Вязовская, Седрик Виллани, Максим Концевич и ещё 20 лауреатов Филдсовской премии.https://terrytao.wordpress.com/2026/09/11/a-severe-misalignment-of-ai-in-mathematics/@vistehno
Математика Дата саентиста
10 Sept, 12:03
Единственный математик, решивший одну из семи задач тысячелетия.🧠 Решил задачу, над которой бились почти век. Отказался от медали и миллиона долларовЭто Григорий Перельман - российский математик, доказавший гипотезу Пуанкаре, одну из семи задач тысячелетия.🥇 1982 год: в 16 лет получает золото Международной математической олимпиады с идеальным результатом - 42 из 42 баллов.📄 2002–2003 годы: выкладывает на arXiv три препринта с доказательством гипотезы, сформулированной ещё в 1904 году. Работу он строит на методе потока Риччи Ричарда Гамильтона. Проверка и подробное изложение доказательства занимают у математиков несколько лет.🏅 2006 год: отказывается от Филдсовской медали - одной из самых престижных наград в математике.💵 2010 год: отказывается и от $1 млн, присуждённого Институтом Клэя за решение задачи.Доказательство Перельмана при этом остаётся в открытом доступе -
Математика Дата саентиста
10 Sept, 10:58
🚨 OpenAI обвинили в возможном использовании чужой неопубликованной математикиМатематик Андреас Том заявил, что есть признаки того, что OpenAI могла обучать Astra на приватных обсуждениях, где он вместе с Габором Куном работал над гипотезой Громова о софичности - одной из задач, решение которой позже приписали Astra.Если его версия подтвердится, спор будет уже не только о том, «кто решил задачу».Речь пойдёт о том, могла ли неопубликованная работа исследователей попасть в обучающие данные модели, а затем быть представлена как самостоятельный прорыв ИИ.Автор поста пишет, что похожие претензии ранее поднимали и другие исследователи.Пока это именно обвинения, а не доказанный факт.Но если появятся подтверждения, вопрос происхождения «научных открытий» моделей станет намного серьёзнее.https://x.com/Machinelearrn/status/2098002641468985622
Математика Дата саентиста
8 Sept, 08:59
forwarded from @ai_machinelearning_big_data
📲 OpenAI решила задачу тысячелетия? Пока доказательств нетМатематик Тристан Бакмастер утверждает, что 6 сентября представители OpenAI сообщили ему о готовом доказательстве образования сингулярности в уравнениях Навье–Стокса с внешней силой.Если доказательство верно и соответствует условиям задачи Института Клэя, оно может закрыть одну из главных нерешённых проблем математики.До этого Бакмастер и Левент Алпёге с помощью Claude и моделей OpenAI получили новые результаты для уравнений Эйлера и родственных систем. Однако эти работы сами по себе задачу Навье–Стокса не решают.Параллельно возник спор об авторстве. Бакмастер заявляет, что ему предлагали оформить результат OpenAI без Алпёге, работающего в Anthropic. Себастьен Бюбек назвал обвинения ложными.Доказательство OpenAI не опубликовано, Бакмастер его не видел, независимой проверки нет. Институт Клэя по-прежнему указывает
Математика Дата саентиста
5 Sept, 09:32edited
✔️ Агенты Claude за 11 дней формализовали знаменитую теорему ФермаЗа основу взята упрощенная версия доказательства Уайлса от Дармона, Даймонда и Тейлора. Сгенерировано 13 млн строк кода и 30 300 промежуточных теорем, из которых в финальное доказательство вошли 29 500. Результат проверил компилятор Lean и подтвердил математик Кевин Баззард, ведущий проект формализации этой теоремы с 2024 года.Первые попытки проваливались. Агенты теряли состояние проекта и переставали координироваться, их неудачные заходы дали около 7% строк итогового кода. Сработало после перехода на платформу Prove2Me, которая держит граф теорем и позволяет агентам работать параллельно, смягчая деградацию памяти на длинной дистанции.Полностью автономным процесс не был - человек изредка давал указания верхнего уровня. Смысл автоматизации в том, что люди-рецензенты уже не успевают
Математика Дата саентиста
4 Sept, 13:37
Никола Тесла хотел передавать электричество без проводов на большие расстояния.Беспроводная связь уже показала, что информацию можно передавать без кабелей, но с энергией всё оказалось намного сложнее.Тесла считал, что Землю и атмосферу можно использовать как часть глобальной системы передачи электричества. Для проверки идеи он построил башню Wardenclyffe в Нью-Йорке при финансовой поддержке Дж. П. Моргана.Но проект быстро стал слишком дорогим. Дополнительного финансирования Тесла не получил, башню так и не достроили в задуманном виде, а в 1917 году её снесли.Эксперименты Теслы помогли развитию исследований беспроводной передачи, но его мечта о передаче больших объёмов электричества по всему миру без проводов так и не была реализована.Сегодня беспроводная передача энергии работает на коротких расстояниях - например, в зарядках для смартфонов. А передавать большие мощности на
Математика Дата саентиста
2 Sept, 12:58
forwarded from @ai_machinelearning_big_data
📌 Теренс Тао объяснил всю математикуСамый известный из ныне живущих математиков записал для Big Think полуторачасовое видео, где раскладывает математику на шесть опорных концепций и объясняет, как они предвосхищали открытия в науке и что с ними будет дальше, когда в дело вошёл ИИ.Видео сделано под его книгу Six Math Essentials, которая готовится к выходу.Тао - профессор математики Калифорнийского университета, в десять лет взял бронзу на международной олимпиаде, в тринадцать - золото и до сих пор остаётся самым молодым золотым медалистом в её истории.Докторскую защитил в Принстоне в двадцать один год, профессором в UCLA стал в двадцать четыре (тоже самым молодым за всю историю университета). Филдсовская медаль 2006 года, стипендия Макартура того же года, одна из первых Премий по прорывам в математике.В последние годы он один из самых заметных
Математика Дата саентиста
2 Sept, 09:41
Ньютон почти не ошибался: наука подтверждает его правоту уже 350 летНьютона обычно вспоминают как гения математики, но сам он трезво признавал: человеческая память ограничена, и ошибиться может каждый. При этом свой след он оставил далеко не только в физике – серьёзные работы у него есть по астрономии, истории и богословию, и эти работы прошли проверку временем куда лучше, чем можно было ожидать.Дело не в широте интересов – таких эрудитов в XVII веке хватало. Ньютона выделяла способность отличать то, что действительно верно, от того, что лишь кажется правдоподобным. Многие современники строили теории на догадках и авторитетах предшественников, Ньютон же методично проверял, что из этого выдерживает проверку, а что нет.Лучшее доказательство этой способности – “Начала” (“Principia”). Его наблюдения об устройстве Солнечной системы, сделанные без современных телескопов и без единой
Математика Дата саентиста
1 Sept, 07:43
Участвуй в МТС True Tech Champ 2026 — всероссийском чемпионате по программированию с двумя треками и призовым фондом 10 250 000 рублей.Трек 1: Алгоритмический [индивидуальный зачет, 2 750 000 ₽, шесть призовых мест]Решай задачи по алгоритмам и структурам данных, которые помогут прокачать навыки для технических собеседований и работы в ведущих ИТ-командах. Лучшие участники пройдут в финал, где в режиме реального времени будут соревноваться в правильности решений и скорости мышления.Трек 2: Программирование роботов [командный формат, 7 500 000 ₽, три призовых места]Напиши алгоритмы для робособаки и робота-манипулятора и проведи их через три этапа соревнований. Сначала — через цифровой симулятор, где нужно пройти трассу и выполнить задания по передаче предметов. Затем — подключись к реальному полигону через удалённый доступ и выполни задания на физических роботах дистанционно. А в
Математика Дата саентиста
31 Aug, 14:33
Томас Фуллер, известный как «Вирджинский калькулятор», был порабощённым африканцем, прославившимся феноменальным устным счётом.Его привезли из Африки и продали в рабство в 1724 году, когда ему было около 14 лет. Несмотря на отсутствие формального образования, Фуллер мог решать сложные математические задачи в уме.Однажды его спросили, сколько секунд в полутора годах. Он почти сразу ответил:47 304 000.В другой раз ему предложили вычислить, сколько секунд прожил человек возрастом 70 лет, 17 дней и 12 часов.Примерно через полторы минуты Фуллер назвал:2 210 500 800 секунд.Один из присутствующих пересчитал всё на бумаге и заявил, что ответ слишком большой.Фуллер спокойно ответил:«Вы забыли про високосные годы».
Математика Дата саентиста
30 Aug, 09:57
GPT-5.6 Sol Pro полностью решил задачу математической физики, над которой специалисты по композитным материалам работали около 40 лет - задачу комплексного G-замыкания.
Математика Дата саентиста
29 Aug, 13:19
Квантовое туннелирование - частица проходит через барьер, который классически пройти не должнаВ обычной физике всё просто: если у частицы недостаточно энергии, чтобы преодолеть барьер, она должна отскочить назад.В квантовой механике это работает иначе.Частица описывается волновой функцией. Внутри барьера она не обрывается мгновенно, а экспоненциально затухает. Если барьер достаточно тонкий, небольшая часть вероятности остаётся и с другой стороны.То есть частица может оказаться там, куда классическая физика её не пустила бы.Вероятность туннелирования резко падает: - при увеличении ширины барьера - при увеличении массы частицыПоэтому электроны туннелируют сравнительно легко, а для больших объектов вероятность практически исчезает.И это не абстрактный эффект.Квантовое туннелирование участвует в: - термоядерных реакциях внутри Солнца
Математика Дата саентиста
26 Aug, 10:35
forwarded from @datascienceiot
📚 Бесплатная книга по выпуклой оптимизации - 130 страниц"Convex Optimization: Algorithms and Complexity" - хорошее введение в алгоритмы выпуклой оптимизации и их вычислительную сложность.Внутри:градиентные методы ускоренные методы субградиентная оптимизация проксимальные алгоритмы first-order methods оценки скорости сходимости сложность оптимизационных алгоритмовПолезно для ML, математики и тех, кто хочет глубже понять, что стоит за обучением моделей.PDF: https://arxiv.org/abs/1405.4980
Математика Дата саентиста
25 Aug, 12:12
📚 674 страницы по Machine Learning - бесплатноВышел открытый учебник Introduction to Machine Learning - полноценное введение в машинное обучение: от фундаментальных идей до алгоритмов и практических методов.В книге:основы ML и математический фундамент; обучение с учителем и без учителя; классические алгоритмы; модели и методы оптимизации; оценка качества; ключевые техники, используемые в современных системах.Отличный материал для студентов, разработчиков и всех, кто хочет разобраться в ML не только через готовые библиотеки, а понять, как всё работает внутри.📖 674 страницы PDF бесплатно:http://arxiv.org/abs/2409.02668Математика Дата саентиста
24 Aug, 16:14
forwarded from @ai_machinelearning_big_data
📌 Palomar - реестр проверенных LEAN-доказательствПоследние месяцы доказательства, сгенерированные ИИ, посыпались валом как для новых результатов, так и для старых, причем часть из них формализована на Lean и проверить такой репозиторий непросто, особенно если ты не эксперт. Нужно убедиться:🟠что заявленные формальные утверждения действительно имеют доказательства, проходящие проверку типов; 🟠что в доказательствах нет жульничества; 🟠что формальные утверждения по смыслу совпадают с тем, что описано словами.Под эту задачу и Теренс Тао запустил Palomar - реестр математики, верифицированной на Lean. Инициативу вырастили Lean FRO и ICARM.Прием заявок уже идет, чтобы в него попасть, в репозитории должно быть три вещи:🟢
Related Channels
Other channels in the same section of the catalogue.
