正在加载视频...

视频加载失败

加载此视频时出现问题。这可能是由于临时网络问题，或视频可能不可用。

中国的“数位身分证”在7月15日正式上路，只要透过身分证进行线上验证，就可以获得一组“网号”和“网证”，并可用来注册多个网站平台。 💻 虽然官方宣称，这项措施是为了减少各平台采集的用户个资、预防诈骗，但不少人担心，这会让中国政府能进一步追踪每个人使用的网站和App，而且还可能被“一键封号”。目前这项措施还处于“自愿申办”阶段，但专家已纷纷表达关切，认为“数位身分证”会让中国民众更有意识地进行“自我审查”👀。你对中国的“数位身分证”有什么看法？到底是打诈神器还是另一个言论审查的工具？ 🤔

DW 中文- 德国之声

1,388,082 subscribers

96,159 次观看 • 1 年前 •via X (Twitter)

科学技术新闻政治教育

Anya Rossi• Live Now

Private livecam show

34 条评论

李剑芒054 的头像

李剑芒0541 年前

当年要求实施实名制，说这样骗子就无处藏身了。实施后发现，骗子依然是骗子，匿名躲在暗处，而网民却光腚地站在骗子面前。他们的所以信息都被骗子掌控。

Eric Liu 的头像

Eric Liu1 年前

共匪真是世界上最大的毒瘤

Allen 的头像

Allen1 年前

这跟当年让手机实名说防止被诈骗一个道理，你看现在多少人被电诈，数量反而越来越多了，而且是精准诈骗，那么百姓还不知道始作俑者是谁吗

六必居酱瓜瓜的头像

六必居酱瓜瓜1 年前

什么是"数位"身份证？我只知道数字身份证或者电子身份证。

CHen 的头像

CHen1 年前

共匪用来封人嘴的

Billi Bear 的头像

Billi Bear1 年前

不做坏事怕什么审查？

特供特权要安全的头像

特供特权要安全1 年前

习近平要在封建倒退上一路走到黑

5哥的头像

5哥1 年前

😂 类似于三年疫情监禁全国人的的红绿码，绿码正常上网，黄码高度关注，监控，红码全网封杀！

静心律己渡人的头像

静心律己渡人1 年前

共匪不死，同胞难逃

Ga 的头像

Ga1 年前

1984

那年東京不太熱的头像

那年東京不太熱1 年前

我敢保证，但凡给发“二斤鸡蛋”，立刻全部“自愿申办”…😂

老马的头像

老马1 年前

國內的人搞定後就會開始對海外的人進行大數據收集與管理了，海外的朋友你就等著吧，下一步就輪到你了。

make love job 的头像

make love job1 年前

赶紧玩吧！以后就上不了外网了

Fuhao Sun 孙富豪🇨🇳 的头像

Fuhao Sun 孙富豪🇨🇳1 年前

德国之声真不愧为世界十大无良媒体之一

🇺🇸🦅Tian Xue🇺🇸🦅 的头像

🇺🇸🦅Tian Xue🇺🇸🦅1 年前

打著防詐騙的旗號控制所有人

T Z 的头像

T Z1 年前

太好了！防止滋生纳粹

Wonwill 的头像

Wonwill1 年前

就是健康码那玩意

朝歌风的头像

朝歌风1 年前

无德之声扣帽子那是有一手。当今的信息社会人人几乎成了一个透明人，通过正规渠道和程序，利用数字身份证更有利于保护人们的隐私。即便没有数字身份证的推行，无论国内国外在注册网站平台时大多需提供个人的基本信息。网络不是法外之地，即使没有数字身份证，你违规了违法了照样跑不了。

酷达哈的头像

酷达哈1 年前

数位？台湾岛上的产物吧

辣条神教的头像

辣条神教1 年前

我们生活在中国, 迫切的需要手机系统的自行重装系统功能. 目前中国的手机全部被限制, 用户无法重新安装系统, 只能用厂商定制的操作系统, 上网, dns全部被限制与监控. 而且只能安装他们认定的app应用程序. 小米等公司已经3年前完全禁止了用户刷机急迫

jeff lee 的头像

jeff lee1 年前

China's "digital ID" officially launched on July 15. By verifying identity online, individuals can obtain a "network number" and "network certificate," which can be used to register on multiple website platforms. 💻 Although officials claim this measure aims to reduce the collection

了无挂碍的头像

了无挂碍1 年前

按照中国的国情，如果是“好事”是轮不到老百姓！如果极力美化宣传，让老百姓参与的，那肯定就不是什么对老百姓好的“好事”！所以是“好事”吗？哈哈

rosabella 的头像

rosabella1 年前

当然是言论控制，便于它们恐吓用户和抓人。如果真的防诈骗，怎么会有那么多骗子抓不到？失踪人口找不到？骗子可以以极快的速度转移资金去海外，普通老百姓换汇，每年可怜兮兮的五万美金都要被刁难，各种为难，还不一定能全额换到。

looklook.. 的头像

looklook..1 年前

共产党在现实中和网络中都严格监控韭菜奴隶牛马们因为政权不合法脆弱敏感什么都怕所以什么都要严管

juexing_007 的头像

juexing_0071 年前

共产主义就是奴隶制

Matthew 的头像

Matthew1 年前

啥都可以用来质疑中国政府，我也是服了！之前注册都用手机号，这可是实名制的，难道不能一键封号？不能追踪。哦，忘了，你是专门造中国谣，诋毁中国过日子的。难道你美国爸爸还在给你打钱？BBC和法新社都拨乱反正了，你还不迷途知返？

Lotus 的头像

Lotus1 年前

真理部的一号工程，肮脏的政府官员群体首先配上。

Richie Chen 的头像

Richie Chen1 年前

言论审查不通过者，银行卡都用不了

乌兰麦朵不是花的头像

乌兰麦朵不是花1 年前

不用怀疑，反诈只是出师有名的由头，真实目的就是为了更好监控配件们。人群分级管理，言论分级管理，一键回帖不显示，一键封号，一键上门。线下物理摄像头已经满载无死角了，现在开始弄网络全域监控/管理了。

bookmansu 桑间濮上的头像

