我的 X 阅读

转帖：多亏了AI酱，练习题的答案能轻松找到，这也算是个优点吧。 但另一方面，用家里的找东西来打比方，“那种费了好大劲到处确认却没找到、结果连其他地方也记在脑子里”的经历，会不会就这么失去了，多少有点担心。 就学术修养而言，感觉这还挺致命的。

转帖： ... https://t.co/ocFu0Rf68Q

@thermotronica @etacup @etacup @thermotronica 共同撰写这篇论文，那将是推特上的终极笑料？

@thermotronica @etacup 马上回来

转帖：为我在 OpenAI DevDay 买到的 ModRetro 打造了一个 Tomodachi 游戏！ 派对后的几乎每个人都创建了自己的角色，他们可以在游戏中与派对上其他人的角色聊天！

转发：[GAGA研讨会] 我们向复数域上有限生成代数的仿射概型闭集引入了复拓扑，并验证了这些空间之间诱导映射的基本性质。https://t.co/eA9F6dYtj5

秋季计划 https://t.co/IR4UUoxZfn

转帖：让我们验证所有软件——终于发布了一篇关于它可能花费多少的博文。一些头条数字和估计： - ≈$400M：nixpkgs 的全部内容在 ≈5 年内，以每年 1 亿美元的预算，如果 AI 能力每 8 个月翻倍 - ≈$134M：到 2027 年底的 95% 代码，如果我们将验证速度提高 4 倍 - 程序大小呈重尾分布，大多数软件很小；中位数二进制文件约为 30 KB，仅验证 9 MB 就足以覆盖 ⅔ 所有代码的依赖 - Linux+Firecracker 的验证将花费 ≈$1M

转帖：证明了 SO(3) 是嵌入 M₃(ℝ) ≅ ℝ⁹ 中的 3 维流形。固定 (e₁, e₂, e₃) ∈ SO(3)。此时，对于 A ∈ SO(3) 使得 A e₃ 和 e₃ 线性无关的条件，存在唯一的 φ, ψ ∈ (-π, π]，θ ∈ (0, π)，使得 A = exp(φ ê₁) exp(θ ê₂) exp(ψ ê₃) 其中 ê_j ∈ Lie(SO(3)) 是如引文中所定义的。

转帖：深有共鸣

转帖：想到了一个好主意。让AI读取博士论文，然后让AI生成“只有理解了博士论文内容才能解开的笔试题目”。然后用这个进行考试，评分也让AI帮忙。如果Lean和AI今后能获得信任的话，5年后变成那样的制度也不奇怪。

可惜的是，扩张圈似乎也有其局限性…… https://t.co/8ItS2R9fZ3

这里有这么多优秀的人，我感到很荣幸

转发：对于那些申请日本学术振兴会（JSPS）奖学金被拒的朋友们，不要放弃！把这当成评审员的抽奖活动，下次再申请吧。 即使我去年只拿到了C级评价，第二年我几乎没做任何修改就提交了同样的申请，结果成功获得了日本学术振兴会（KAKENHI）的资助。

转帖：与其说是数学，不如说是都市传说，据说格罗滕迪克素数的逸闻仅限于传闻，目前没有证实它的史料，在这种情况下，赫尔曼·外尔在1951年公开了将57和59作为差2的素数对的例子记载在其中的文件，这是确凿的，所以有人将其混淆了作为由来？这个说法也出来了，事情变得复杂化了，