正在加载线程详情
正在从 X 获取原始推文,整理成清爽的阅读视图。
通常只需几秒钟,请稍候。
共 1 条推文 · 2025年12月23日 09:33
RT @_Mira___Mira_: 我想要世界上最大的证据数据库。 提出任何定理,机器人都会尝试证明它。如果它们失败了,那就说明它有问题……