bookmansu 桑间濮上1 年前

当年“健康码”的变种。健康码跟踪你的行踪，网证监视你的网迹。两码结合，墙国人都是裸体。

伟的头像

伟1 年前

我认为这是好事，网络必须文明化法规化管控，网络数据不能让一些企业管控，网络数据由政府严格管控，网络不能成为法外之地

jeff lee 的头像

jeff lee1 年前

of personal data by platforms and prevent fraud, many worry that it will allow the Chinese government to further track the websites and apps individuals use, and even enable "one-click account bans."

红灯的头像

红灯1 年前

中国没有数位身份证啊！这次只是把实体身份证变成网络身份证，就是现金支付改成网络支付一样的道理

jiu s 的头像

jiu s1 年前

不用想都知道，那肯定是封嘴的啊

相关视频

#美中对标最近中国政府开始试运行“网号”和“网证”，引发人们对中共加强网络监控的担忧。美国人虽然也很担心网上数据被平台利用，但目前还没有一个联邦级别的全行业的保护个人隐私的法律，究其原因恰恰也是为了保护个人隐私。

#美中对标最近中国政府开始试运行“网号”和“网证”，引发人们对中共加强网络监控的担忧。美国人虽然也很担心网上数据被平台利用，但目前还没有一个联邦级别的全行业的保护个人隐私的法律，究其原因恰恰也是为了保护个人隐私。

美国之音中文网

167,402 次观看 • 2 年前

中国拟对10亿网民统一核发“网证网号”，并自7月26日起发布管理办法、征求公众意见。对此，近一周来，网民负评不断，多位学者也大呼反对，如清大教授劳东燕质疑，此举是给网民“安上监视器”。但这些反弹声浪现已遭当局封杀，被部分网民讥为“拙劣的民主秀”。针对“网证网号”的网络新规，观察人士多认为，中共意在强化对网民的监控和言论审查，即使有“保护个资”、“遏止电信诈骗”的良善立意，也难达成效。报道:

中国拟对10亿网民统一核发“网证网号”，并自7月26日起发布管理办法、征求公众意见。对此，近一周来，网民负评不断，多位学者也大呼反对，如清大教授劳东燕质疑，此举是给网民“安上监视器”。但这些反弹声浪现已遭当局封杀，被部分网民讥为“拙劣的民主秀”。针对“网证网号”的网络新规，观察人士多认为，中共意在强化对网民的监控和言论审查，即使有“保护个资”、“遏止电信诈骗”的良善立意，也难达成效。报道:

美国之音中文网

250,382 次观看 • 2 年前

沈伯洋刚刚在德国联邦议会作证说了这样一件事中共给一个台湾网红一个月1500美元，一开始让他骂中共，但是越骂越少，过了一年就开始让他说中共也没那么坏强烈要求公布这个网红的身份，我无法想象有任何原因可以不公布这位网红的身份

沈伯洋刚刚在德国联邦议会作证说了这样一件事中共给一个台湾网红一个月1500美元，一开始让他骂中共，但是越骂越少，过了一年就开始让他说中共也没那么坏强烈要求公布这个网红的身份，我无法想象有任何原因可以不公布这位网红的身份

悉尼奶爸 SydneyDaddy 雪梨奶爸 🇦🇺🇮🇱

751,890 次观看 • 10 个月前

先洗个头，突然有个想法，为什么好多项目都在和 #Brevis 合作，是因为现在的项目，数据多、链多、格式乱，自己搞验证又麻烦又慢。 #Brevis 把链上的历史数据整理成可以直接用、可以验证的证明。以前每个项目都得自己建索引、自己算、自己验证，现在直接去 Brevis 要证明就行。他们的 AVS 节点也比较可靠，有很多大家熟悉的服务商，网络稳定性和去中心化做得还可以。对于需要链下计算的应用，这点很重要。想查用户历史操作，直接拿证明就能用。跨链逻辑也能复用证明，风控、身份、成就系统这些都能用同样的方式搞。帮开发者少做重复工作，让数据可以直接用，验证也靠谱。 #KaitoAI #Kaito #Yap Kaito AI 🌊 Brevis

先洗个头，突然有个想法，为什么好多项目都在和 #Brevis 合作，是因为现在的项目，数据多、链多、格式乱，自己搞验证又麻烦又慢。 #Brevis 把链上的历史数据整理成可以直接用、可以验证的证明。以前每个项目都得自己建索引、自己算、自己验证，现在直接去 Brevis 要证明就行。他们的 AVS 节点也比较可靠，有很多大家熟悉的服务商，网络稳定性和去中心化做得还可以。对于需要链下计算的应用，这点很重要。想查用户历史操作，直接拿证明就能用。跨链逻辑也能复用证明，风控、身份、成就系统这些都能用同样的方式搞。帮开发者少做重复工作，让数据可以直接用，验证也靠谱。 #KaitoAI #Kaito #Yap Kaito AI 🌊 Brevis

币自由 🐬

568,459 次观看 • 10 个月前

