我的 X 阅读

连诺贝尔奖得主弗朗西斯·哈尔岑都认为他会失败！

当然，这比过去要容易得多得多，我同意。即使现在，我也不认为这只是按下一个按钮就能得到一些真正需要大量不同领域知识的结果（尽管在 FLT 之后，原则上当然是可行的）。 顺便说一句，我们不是有个友好的打赌，截止日期是 10 月 1 日吗？我猜我不用请你吃晚饭了吧？… 引用：形式化现在变得非常简单。 您可以在 24-48 小时内形式化长篇 PDE 或概率论文（包括许多先决条件，这些先决条件很可能都不在 mathlib 中）。当然，更难的项目可能需要更多时间，但不会多很多。 我写了一篇博客文章，解释如何做到这一点。 我还将我所有的 Lean 技能文件公开。

利率仍然处于负值区间。关键在于： #范畴论 引述：有报道称，日本央行将认定2%的基准通胀目标已经实现。然而，这并非最终目标。政策利率为1.25%，扣除2%的通胀后，实际利率仍然为负值。问题的关键已从“何时才能达到2%？”转移到“2%的通胀率下，什么样的利率才算合适？”即使通胀率达到目标，利率也尚未跟上。

转发：【新书】原田正直的《函子拓扑》（岩波书店）探讨了模型范畴的结构，即基于初等集合论和拓扑学的拓扑斯上的抽象单纯同伦理论。内容包括：引言/范畴论/拓扑斯与层/模型范畴/单纯集/模型范畴的构造/层上的模型范畴结构。（店长）https://t.co/YMxLzOnAbJ

我的朋友随后建议 Codex 将模拟做得更加复杂……可惜 GPT-2 无法真正理解它 https://t.co/rZhHDcEP7P

转发：我们与东谷先生合作的研究成果已发表预印本。我们采用组合方法研究了斜多项式环的点概型几何不变量，主要探讨其与闭曲面三角剖分的关系。研究进展出乎意料，不断取得意想不到的成果，令人着迷。 https://t.co/iO73eJWJY6

介绍 Hark Pro Hark Pro 现已在网页、iOS 和 Android 上线 免费试用：https://t.co/sco2fEKPQD

当 3I/ATLAS 造访火星时会发生什么？Avi Loeb https://t.co/kdDWFXVdfe

自动审核是“为我批准”的权限模式。要使用它，请打开编辑器下方的权限菜单并选择“为我批准”。

当时马尔科·卢比奥问缪斯如何遏制俄罗斯肺炎瘟疫爆发

收听今天的节目：https://t.co/o3CJJuRmA6

重发：紧玻色子有限子群的规范性与T对偶性，以及由此产生的不可逆对称性，能否理解为类似于在陈-西蒙斯理论(+α)中保持K的矩阵代数？我的理解突然加深了。

Quanta 播客入围了最佳科学播客类 Signal 奖！ 为我们投票：https://t.co/xK5YislA9Q

转发：看来我们最终会讨论如何用代数方法强制定义数学和微分几何中的切空间，以及如何在代数几何中推导出 Zariski 切空间。

转发：代数和几何相关领域的 DC1 和 DC2 在理科大学里真的声名鹊起，太棒了。