https://cfsg.axiommath.ai/ https://axiommath.ai/research/the-enormous-theorem-formalized/ The Classification of Finite Simple Groups, formalized in Lean
Непрерывное математическое образование
频道Немного математики каждый день // для обратной связи: [email protected] (интересным вещам по теме канала всегда рады; за деньги или за «обмен ссылками» ничего не публикуем)
广告 B+
最近同步 21 小时前
收录于 2026-09-25
订阅数
1.3万
7 日 -1 · 30 日 +78
30 天平均曝光
3,746
近 24h 2,731
互动率（ERR）
21.3%
7 天发帖 12
广告投放评级
B+
Ads Index 67
互动与广告
近 30 天帖子聚合
- 平均反应
- 0
- 平均评论
- 0
- 平均转发
- 34.9
- 广告帖子（30 天）
- 0
- 广告占比
- 0.0%
- 被提及（30 天）
- 4
榜单位置
各窗口最近一次榜单
暂未进入榜单
频道进入榜单池并满足数据条件后会显示名次。
最近帖子
按发布时间倒序，最多展示 8 条
> The computer science collaboration will understand and explain a result concerning the Exponential Time Hypothesis (ETH), a longstanding conjecture about the computational complexity of Boolean formula satisfiability (…). Surprisingly, our system has recentl…
https://openai.com/index/building-scientific-understanding-with-academic-communities/ «In 2019, Guth, Wang, and Zhang proved the local smoothing conjecture in two spatial dimensions. In 2025, Wang and Zahl proved the Kakeya conjecture in three dimensions. Ou…
（无文本内容）
Вышло дополненное издание книги А.М.Райгородского "Линейно-алгебраический метод в комбинаторике" biblio.mccme.ru/node/363681 Современная комбинаторика – это весьма многогранная и активно развивающаяся область математики. В XX веке был разработан ряд мощных мет…
какие еще каналы по математике и около читаете? делитесь, пожалуйста, тем, что кажется интересным (сообщения открыты, тж есть почта в описании канала)
в качестве картинок по выходным — «Космос для простаков» (Д.Буш, Д.Подъяпольский, А.Хомяков; 1988) с выставки «Бумажная архитектура» в МУАР
André Weil. De la métaphysique aux mathématiques (1960)
相似频道
基于 Telegram 官方相似频道推荐
暂无相似频道
等待相似频道抓取任务运行。