最近陶哲轩在 2024 年第 65 届国际数学奥林匹克上，陶哲轩做了一次 AI 和数学的演讲，非常精彩，从数学使用计算计算机的历史开始讲起，一直讲到大语言模型，干货相当多，尤其适合对数学有兴趣的同学。（对数学没那么感兴趣的同学只想看 AI 部分的建议直接跳到 41 分的位置开始观看）先摘录几个冷知识： 1. 我们使用机器做数学计算已经有数千年，最早的机器辅助计算可能是罗马人，然后是中国的算盘 2. 二战时就有人肉“计算机”，计算弹道和其他任务，多位女孩子，因为男士们在打仗，所以那时候的计算基本单位不是GPU，而是kilogirl-hour——“千名女孩工作一小时的计算量” 3. 现在，数学家们使用一种现代化的证明辅助编程语言，叫做 Lean。在 Lean 中有一个核心的数学库，通过众包的方式开发的，本科数学课程中看到的内容，比如微积分基础、群论基础或者拓扑学等等，这些都已经被形式化了，所以你不用从公理开始。 4. 现在数学领域有一种团队协作证明复杂数学定理的工作流程，那就是先编写一个称为“蓝图”的详细证明计划，将整个证明分解为数百个小步骤。每个步骤可以单独形式化，然后再将它们整合在一起，这样你就可以将一个庞大的论证分解成许多小块。先编写这个蓝图，然后团队中的其他人可以对论据的不同步骤的不同部分进行形式化。去年，陶哲轩和几位同事一起解决了一个组合数学问题。这是一个组合学的问题。大约20人在短短三周内完成了，使用了蓝图工具，参与的人中有概率论专家，甚至还有一些并非数学家的人，他们是程序员，但在解决这些小型拼图问题上非常擅长。每个人都挑选了一个觉得自己能做的小任务，并完成了它。在数学领域，通常很难这么多人一起合作，一般最多可能五个人合作。因为在大项目上合作时，你必须相信每个人的数学都是正确的。但是，一旦超过一定规模，这就无法实现了。但现在借助 Lean 编译器，它能自动检查。团队成员无法上传任何编译不通过的内容，会被拒绝。因此，你可以与一些从未见过的人合作。最后是讲大语言模型，首先陶哲轩就打脸了 GPT-4 的论文（我猜是微软那篇《GPT-4，通用人工智能的火花》），论文中号称 GPT-4 能解决国际数学奥林匹克问题，但实际上，这个问题不是 2022 年国际奥数竞赛的原始问题，而是一个简化版本，并且他们测试了几百道国际奥数竞赛问题，成功率只有1%，论文里的这个是精心挑选的恰巧能做对的。并且陶哲轩提到了基于大语言模型的一些改进的方案：比如 CoT（Chain of Thought），也就是 LLM 做简单的算术运算都做不对，但是如果让它一步步解释，可能就对了。还可以教 AI 一些解题技巧，比如尝试简单的例子，反证法，尝试逐步证明等。比如让模型和编程语言或者工具连接，将大语言的输出结果交给 Wolfram 这样的专业数学工具或者 Python 这样的编程语言验证，并且迭代的进行修正和验证，直到得到正确的结果，这可以提升大语言模型生成的效果。即使借助这些手段，大语言模型还远远不能解决大多数数学问题，更不用说数学研究问题了！当然陶哲轩也没太过打击大家对于 AI 的信心，表示我们在 AI 上还是在不断的取得进展，还提到了他日常是怎么用 AI 的，比如说把 AI 当成灵感之源。 > 我曾遇到过一个问题，我尝试了几种方法，但都无法解决。于是，我尝试询问 GPT，你建议我使用什么其他方法来解决这个问题？GPT 给我提供了 10 种可能的方法，其中有 5 种我已经尝试过，或者明显没有帮助。的确，有几种方法并不实用。但其中有一种我还没尝试过的方法，那就是针对这个问题使用生成函数。当 GPT 建议我使用这种方法时，我意识到这就是我漏掉的正确方法。所以，将 GPT 视为一个交流伙伴，它确实具有一定的用处。还有使用 GitHub Copilot 帮他写代码，让它自动生成下一步的证明结果，Copilot 的智能提示有 20% 的概率能生成正确的下一步结果。 > 例如我使用的一个叫 GitHub Copilot 的工具，你只需要写下一半的证明，它就会尝试猜测接下来的内容。大概有 20% 的情况下，它能猜到接近正确的答案。然后你就可以说，我接受这个答案。好的，那么在这种情况下，我正在试图证明这个陈述。灰色的部分是 Copilot 给出的建议。结果发现第一行完全没用。不过第二行，尽管你可能看不清楚，却真的解决了这个问题。所以，你不能盲目接受它的输入，因为这些代码未必能顺利编译。但如果你对代码的运作方式已经有所了解，这将大大节省你的时间。这些工具正在变得越来越好。现在如果一个证明只需要一两行，它们就能自动完成。现在已经有了这样的实验，即通过迭代地让 AI 提供证明，然后让编译器进行反馈，如果编译出错，就把错误信息反馈给 AI。通过这种方法，我们开始能够验证四五步长的证明。当然，一个大型的证明可能需要数万行。所以，我们还没有达到能够立即得到一个正式证明的程度。但是，这已经是一个相当有用的工具。对于大家关心的问题： AI 在数学领域现在到了哪一个阶段？是否未来几年利用 AI 能直接解决数学问题？陶哲轩也给出了他的看法： > 我认为我们还远远没有达到这个阶段。如果我们专注于非常特定的问题，你可以定制专门的 AI 来处理一小部分问题。即便如此，它们也不是完全可靠的，但还是有用的。不过至少在接下来的几年里，它们基本上将是非常有用的辅助工具，超越了我们已经熟悉的暴力计算辅助。他还提到了一些可能的 AI 能在数学领域提供帮助的方向： - AI 能够非常好地生成有价值的猜想 > 比如，我们已经看到了关于结理论的例子，它们已经可以推测出两个不同的统计量之间的关系。因此，我们希望能够创建大量的数据集，输入到 AI 中，它们就会自动找出各种不同的数学对象之间的有趣联系。虽然我们还不知道如何做到这一点，部分原因是我们没有这些庞大的数据集。但我认为这是未来可能实现的一个方向。 - 批量或者说规模化的证明大量数学定理 > 现在，因为证明定理是如此繁琐和艰难的过程，我们一次只能证明一个定理，如果你效率很高，可能一次能证明两三个。但是有了 AI，你可以设想一下未来的情况，我们不是试图解决一个问题，而是处理一类类似的1000个问题，然后告诉AI，尝试用这个方法解决这 1000 个问题，然后报告结果，哦，我能用这种技术解决 35% 的问题。那么另一种技术呢？我能解决这个百分比的问题。或者如果结合这些方法，又能解决多少问题？你可以开始探索问题的空间，而不是一个接一个地解决问题。这是你现在根本无法做到的事情，或者是你需要几十年时间，通过数十篇论文慢慢搞清楚各种技术能做什么，不能做什么。但是有了这些工具，你真的可以开始做规模前所未有的数学研究。所以，未来将会非常令人兴奋。演讲环节结束前的最后一句话说的特别好： > 我们仍然会以传统方式证明定理。事实上，我们必须这样做，因为如果我们自己都不知道如何做这些事情，就无法引导这些 AI。但是我们将能够做很多现在无法做到的事情。这恰恰也是我们现在使用 AI 辅助编程的问题：如果我们自己都不知道如何构建软件，就很难引导好 AI 帮助我们生成高质量的代码。尽管 AI 在数学和编程领域变得越来越有用，但人类的洞察力和创造力仍然是创作价值的关键。原始 YT 视频：

