Blind ranking numbers
互动与广告
近 30 天帖子聚合
- 平均反应
- 21.9
- 平均评论
- 0
- 平均转发
- 22.0
- 广告帖子(30 天)
- 0
- 广告占比
- 0.0%
- 被提及(30 天)
- 3
榜单位置
各窗口最近一次榜单
暂未进入榜单
频道进入榜单池并满足数据条件后会显示名次。
最近帖子
按发布时间倒序,最多展示 8 条
یه مجموعه از جوکهای ریاضی، میگه خیلی مناسب مدرسه و اینا است. چند نمونه: معلم: بزرگترین عدد چیه؟ دانشآموز: ۵۶۲۴. معلم: پس ۵۶۲۵ چیه؟ دانشآموز: واااای! نزدیک بودا! بینهایت ریاضیدان میرن توی یه کافه. فقط سفارش دو لیوان آبجو میدن. اولی میگه: یه لیوان، دو…
از گالوا تا Lean
ظاهرا انجام شد. Axiom اعلام کرد کار رو انجام داده. قضیهای که روی کاغذ ۱۵ هزار صفحه اثبات داره حاصل ۵۰۰ مقاله است که ۱۰۰ تا ریاضیدان اون رو نوشتند. حالا توی ۲۴ روز ۴۳ میلیون خط کد نوشتند تا یه اثبات formal براش ارائه کنند. باید دید آقای John Thompson که الان ۹…
گرفتن اصل طرد شق ثالث از یه ریاضیدان، مثل گرفتن تلسکوپ از یه ستارهشناس یا گرفتن مُشتهای یه بوکسوره. ممنوعکردن گزارههای وجودی و این اصل مثل نادیدهگرفتن کل ریاضیات هست. David Hilbert
وضعیت!
اون یکی شرکت هم ظاهرا حل کرده این رو. لینک
ظاهرا مسائل جدیدی رو حل کردند. https://openai.com/index/building-scientific-understanding-with-academic-communities/ https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf
相似频道
基于 Telegram 官方相似频道推荐
暂无相似频道
等待相似频道抓取任务运行。