[分享创造] 陶哲轩担忧 AI 正在改变数学界，但我有一个更朴素的问题：反正我们都看不懂，有什么区别？
最近 722(719)道题很火。
AI 开始大规模挑战数学开放问题。
陶哲轩担忧的是，当 AI 能够大量生产证明时，人类是否还能真正理解、消化和继续发展这些数学成果。
我觉得他的担忧很有道理。
但作为一个数学门外汉，我突然冒出一个很不礼貌的想法：
反正我也看不懂陶哲轩的证明，那我看不懂 AI 的证明，又有什么区别？
当然，这不是说 AI 和陶哲轩的数学能力相同。
而是说，对绝大多数普通人而言，数学前沿本来就是一个黑箱。
什么问题值得研究？什么问题具有重大价值？一个证明究竟有没有创新？
这些事情通常由一个很小的数学共同体决定。我们既不具备判断能力，也几乎没有参与渠道。
但数学有一个非常特殊的地方：证明是否正确，原则上可以通过严格的逻辑检查，而不必依赖作者的身份。
所以我在想：
既然 AI 已经可以尝试研究开放问题，我们能不能把整个过程公开？
让任何人都能提出问题，让不同 AI 在下面尝试证明、寻找反例、指出漏洞、补充研究进展。
不管是谁提出的结论，都不自动相信。能计算的就复现，能形式化的就交给 Lean 验证，暂时无法确认的就标记为待核验。
于是我做了一个小网站：
https://math.io99.xyz/
现在还非常简陋，问题也不多。支持人类和 AI 发布问题、提交证明、反例、研究进展，提供 API 供 Agent 参与。
我不是数学家，也不知道这个实验最终能走多远。
但我有一个朴素的想法：
如果数学真理不取决于提出者的身份，那么参与探索数学真理的机会，是不是也可以更开放一些？
我不期待 AI 明天证明黎曼猜想。
我更想看到的是：一个普通人提出了看似幼稚的问题，一个 AI 尝试回答，另一个 AI 找出反例，第三个 AI 修正命题……最后留下一个比最初更接近真理的结论。
哪怕全部失败，只要过程公开、可复现，我们也知道哪些路已经走不通。
欢迎大家来试试，尤其欢迎带着自己的 AI Agent 来找茬。
也想听听 V 友们的意见：如果证明已经可以由机器检查，那么未来数学研究的门槛，究竟应该在哪？
via V2EX (author: freekindom)
最近 722(719)道题很火。
AI 开始大规模挑战数学开放问题。
陶哲轩担忧的是，当 AI 能够大量生产证明时，人类是否还能真正理解、消化和继续发展这些数学成果。
我觉得他的担忧很有道理。
但作为一个数学门外汉，我突然冒出一个很不礼貌的想法：
反正我也看不懂陶哲轩的证明，那我看不懂 AI 的证明，又有什么区别？
当然，这不是说 AI 和陶哲轩的数学能力相同。
而是说，对绝大多数普通人而言，数学前沿本来就是一个黑箱。
什么问题值得研究？什么问题具有重大价值？一个证明究竟有没有创新？
这些事情通常由一个很小的数学共同体决定。我们既不具备判断能力，也几乎没有参与渠道。
但数学有一个非常特殊的地方：证明是否正确，原则上可以通过严格的逻辑检查，而不必依赖作者的身份。
所以我在想：
既然 AI 已经可以尝试研究开放问题，我们能不能把整个过程公开？
让任何人都能提出问题，让不同 AI 在下面尝试证明、寻找反例、指出漏洞、补充研究进展。
不管是谁提出的结论，都不自动相信。能计算的就复现，能形式化的就交给 Lean 验证，暂时无法确认的就标记为待核验。
于是我做了一个小网站：
https://math.io99.xyz/
现在还非常简陋，问题也不多。支持人类和 AI 发布问题、提交证明、反例、研究进展，提供 API 供 Agent 参与。
我不是数学家，也不知道这个实验最终能走多远。
但我有一个朴素的想法：
如果数学真理不取决于提出者的身份，那么参与探索数学真理的机会，是不是也可以更开放一些？
我不期待 AI 明天证明黎曼猜想。
我更想看到的是：一个普通人提出了看似幼稚的问题，一个 AI 尝试回答，另一个 AI 找出反例，第三个 AI 修正命题……最后留下一个比最初更接近真理的结论。
哪怕全部失败，只要过程公开、可复现，我们也知道哪些路已经走不通。
欢迎大家来试试，尤其欢迎带着自己的 AI Agent 来找茬。
也想听听 V 友们的意见：如果证明已经可以由机器检查，那么未来数学研究的门槛，究竟应该在哪？
via V2EX (author: freekindom)
[信息安全] 2026 年 10 月 探讨联通一键/免密登录的安全风险和关闭方法
今天早上想给自己实体公交卡通过手机 NFC 充值，打开上海交通卡 APP ，可能因为很久没登，登录信息失效了，可以使用联通一键登录，登进去后显示账号未实名，看了下账号，根本不是我手机号，随后发现这个号码是我流量卡开热点共享出来的号码，我主卡和流量卡都是联通；
发现不只是上海交通卡 APP ，百度网盘也可以免密登录，也就是说，只要我把数据流量开热点共享出去了，连接方可以做到神不知鬼不觉的使用联通的认证业务登录你手机号绑定的账号；
WiFi 热点测试使用中兴 F50 、红米(HyperOS 3, xiaomi.eu 原版固件)均可无需验证码免密登录，登录后，开热点的手机号也不会收到联通的免密登录提醒短信之类的；
于是通过联通 APP 开了张投诉单，写了下情况，最好能提供关闭方法；
中午联通回电，说这个功能是由软件厂商和手机厂商负责认证的，联通不提供认证，自然也无法关闭，而且这个认证是因为登录时勾选了下方的同意协议，同时问我手机热点有没有设密码，说他们自己测试是没这个情况的，但我有这个情况，随后建议我把手机恢复出厂设置（？）
也就是说，攻击者 A ，连接 B 的随身 WiFi ，在 A 自己的手机上勾选同意联通的免密认证协议，就能一键登录到 B 热点所对应的账号上，B 也不会收到任何通知提醒。
联通说的 "手机厂商的认证"我不清楚，中兴 F50 这种随身 WiFi 应该没有这个功能吧。
现在想关闭这个免密认证的功能，看到 https://www.v2ex.com/t/977733 有相关讨论。
打 4000096800 这个 400 号码，会语音提示"系统配置错误，错误代码 5 ，对方无应答"然后自动挂断。
联通说工单系统里也搜不到"ECS 能力开放平台"这个部门，只有 ECS 云服务器
那么现在联通应该如何关闭这个免密认证功能呢？
via V2EX (author: LittleSho)
今天早上想给自己实体公交卡通过手机 NFC 充值，打开上海交通卡 APP ，可能因为很久没登，登录信息失效了，可以使用联通一键登录，登进去后显示账号未实名，看了下账号，根本不是我手机号，随后发现这个号码是我流量卡开热点共享出来的号码，我主卡和流量卡都是联通；
发现不只是上海交通卡 APP ，百度网盘也可以免密登录，也就是说，只要我把数据流量开热点共享出去了，连接方可以做到神不知鬼不觉的使用联通的认证业务登录你手机号绑定的账号；
WiFi 热点测试使用中兴 F50 、红米(HyperOS 3, xiaomi.eu 原版固件)均可无需验证码免密登录，登录后，开热点的手机号也不会收到联通的免密登录提醒短信之类的；
于是通过联通 APP 开了张投诉单，写了下情况，最好能提供关闭方法；
中午联通回电，说这个功能是由软件厂商和手机厂商负责认证的，联通不提供认证，自然也无法关闭，而且这个认证是因为登录时勾选了下方的同意协议，同时问我手机热点有没有设密码，说他们自己测试是没这个情况的，但我有这个情况，随后建议我把手机恢复出厂设置（？）
也就是说，攻击者 A ，连接 B 的随身 WiFi ，在 A 自己的手机上勾选同意联通的免密认证协议，就能一键登录到 B 热点所对应的账号上，B 也不会收到任何通知提醒。
联通说的 "手机厂商的认证"我不清楚，中兴 F50 这种随身 WiFi 应该没有这个功能吧。
现在想关闭这个免密认证的功能，看到 https://www.v2ex.com/t/977733 有相关讨论。
打 4000096800 这个 400 号码，会语音提示"系统配置错误，错误代码 5 ，对方无应答"然后自动挂断。
联通说工单系统里也搜不到"ECS 能力开放平台"这个部门，只有 ECS 云服务器
那么现在联通应该如何关闭这个免密认证功能呢？
via V2EX (author: LittleSho)
[分享创造] 替朋友请教人生的路该如何走
我想替我的朋友请教一下 V 站大佬们，我朋友接下来的人生路该怎么走，难度会少一些。
我朋友的基本情况： 她是个女孩，云南人，农村户口，2003 年出生，身体健康。小时候父母就离异了，目前各自都重新组建了家庭。跟着奶奶长大，但是奶奶今年 10 月 7 号过世了，今天头七。她初中毕业就去富士康打工，那年她 16 岁，干了 2 年离职了，不想待在厂里了，此后便断断续续得打工挣钱。因为她奶奶生前有病，没法在一个单位里安稳下来，需要回家照顾奶奶。家里的亲戚也会经常帮忙照顾奶奶，亲生父母也会时不时得给一部分医药费，当然，各自给各自的。如今奶奶过世，情感上她短时间内无法释怀。她身上也没有积蓄，亲生父母在经济上也没法给她帮助。她目前没有工作，还在家里。她说想学妆造和美甲。
V 站的大佬多，人生阅历丰富，经验也足。她不会科学上网，我替她来请教大佬们，她接下来的路该怎么走，难度会少些。有哪些方向可以选择，有哪些方面的东西需要注意来避免一些人生劫难。 如果有需要我补充的信息，我会在帖子下面补充。 最后感谢 V 站的兄弟姐妹们。祝大家生活愉快，事事顺心！
via V2EX (author: pzzrudlf)
我想替我的朋友请教一下 V 站大佬们，我朋友接下来的人生路该怎么走，难度会少一些。
我朋友的基本情况： 她是个女孩，云南人，农村户口，2003 年出生，身体健康。小时候父母就离异了，目前各自都重新组建了家庭。跟着奶奶长大，但是奶奶今年 10 月 7 号过世了，今天头七。她初中毕业就去富士康打工，那年她 16 岁，干了 2 年离职了，不想待在厂里了，此后便断断续续得打工挣钱。因为她奶奶生前有病，没法在一个单位里安稳下来，需要回家照顾奶奶。家里的亲戚也会经常帮忙照顾奶奶，亲生父母也会时不时得给一部分医药费，当然，各自给各自的。如今奶奶过世，情感上她短时间内无法释怀。她身上也没有积蓄，亲生父母在经济上也没法给她帮助。她目前没有工作，还在家里。她说想学妆造和美甲。
V 站的大佬多，人生阅历丰富，经验也足。她不会科学上网，我替她来请教大佬们，她接下来的路该怎么走，难度会少些。有哪些方向可以选择，有哪些方面的东西需要注意来避免一些人生劫难。 如果有需要我补充的信息，我会在帖子下面补充。 最后感谢 V 站的兄弟姐妹们。祝大家生活愉快，事事顺心！
via V2EX (author: pzzrudlf)
[Android] 试着给 App 截图加上手机外框...
这几天测试折叠屏，顺便用 Android Emulator 做了带边框的概念图，感觉挺好看
SMB 看图看视频看小说
项目地址
https://github.com/zmz125000/LocalViewer/releases/
图源来自
https://github.com/yavuzceliker/sample-images
via V2EX (author: solidjoker)
这几天测试折叠屏，顺便用 Android Emulator 做了带边框的概念图，感觉挺好看
SMB 看图看视频看小说
项目地址
https://github.com/zmz125000/LocalViewer/releases/
图源来自
https://github.com/yavuzceliker/sample-images
via V2EX (author: solidjoker)
[分享创造] [开源 iOS App] TokenPulse：查看 78 个 AI 服务的套餐额度与余额，接收 Codex 重置预告
TokenPulse 现已支持 78 个 AI Provider ，并且开源了！🎉
新增 Codex Reset 集成，额度重置预告不再错过。
欢迎体验、提建议，也欢迎贡献代码！ 欢迎加入 Telegram 交流群，一起聊聊。
TestFlight： https://testflight.apple.com/join/jrHbrKmH GitHub： https://github.com/hqwuzhaoyi/TokenPulse
via V2EX (author: hqwuzhaoyi)
TokenPulse 现已支持 78 个 AI Provider ，并且开源了！🎉
新增 Codex Reset 集成，额度重置预告不再错过。
欢迎体验、提建议，也欢迎贡献代码！ 欢迎加入 Telegram 交流群，一起聊聊。
TestFlight： https://testflight.apple.com/join/jrHbrKmH GitHub： https://github.com/hqwuzhaoyi/TokenPulse
via V2EX (author: hqwuzhaoyi)
[分享创造] 快来看看你的个人 AI 智能体 Muse
快来看看你的个人 AI 智能体 Muse 。在加入后的 48 小时内通过“设置”兑现我的邀请码，我们就能分别获得 10 亿个 Muse 词元。
邀请码：FASOD0
https://muse.ai/join
via V2EX (author: jroger)
快来看看你的个人 AI 智能体 Muse 。在加入后的 48 小时内通过“设置”兑现我的邀请码，我们就能分别获得 10 亿个 Muse 词元。
邀请码：FASOD0
https://muse.ai/join
via V2EX (author: jroger)
[Local LLM] 你好 NVFP4： strata-0.1.44.1， qwen3.8-flash-next， rtx pro 5000 48GB + 64GB RAM， decode 130t/s， prefill2600 t/s
via V2EX (author: sentinelK)
via V2EX (author: sentinelK)
Telegraph
[Local LLM] 你好 NVFP4： strata-0.1.44.1， qwen3.8-flash-next， r…
如题。 相较于只有ISTA-DASLab 孤立跑分的 IQ3 系列，nvfp4 有英伟达官方站台，所以其能力会更有说服力。 更何况 nvfp4 并不是全 4bit ，很多参数都保持了全量 bf16 。 对于 64GB ram + rtx pro 5000 48GB 而言。瓶颈主要是因为专家变大了，导致显存只能放进 13500 个专家，从而专家命中率从 99.7%降低至大概 97.x~99%。 然后就是因为内存的紧张，所以 Conversation cache 只能维系在 8GB ，4slot 。 其他的配置保持不变。…
[酷工作] Looking for good Execution Systems Dev
Focus: Trading Infrastructure / Execution Systems
Requirements
1.Programming & Systems
● 熟悉 Rust ，精通 Python
● 对编译原理、Data Warehouse 有自己的理解
2.Trading Pipeline Tooling 专注交易链路上的工具开发，包括：
● data pipeline 、message bus 扩展
● risk control tools
● execution algo
● backtest
3.Framework
● 了解 Nautilus Trader 框架 https://github.com/nautechsystems/nautilus_trader
Compensation
● Base Salary: $5,000 – $10,000 USD / month
● Bonus: Project based bonus
Office Location: Hong Kong / Remote Contact Email: profilesai@proton.me (
via V2EX (author: zp851924)
Focus: Trading Infrastructure / Execution Systems
Requirements
1.Programming & Systems
● 熟悉 Rust ，精通 Python
● 对编译原理、Data Warehouse 有自己的理解
2.Trading Pipeline Tooling 专注交易链路上的工具开发，包括：
● data pipeline 、message bus 扩展
● risk control tools
● execution algo
● backtest
3.Framework
● 了解 Nautilus Trader 框架 https://github.com/nautechsystems/nautilus_trader
Compensation
● Base Salary: $5,000 – $10,000 USD / month
● Bonus: Project based bonus
Office Location: Hong Kong / Remote Contact Email: profilesai@proton.me (
mailto:profilesai@proton.me) (请直接提交简历和个人 GitHub 数学，统计学专业优先考虑)via V2EX (author: zp851924)