最近陶哲轩在 2024 年第 65 届国际数学奥林匹克上，陶哲轩做了一次 AI 和数学的演讲，非常精彩，从数学使用计算计算机的历史开始讲起，一直讲到大语言模型，干货相当多，尤其适合对数学有兴趣的同学。（对数学没那么感兴趣的同学只想看 AI 部分的建议直接跳到 41 分的位置开始观看）先摘录几个冷知识： 1. 我们使用机器做数学计算已经有数千年，最早的机器辅助计算可能是罗马人，然后是中国的算盘 2. 二战时就有人肉“计算机”，计算弹道和其他任务，多位女孩子，因为男士们在打仗，所以那时候的计算基本单位不是GPU，而是kilogirl-hour——“千名女孩工作一小时的计算量” 3. 现在，数学家们使用一种现代化的证明辅助编程语言，叫做 Lean。在 Lean 中有一个核心的数学库，通过众包的方式开发的，本科数学课程中看到的内容，比如微积分基础、群论基础或者拓扑学等等，这些都已经被形式化了，所以你不用从公理开始。 4. 现在数学领域有一种团队协作证明复杂数学定理的工作流程，那就是先编写一个称为“蓝图”的详细证明计划，将整个证明分解为数百个小步骤。每个步骤可以单独形式化，然后再将它们整合在一起，这样你就可以将一个庞大的论证分解成许多小块。先编写这个蓝图，然后团队中的其他人可以对论据的不同步骤的不同部分进行形式化。去年，陶哲轩和几位同事一起解决了一个组合数学问题。这是一个组合学的问题。大约20人在短短三周内完成了，使用了蓝图工具，参与的人中有概率论专家，甚至还有一些并非数学家的人，他们是程序员，但在解决这些小型拼图问题上非常擅长。每个人都挑选了一个觉得自己能做的小任务，并完成了它。在数学领域，通常很难这么多人一起合作，一般最多可能五个人合作。因为在大项目上合作时，你必须相信每个人的数学都是正确的。但是，一旦超过一定规模，这就无法实现了。但现在借助 Lean 编译器，它能自动检查。团队成员无法上传任何编译不通过的内容，会被拒绝。因此，你可以与一些从未见过的人合作。最后是讲大语言模型，首先陶哲轩就打脸了 GPT-4 的论文（我猜是微软那篇《GPT-4，通用人工智能的火花》），论文中号称 GPT-4 能解决国际数学奥林匹克问题，但实际上，这个问题不是 2022 年国际奥数竞赛的原始问题，而是一个简化版本，并且他们测试了几百道国际奥数竞赛问题，成功率只有1%，论文里的这个是精心挑选的恰巧能做对的。并且陶哲轩提到了基于大语言模型的一些改进的方案：比如 CoT（Chain of Thought），也就是 LLM 做简单的算术运算都做不对，但是如果让它一步步解释，可能就对了。还可以教 AI 一些解题技巧，比如尝试简单的例子，反证法，尝试逐步证明等。比如让模型和编程语言或者工具连接，将大语言的输出结果交给 Wolfram 这样的专业数学工具或者 Python 这样的编程语言验证，并且迭代的进行修正和验证，直到得到正确的结果，这可以提升大语言模型生成的效果。即使借助这些手段，大语言模型还远远不能解决大多数数学问题，更不用说数学研究问题了！当然陶哲轩也没太过打击大家对于 AI 的信心，表示我们在 AI 上还是在不断的取得进展，还提到了他日常是怎么用 AI 的，比如说把 AI 当成灵感之源。 > 我曾遇到过一个问题，我尝试了几种方法，但都无法解决。于是，我尝试询问 GPT，你建议我使用什么其他方法来解决这个问题？GPT 给我提供了 10 种可能的方法，其中有 5 种我已经尝试过，或者明显没有帮助。的确，有几种方法并不实用。但其中有一种我还没尝试过的方法，那就是针对这个问题使用生成函数。当 GPT 建议我使用这种方法时，我意识到这就是我漏掉的正确方法。所以，将 GPT 视为一个交流伙伴，它确实具有一定的用处。还有使用 GitHub Copilot 帮他写代码，让它自动生成下一步的证明结果，Copilot 的智能提示有 20% 的概率能生成正确的下一步结果。 > 例如我使用的一个叫 GitHub Copilot 的工具，你只需要写下一半的证明，它就会尝试猜测接下来的内容。大概有 20% 的情况下，它能猜到接近正确的答案。然后你就可以说，我接受这个答案。好的，那么在这种情况下，我正在试图证明这个陈述。灰色的部分是 Copilot 给出的建议。结果发现第一行完全没用。不过第二行，尽管你可能看不清楚，却真的解决了这个问题。所以，你不能盲目接受它的输入，因为这些代码未必能顺利编译。但如果你对代码的运作方式已经有所了解，这将大大节省你的时间。这些工具正在变得越来越好。现在如果一个证明只需要一两行，它们就能自动完成。现在已经有了这样的实验，即通过迭代地让 AI 提供证明，然后让编译器进行反馈，如果编译出错，就把错误信息反馈给 AI。通过这种方法，我们开始能够验证四五步长的证明。当然，一个大型的证明可能需要数万行。所以，我们还没有达到能够立即得到一个正式证明的程度。但是，这已经是一个相当有用的工具。对于大家关心的问题： AI 在数学领域现在到了哪一个阶段？是否未来几年利用 AI 能直接解决数学问题？陶哲轩也给出了他的看法： > 我认为我们还远远没有达到这个阶段。如果我们专注于非常特定的问题，你可以定制专门的 AI 来处理一小部分问题。即便如此，它们也不是完全可靠的，但还是有用的。不过至少在接下来的几年里，它们基本上将是非常有用的辅助工具，超越了我们已经熟悉的暴力计算辅助。他还提到了一些可能的 AI 能在数学领域提供帮助的方向： - AI 能够非常好地生成有价值的猜想 > 比如，我们已经看到了关于结理论的例子，它们已经可以推测出两个不同的统计量之间的关系。因此，我们希望能够创建大量的数据集，输入到 AI 中，它们就会自动找出各种不同的数学对象之间的有趣联系。虽然我们还不知道如何做到这一点，部分原因是我们没有这些庞大的数据集。但我认为这是未来可能实现的一个方向。 - 批量或者说规模化的证明大量数学定理 > 现在，因为证明定理是如此繁琐和艰难的过程，我们一次只能证明一个定理，如果你效率很高，可能一次能证明两三个。但是有了 AI，你可以设想一下未来的情况，我们不是试图解决一个问题，而是处理一类类似的1000个问题，然后告诉AI，尝试用这个方法解决这 1000 个问题，然后报告结果，哦，我能用这种技术解决 35% 的问题。那么另一种技术呢？我能解决这个百分比的问题。或者如果结合这些方法，又能解决多少问题？你可以开始探索问题的空间，而不是一个接一个地解决问题。这是你现在根本无法做到的事情，或者是你需要几十年时间，通过数十篇论文慢慢搞清楚各种技术能做什么，不能做什么。但是有了这些工具，你真的可以开始做规模前所未有的数学研究。所以，未来将会非常令人兴奋。演讲环节结束前的最后一句话说的特别好： > 我们仍然会以传统方式证明定理。事实上，我们必须这样做，因为如果我们自己都不知道如何做这些事情，就无法引导这些 AI。但是我们将能够做很多现在无法做到的事情。这恰恰也是我们现在使用 AI 辅助编程的问题：如果我们自己都不知道如何构建软件，就很难引导好 AI 帮助我们生成高质量的代码。尽管 AI 在数学和编程领域变得越来越有用，但人类的洞察力和创造力仍然是创作价值的关键。原始 YT 视频：

