-
「Mathematical Discourse」笔记：问题从哪来、证明卡在哪
Mathematical Discourse is a new online, peer-reviewed mathematics journa…
-
「Finite time blowup with smooth forcing term for」笔记：问题从哪来、证明卡在哪
There’s some exciting very recent work by Alpöge and Buckmaster, buildin…
-
「Crowdsourcing a list of general resources on AI」笔记：问题从哪来、证明卡在哪
Given current events, I think it is worthwhile to start collecting usefu…
-
30年经典OBS剪枝算法实操解析 对比OBD解锁模型轻量化最优路径
OBS作为1992年诞生的经典二阶神经网络剪枝算法，是当前大模型轻量化技术的核心溯源方案。相较于传统幅值剪枝、OBD算法，OBS摒弃了对角海森矩…
-
把「Stable singularity of the Euler equations on R^3」写成可执行的阅读路径
[This is a guest post by Anima Anandkumar. This blog post was initially …
-
「SAIR competition: Andrews-Curtis challenge」：数学直觉如何落到可检验的步骤
[This is a guest post by Lucas Fagan. This blog post was initially writt…
-
「On the existence of non-sofic groups」笔记：问题从哪来、证明卡在哪
[This is a guest post by Andreas Thom. This blog post was initially writ…
-
「A Severe Misalignment of AI in Mathematics」：数学直觉如何落到可检验的步骤
I am proud to be among the list of 25 initial signatories — all Fields M…
-
读懂「On the Hodge conjecture」：先把定义、反例和适用范围钉死
[This is a guest post by Burt Totaro. This blog post was initially writt…
-
ICML2025领域主席实操复盘：审稿全流程痛点与避坑指南
相较于NeurIPS 2024，ICML 2025审稿流程更复杂、沟通机制更繁琐，评审拖延、审稿质量参差不齐、论文表述注水是当前最核心的三大问题…