李老师不是你老师2025-05-09 13:10:115月8日,广东。当地买刀前要先扫码登记个人身份信息。 5月1日,广东。超市柜台被锁住,买刀前要进行实名登记。 5月1日,江苏。男子称,他最近买了把水果刀,之后接到警方电话,被问买水果刀干什么,他觉得可能是最近报复社会的事件太多了,所以警察打电话给自己。
马东锡 NLP 🇸🇪2025-05-01 03:38:52「DeepSeek, Reasoning」论文 DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition 用"sorry"做占位符,sorry,除了硬核,无法可说。 DeepSeek这篇在reasoning的追求上,到了一个让