宝玉

304,128 次观看 • 2 年前

Claude 个人用户要刷脸实名了 7月8日开始，所有个人版 Claude 用户（Free、Pro、Max）在某些情况下会被要求上传政府签发的身份证件，并拍实时自拍照做人脸比对验证由第三方平台 Persona 处理。个人开发者是第一批被纳入验证范围的这个消息放在 Fable 5 被封的背景下看就很好理解了。模型发布第一天就被越狱，政府直接下令封禁，Anthropic 现在大概率是在用实名制来堵越狱和滥用的口子用 AI 以后可能跟开银行账户差不多了——得证明你是你对中国用户来说这个影响需要关注：如果验证只接受特定国家的证件，很多人可能连 Free 版都用不了了

Claude 个人用户要刷脸实名了 7月8日开始，所有个人版 Claude 用户（Free、Pro、Max）在某些情况下会被要求上传政府签发的身份证件，并拍实时自拍照做人脸比对验证由第三方平台 Persona 处理。个人开发者是第一批被纳入验证范围的这个消息放在 Fable 5 被封的背景下看就很好理解了。模型发布第一天就被越狱，政府直接下令封禁，Anthropic 现在大概率是在用实名制来堵越狱和滥用的口子用 AI 以后可能跟开银行账户差不多了——得证明你是你对中国用户来说这个影响需要关注：如果验证只接受特定国家的证件，很多人可能连 Free 版都用不了了

Vincent

37,296 次观看 • 3 个月前

“羊驼哥”爆料“甜甜圈”王伟恒近期在美国境遇的惊人反转：尽管其在短视频中表现得极度落魄、甚至被戏称为“不如一条狗”，但王伟恒却被爆料已成功获得美国绿卡，而获批的关键证据竟是国内网民对他长期的讽刺、挖苦和极端威胁等“网暴”言论。他通过提交这些网暴证据向移民局证明，若回国将面临严重的政治迫害和生存威胁，从而利用网友的敌意完成了政治庇护的逻辑闭环。接下来我分析一下这种逻辑是否符合申请美国庇护绿卡的要求？在美国移民法框架下，通过展示“社交媒体网暴”或“网络言论迫害”来申请政治庇护，在逻辑上是存在理论支持但实际门槛极高的。 1. 庇护签证的核心逻辑：受迫害的可能性美国庇护申请（Asylum）的核心在于申请人必须证明自己因种族、宗教、国籍、特定社会团体成员身份或政治观点这五大受保护类别，在母国遭受了迫害，或具有“理由充分的恐惧”（well-founded fear）。 • 网暴作为“迫害”证据：法律界正在探讨将大规模在线伤害视为“过去迫害”的证据。如果申请人能证明网暴是由母国政府发起、支持，或者是母国政府“无法或不愿控制”的非政府行为，且这种网暴导致了严重的精神伤害、生存威胁或经济封锁，它可能被视作迫害的一种形式。 • 回国后的风险：逻辑链条的关键在于，这种网暴是否证明了申请人一旦回国将面临监禁、酷刑、失去人身自由或生命威胁。如果视频中提到的面谈证据能让移民局相信，网民的极端言论反映了母国社会对其的普遍敌意且政府无法提供保护，其逻辑在庇护框架下是成立的。 2. 网暴与“特定社会团体”或“政治观点” 庇护申请必须关联到上述五大类别。网暴本身不是理由，网暴背后的原因才是： • 政治观点（Political Opinion）：如果王伟恒的言论被视为一种政治立场，而网友的攻击是针对该立场进行的“政治迫害”，这符合申请逻辑。 • 特定社会团体（PSG）：申请人可能将自己定义为某种特定身份的群体，而网暴证明了该群体在母国正遭受系统的歧视或暴力。 3. 王伟恒（甜甜圈）案例的特殊性与争议 • 反差式证明：视频提到他展示落魄生活并引发网暴。这种逻辑的奇特之处在于，他可能利用了网民的负面情绪来为自己“背书”，即通过网友的辱骂和威胁信件，向美国官方证明自己是一个“在母国无法生存且回国必遭清算”的受害者。 • 证据的真实性审查：美国移民局（USCIS）近年来加强了对社交媒体的审查。如果移民局认为王伟恒的视频内容或引发的冲突是为了获得身份而刻意“自编自演”（Self-induced persecution），申请通常会被拒绝。 4. 现实申请中的极大难度尽管逻辑上可行，但在现实操作中仅靠“被网友骂”很难直接拿到绿卡： • 严重程度标准：法律规定的“迫害”是极端概念，必须达到“威胁生命或自由”的程度。一般的调侃或谩骂往往被归类为“骚扰”而非“迫害”。 • 政府责任：必须证明母国政府对这些网暴行为不仅知情，而且采取了默许甚至推动的态度，或无法提供有效的法律保护。总结这种方式在法律上属于“基于网络言论引发的政治观点迫害”。如果他提交的证据确实包含了具体的生命威胁，并且能证明这些威胁由于其政治立场在母国具有可信度，那么这确实符合美国庇护申请的逻辑闭环。然而，考虑到美国目前对庇护申请的严苛审查和对欺诈行为的打击，仅凭此类视频爆料尚无法确认他是否真的已获得绿卡，因为这一过程通常耗时数年且充满变数。

“羊驼哥”爆料“甜甜圈”王伟恒近期在美国境遇的惊人反转：尽管其在短视频中表现得极度落魄、甚至被戏称为“不如一条狗”，但王伟恒却被爆料已成功获得美国绿卡，而获批的关键证据竟是国内网民对他长期的讽刺、挖苦和极端威胁等“网暴”言论。他通过提交这些网暴证据向移民局证明，若回国将面临严重的政治迫害和生存威胁，从而利用网友的敌意完成了政治庇护的逻辑闭环。接下来我分析一下这种逻辑是否符合申请美国庇护绿卡的要求？在美国移民法框架下，通过展示“社交媒体网暴”或“网络言论迫害”来申请政治庇护，在逻辑上是存在理论支持但实际门槛极高的。 1. 庇护签证的核心逻辑：受迫害的可能性美国庇护申请（Asylum）的核心在于申请人必须证明自己因种族、宗教、国籍、特定社会团体成员身份或政治观点这五大受保护类别，在母国遭受了迫害，或具有“理由充分的恐惧”（well-founded fear）。 • 网暴作为“迫害”证据：法律界正在探讨将大规模在线伤害视为“过去迫害”的证据。如果申请人能证明网暴是由母国政府发起、支持，或者是母国政府“无法或不愿控制”的非政府行为，且这种网暴导致了严重的精神伤害、生存威胁或经济封锁，它可能被视作迫害的一种形式。 • 回国后的风险：逻辑链条的关键在于，这种网暴是否证明了申请人一旦回国将面临监禁、酷刑、失去人身自由或生命威胁。如果视频中提到的面谈证据能让移民局相信，网民的极端言论反映了母国社会对其的普遍敌意且政府无法提供保护，其逻辑在庇护框架下是成立的。 2. 网暴与“特定社会团体”或“政治观点” 庇护申请必须关联到上述五大类别。网暴本身不是理由，网暴背后的原因才是： • 政治观点（Political Opinion）：如果王伟恒的言论被视为一种政治立场，而网友的攻击是针对该立场进行的“政治迫害”，这符合申请逻辑。 • 特定社会团体（PSG）：申请人可能将自己定义为某种特定身份的群体，而网暴证明了该群体在母国正遭受系统的歧视或暴力。 3. 王伟恒（甜甜圈）案例的特殊性与争议 • 反差式证明：视频提到他展示落魄生活并引发网暴。这种逻辑的奇特之处在于，他可能利用了网民的负面情绪来为自己“背书”，即通过网友的辱骂和威胁信件，向美国官方证明自己是一个“在母国无法生存且回国必遭清算”的受害者。 • 证据的真实性审查：美国移民局（USCIS）近年来加强了对社交媒体的审查。如果移民局认为王伟恒的视频内容或引发的冲突是为了获得身份而刻意“自编自演”（Self-induced persecution），申请通常会被拒绝。 4. 现实申请中的极大难度尽管逻辑上可行，但在现实操作中仅靠“被网友骂”很难直接拿到绿卡： • 严重程度标准：法律规定的“迫害”是极端概念，必须达到“威胁生命或自由”的程度。一般的调侃或谩骂往往被归类为“骚扰”而非“迫害”。 • 政府责任：必须证明母国政府对这些网暴行为不仅知情，而且采取了默许甚至推动的态度，或无法提供有效的法律保护。总结这种方式在法律上属于“基于网络言论引发的政治观点迫害”。如果他提交的证据确实包含了具体的生命威胁，并且能证明这些威胁由于其政治立场在母国具有可信度，那么这确实符合美国庇护申请的逻辑闭环。然而，考虑到美国目前对庇护申请的严苛审查和对欺诈行为的打击，仅凭此类视频爆料尚无法确认他是否真的已获得绿卡，因为这一过程通常耗时数年且充满变数。

蔡子博士Chris

65,396 次观看 • 9 个月前

♨️♨️好消息！你们好日子来了！马克·卢比奥收紧签证审查：外国人申请美国签证必须公开社交媒体美国国务卿马克·卢比奥推动的一项措施正在改变游戏规则：申请美国签证的外国人，必须把自己的社交媒体账号全部设为公开。不再允许隐私账号，也不再允许“仅好友可见”。国务院要求申请人对X（原Twitter）、Instagram、Facebook、TikTok等所有平台开放访问权限。对中国申请人来说，微博、微信、小红书同样在审查范围内——只要过去5年内使用过，就必须如实申报，并把账号设为公开。领事官员将审查他们发了什么内容、转发了什么观点、以及和谁有联系。目标很明确——在这些人踏上美国土地之前，及时发现可能威胁美国国家安全或公共安全的人。国务院官方备忘录中写得很清楚： “国务院在签证审查与核实过程中，会利用一切可获得的信息来源，识别那些可能不符合入境资格的申请人，包括对国家安全或公共安全构成威胁的人。” 备忘录还强调：“每一次签证裁决，本质上都是国家安全决定。”美国签证是一种特权，不是权利。这项措施是川普政府加强边境与签证安全政策的延续。此前，学生签证（F、M、J）、H-1B等高技能工作签证等类别已经要求申请人把社交媒体设为公开。现在范围进一步扩大，包括外国媒体代表，以及部分来自墨西哥和加拿大的商务签证申请人及其家属。卢比奥在相关视频中的表态很直接：美国必须保持警惕，确保进入美国的人不会对美国人造成伤害，也不会威胁美国的利益。社交媒体审查只是其中一项工具，用来识别那些对美国充满敌意、支持极端主义，或试图掩盖危险联系的人。这不是“审查言论自由”，而是入境前的基本安全筛查。想申请美国签证，就必须愿意把自己真实的一面展示出来——包括微博、微信、小红书这些中国常用平台。

♨️♨️好消息！你们好日子来了！马克·卢比奥收紧签证审查：外国人申请美国签证必须公开社交媒体美国国务卿马克·卢比奥推动的一项措施正在改变游戏规则：申请美国签证的外国人，必须把自己的社交媒体账号全部设为公开。不再允许隐私账号，也不再允许“仅好友可见”。国务院要求申请人对X（原Twitter）、Instagram、Facebook、TikTok等所有平台开放访问权限。对中国申请人来说，微博、微信、小红书同样在审查范围内——只要过去5年内使用过，就必须如实申报，并把账号设为公开。领事官员将审查他们发了什么内容、转发了什么观点、以及和谁有联系。目标很明确——在这些人踏上美国土地之前，及时发现可能威胁美国国家安全或公共安全的人。国务院官方备忘录中写得很清楚： “国务院在签证审查与核实过程中，会利用一切可获得的信息来源，识别那些可能不符合入境资格的申请人，包括对国家安全或公共安全构成威胁的人。” 备忘录还强调：“每一次签证裁决，本质上都是国家安全决定。”美国签证是一种特权，不是权利。这项措施是川普政府加强边境与签证安全政策的延续。此前，学生签证（F、M、J）、H-1B等高技能工作签证等类别已经要求申请人把社交媒体设为公开。现在范围进一步扩大，包括外国媒体代表，以及部分来自墨西哥和加拿大的商务签证申请人及其家属。卢比奥在相关视频中的表态很直接：美国必须保持警惕，确保进入美国的人不会对美国人造成伤害，也不会威胁美国的利益。社交媒体审查只是其中一项工具，用来识别那些对美国充满敌意、支持极端主义，或试图掩盖危险联系的人。这不是“审查言论自由”，而是入境前的基本安全筛查。想申请美国签证，就必须愿意把自己真实的一面展示出来——包括微博、微信、小红书这些中国常用平台。

Helen 🇺🇸👉PASS THE SAVE ACT

40,664 次观看 • 1 个月前

洪都拉斯宣布与台湾断绝外交关系，并与北京正式建交，承认“世界上只有一个中国”。自蔡英文执政以来，已有九个国家与台湾的中华民国政府断交。这使得与台湾建交的国家进一步减少到13个。蔡英文在一段影片中表示，台湾“不会和中国进行无意义的金钱外交竞逐”。

洪都拉斯宣布与台湾断绝外交关系，并与北京正式建交，承认“世界上只有一个中国”。自蔡英文执政以来，已有九个国家与台湾的中华民国政府断交。这使得与台湾建交的国家进一步减少到13个。蔡英文在一段影片中表示，台湾“不会和中国进行无意义的金钱外交竞逐”。

BBC News 中文

267,013 次观看 • 3 年前

面对天灾、中国军事威胁，部分台湾人开始为可能的 #断网危机做准备，而何封（化名）就是其中一位。他创建网络社群，积极推广一项“离网通信工具”，目的是吸引更多台湾人加入他的行列，组建一张“离线通信网”。这个工具到底是什么？DW带你一起来看看！ #dw中文 #台湾 #无线电 #断网

面对天灾、中国军事威胁，部分台湾人开始为可能的 #断网危机做准备，而何封（化名）就是其中一位。他创建网络社群，积极推广一项“离网通信工具”，目的是吸引更多台湾人加入他的行列，组建一张“离线通信网”。这个工具到底是什么？DW带你一起来看看！ #dw中文 #台湾 #无线电 #断网

DW 中文- 德国之声

53,682 次观看 • 8 个月前

护照这东西，说白了就是国家实力的身份证，新加坡直接拿下全球第一。一本在手，192个国家随便飞，没有任何歧视和捆绑，这才是真正的顶级通行证。日韩和德国的免签数量也不少，但在全球认可度和通行自由度上，还是稍逊一筹。

护照这东西，说白了就是国家实力的身份证，新加坡直接拿下全球第一。一本在手，192个国家随便飞，没有任何歧视和捆绑，这才是真正的顶级通行证。日韩和德国的免签数量也不少，但在全球认可度和通行自由度上，还是稍逊一筹。

WangNextDoor

26,907 次观看 • 2 个月前

日本参议员石平先生非常高兴和激动的踏上台湾国土，因为中共“制裁”他，禁止他进入“中国”的国境。他说：“今天他能够顺利的进入台湾的国境，进入中华民国的国境，这就充分说明了中华人民共和国和中华民国完全是两国不同的国家。台湾绝对不是“中国”的一部分，台湾就是台湾。台湾就是中华民国，和中华人民共和国、大陆的中国没有一毛钱的关系，我今天来到台湾首先就是要证明这一点，就是向全世界告诉：台湾是一个独立的国家。”

日本参议员石平先生非常高兴和激动的踏上台湾国土，因为中共“制裁”他，禁止他进入“中国”的国境。他说：“今天他能够顺利的进入台湾的国境，进入中华民国的国境，这就充分说明了中华人民共和国和中华民国完全是两国不同的国家。台湾绝对不是“中国”的一部分，台湾就是台湾。台湾就是中华民国，和中华人民共和国、大陆的中国没有一毛钱的关系，我今天来到台湾首先就是要证明这一点，就是向全世界告诉：台湾是一个独立的国家。”

郑敏

14,244 次观看 • 8 个月前

馆长：赖清德，中华民国这个借壳上市的总统，你有本事你就宣布独立，不要抱着中华民国，什么是中华民国，中国哎，是中华民族，我可不可以说我是中国人？当然可以！可我们在台湾不能说是中国人，但我身份证上写是中国人，那我到底是什么人？我是其余人。

馆长：赖清德，中华民国这个借壳上市的总统，你有本事你就宣布独立，不要抱着中华民国，什么是中华民国，中国哎，是中华民族，我可不可以说我是中国人？当然可以！可我们在台湾不能说是中国人，但我身份证上写是中国人，那我到底是什么人？我是其余人。

羲皇

33,683 次观看 • 1 年前

美国民主党联邦众议员克利什纳穆希15日呼吁，将雷根政府时期的「对台六项保证法案」正式纳入美国法律。「对台六项保证法案」包括：美国不会设定停止对台军售的日期、美国不会修改「台湾关系法」的相关规定、美国不会在决定对台军售前和中国咨商、美国不会在台湾与中国间担任调人；关于台湾主权，美国不会改变自身立场，这是个须由中国人自己解决的问题，且美国不会迫使台湾与中国谈判；美国不会正式承认中国对台湾的主权。并且要求将六项保证明文列为美国政策，并于国会建立审查机制，确保未来任何政府在未经国会批准下，不得更改这些原则。

美国民主党联邦众议员克利什纳穆希15日呼吁，将雷根政府时期的「对台六项保证法案」正式纳入美国法律。「对台六项保证法案」包括：美国不会设定停止对台军售的日期、美国不会修改「台湾关系法」的相关规定、美国不会在决定对台军售前和中国咨商、美国不会在台湾与中国间担任调人；关于台湾主权，美国不会改变自身立场，这是个须由中国人自己解决的问题，且美国不会迫使台湾与中国谈判；美国不会正式承认中国对台湾的主权。并且要求将六项保证明文列为美国政策，并于国会建立审查机制，确保未来任何政府在未经国会批准下，不得更改这些原则。

李老师不是你老师

106,965 次观看 • 1 年前

“有人告诉我说政府发布的死亡数字是个位数，这是完全荒谬和不可信的”，北京的一位市民告诉路透社。另一位北京市民对于其他国家对来自中国的旅客采取的检测等措施表示理解。路透社4日走访的一个北京发热门诊和附近的殡仪馆看上去依然繁忙。中国3日通报的新冠死亡人数为5人。

“有人告诉我说政府发布的死亡数字是个位数，这是完全荒谬和不可信的”，北京的一位市民告诉路透社。另一位北京市民对于其他国家对来自中国的旅客采取的检测等措施表示理解。路透社4日走访的一个北京发热门诊和附近的殡仪馆看上去依然繁忙。中国3日通报的新冠死亡人数为5人。

美国之音中文网

325,682 次观看 • 3 年前

轉：塞耶博士作证说：共产主义是西方意识形态引进中国，但它摧毁了中国文化、社会和文明，杀害了数百万中国人。共产主义中共天生具有侵略性，它是苏联帝国主义的产物，是不合法的。习近平让暴政加剧。中国人民已认识到，这个可恶的、腐败的、不合法的政权是为统治者所用，而不是为中国人民服务的。

轉：塞耶博士作证说：共产主义是西方意识形态引进中国，但它摧毁了中国文化、社会和文明，杀害了数百万中国人。共产主义中共天生具有侵略性，它是苏联帝国主义的产物，是不合法的。习近平让暴政加剧。中国人民已认识到，这个可恶的、腐败的、不合法的政权是为统治者所用，而不是为中国人民服务的。

雪柔

44,181 次观看 • 1 年前

中共的验证码来“敲门” 近日，中国议会筹委会官网公开的委员、召集人、部门负责人等成员工作邮箱，全部遭到持续的验证码轰炸。这不是普通垃圾邮件，更不是偶然骚扰。对方不断更换网站，批量触发验证码。这个网站用完换下一个，今天轰炸一轮，明天继续。不署名，不明说威胁，却一天不落地来“敲门”。我们认为，这就是中共针对中国议会成员进行的有组织、持续性的网络骚扰和心理威吓。为什么玩这种下三滥的把戏？因为它既想让你知道“我盯着你”，又不敢堂堂正正留下那句威胁。连恐吓都要躲在验证码后面，这就是中共面对海外反贼无可奈何的样子。今天公开的，只是我们能够展示的一部分截图。筹委会官网公开邮箱的相关成员均遭遇了这种骚扰。你们每天换一个网站，我们就每天多留下一份记录。但有一件事，你们中共最好搞清楚：几个验证码吓不倒中国议会，更挡不住我们继续往前走。该做的工作，我们一天不会停；该推进的民主议会，我们继续推进。这些验证码，就当是为我们所做的一切鼓掌吧。作者：传播部罗志飞罗志飞（政府逃亡者）

中共的验证码来“敲门” 近日，中国议会筹委会官网公开的委员、召集人、部门负责人等成员工作邮箱，全部遭到持续的验证码轰炸。这不是普通垃圾邮件，更不是偶然骚扰。对方不断更换网站，批量触发验证码。这个网站用完换下一个，今天轰炸一轮，明天继续。不署名，不明说威胁，却一天不落地来“敲门”。我们认为，这就是中共针对中国议会成员进行的有组织、持续性的网络骚扰和心理威吓。为什么玩这种下三滥的把戏？因为它既想让你知道“我盯着你”，又不敢堂堂正正留下那句威胁。连恐吓都要躲在验证码后面，这就是中共面对海外反贼无可奈何的样子。今天公开的，只是我们能够展示的一部分截图。筹委会官网公开邮箱的相关成员均遭遇了这种骚扰。你们每天换一个网站，我们就每天多留下一份记录。但有一件事，你们中共最好搞清楚：几个验证码吓不倒中国议会，更挡不住我们继续往前走。该做的工作，我们一天不会停；该推进的民主议会，我们继续推进。这些验证码，就当是为我们所做的一切鼓掌吧。作者：传播部罗志飞罗志飞（政府逃亡者）

中國議會（臨時）籌備委員會

52,481 次观看 • 15 天前