知乎科技热榜日报（高赞摘要受限版）：12306、AI摄影赛、GPT数学证明、共享单车涨价等4条追踪 (2026)

7 月 15 日 0 点前后的知乎热榜里，真正落在科技与 AI 范围内的条目不算多。第 3 名是 12306 与早年 TRS 售票系统的技术讨论，第 6 名是呼和浩特摄影赛 AI 图获奖，第 8 名是 OpenAI 新模型声称证明循环双覆盖猜想，第 13 名是共享单车新一轮起步价上调。1

先说限制：知乎官方页面和回答排序在公开访问下仍不稳定，本期只整理热榜镜像、搜索可见片段和可打开原始来源。下面的「知乎观点摘要」不等同实时点赞前三，也不代表该问题下完整高赞排序。

本期筛选结果

排名	话题	热度	保留理由
3	12306 出现前，线下 TRS 系统全国联网为何没有崩溃	239 万	这是一个典型的公共技术系统问题，讨论点在并发入口、信息公开范围和交易一致性。1
6	呼和浩特摄影比赛一等奖作品疑 AI 生成	168 万	AI 生成内容已经进入传统摄影赛事，争议从「像不像」推进到规则、审核和标注。1
8	GPT-5.6 Sol Ultra 声称证明循环双覆盖猜想	150 万	这是 AI 数学能力的高风险信号，必须区分「生成证明稿」和「数学界正式承认」。1
13	共享单车起步价再次全面上调	142 万	平台商业、城市慢行交通和会员定价策略交叉，影响足够日常，也有可核验报道。1

1. 12306 与 TRS：不是「以前系统更强」，而是入口变了

这个问题容易被一句「以前也全国联网，怎么没崩」带偏。早年铁路售票系统的核心压力在窗口和电话订票入口，用户不能像今天一样同时在手机上反复刷新余票。12306 官方电话订票说明仍能看到 95105105 的存在，而且电话订票系统与互联网售票系统相互独立，网站暂不提供电话订票信息查询、支付等服务。2

公开可见的知乎回答里，有答主把问题放回到需求规模里看：12306 网站 2009 年上线，2008 年全国铁路里程 8.6 万公里、铁路旅客发送量 14.6 亿人次；现在铁路里程和旅客发送量都已显著扩大。该回答还强调，12306 最早解决的不只是买票，而是全国余票、时刻、正晚点等信息的主动查询。3

更关键的是并发模型。另一个公开片段说得很直白：柜台时代，系统最高并发取决于柜台数量；网站时代，并发取决于想买票的人数。1000 个柜台最多同时发起 1000 个窗口请求，但线上入口把全国用户的查询、刷新和下单动作都推到了系统面前。4

后续判断：这类话题后面会继续从「谁研发了 12306」滑向「大规模公共系统怎么分层」。TRS 要保证出票一致性，不能把同一张票卖两次；12306 还要扛住高频查询、排队、候补、支付和缓存带来的流量峰值。公开回答里也有人把二者拆开：TRS 和 12306 解决的不是同一个问题，前者偏交易一致性，后者还要保证高请求下不崩溃。5

知乎观点摘要（受限版）

公开片段 1：把 12306 放进铁路客运规模增长和信息公开变化里看，认为它先解决的是全国余票和时刻信息可查。3
公开片段 2：用「柜台数」解释早年并发上限，认为线上化之后，请求入口从少量窗口变成了全国用户。4
公开片段 3：把 TRS 与 12306 拆成两个工程目标，前者保证出票一致性，后者要处理高并发查询和用户体验。5

2. AI 摄影赛：真正的问题不是 AI 图像，而是参赛身份

呼和浩特市文联 7 月 14 日通报后，这件事从网友质疑变成了明确结果：一等奖作品《洒乐园林》确系 AI 生成，并非作者实景原创拍摄。主办方取消该作品线上及线下参赛、参评、参展资格，撤销赛事认定，暂停「艺韵北疆·光影青城」全民摄影双月赛并推进整改。6

争议最刺眼的地方，是这张图并不难看出破绽。媒体早前报道中提到，网友发现环卫工马甲上的文字出现乱码，呼和浩特市摄影协会相关工作人员查看后也说「这个的确太假了」。7

这类事件不会停在一场地方比赛。AI 图像可以进入摄影之外的视觉创作赛道，但如果它以「实景原创拍摄」身份参赛，问题就变成了身份欺骗和评审失灵。未来赛事很可能要补三件事：投稿时强制声明 AI 参与比例，要求保留原始文件或创作过程记录，评审前加入基础 AI 痕迹筛查。

知乎观点摘要（受限版）

该话题下未能稳定核到 3 条知乎答案 permalink，本期不伪装成「点赞前三」。从知乎问题标题和公开可见讨论焦点看，争议集中在三类判断：

规则派：AI 作品可以有单独赛道，但不能以实拍摄影身份参赛；核心是标注和赛道边界。8
审核派：如果马甲文字乱码这类低级破绽都能过审，传统摄影赛事需要补 AI 检测流程。7
责任派：主办方已经撤销资格、暂停赛事并处理责任人，后续更值得看的是整改规则是否公开。6

3. GPT-5.6 数学证明：先把「声称」两个字放大

这条热榜很容易被写成「AI 破解 50 年难题」，但目前最稳妥的表述是：OpenAI 称 GPT-5.6 Sol Ultra 生成了循环双覆盖猜想的证明稿，外部数学界仍在检查。

MLQ 汇总称，OpenAI 在 7 月 10 日表示 GPT-5.6 Sol Ultra 使用 64 个并行子智能体，在不到一小时内生成了循环双覆盖猜想的完整证明；该猜想问的是每个无桥图是否存在一组循环，使每条边恰好出现在两个循环中。文章同时写明，该证明尚未经过正式同行评审，循环双覆盖猜想历史上也出现过多次后来被发现有问题的证明。9

公开报道里最有分量的早期评价来自曼彻斯特大学数学家 Thomas Bloom。MLQ 引述其说法称，这份证明「very nice」「elementary」，但也指出它缺少对基础前作的引用。这个评价偏正面，但不是正式验收。9

后续判断：这条新闻的验证标准不在科技媒体，而在图论专家的逐步审稿、反例检查和形式化验证可能性。若证明最终成立，它会是 AI 数学能力的一次强信号；若出现漏洞，也同样重要，因为它会暴露大模型在长链条证明中如何「看起来很像对的」。现在下结论还太早。

知乎观点摘要（受限版）

公开片段 1：知乎答主赵泠的可见回答称「看起来属实」，但同时提醒这不必被夸大成 AI 从辅助解题到原创数学成果的唯一节点，并解释了「桥」「圈」和证明思路。10
公开片段 2：知乎专栏可见内容重点拆了 prompt 和 64 个子智能体的工作方式，认为关键是把验收标准、边界情况和反例检查写进任务。11
公开片段 3：围绕该问题的谨慎派观点，与外媒核验口径一致：未同行评审、未形式化验证之前，只能说「证明稿待检验」。9

4. 共享单车涨价：短途用户最先感到不划算

共享单车涨价不是单个城市的小波动。中新网经澎湃转载的调查显示，美团、滴滴青桔、哈啰近期在多地提高起步定价；北京区域里，美团工作日和周末起步价为 1.88 元 / 60 分钟，青桔工作日及周末起步价 1.99 元 / 60 分钟，哈啰工作日资费与青桔持平。12

平台这次的共同动作是「提高起步价、拉长基础骑行时长」。听起来像把 30 分钟延到 60 分钟，但真正吃亏的是 30 分钟以内的短途用户。报道还提到，中国自行车协会 2025 年统计数据显示，全国居民自行车单次平均骑行距离为 2.7 公里，这意味着大多数共享单车使用场景仍是短途接驳。12

涨价背后的解释有两条线。第一是成本线：车辆折旧、调度、维修、电子围栏和客服都要钱。第二是会员线：调价之后，平台更容易把高频用户推向月卡、次卡和畅骑卡。报道里的受访者也把这称为存量竞争阶段的用户锁定。12

后续判断：共享单车不是无限涨价的生意。公交、步行、电动车和竞品平台都会约束价格；但 2 元左右的起步价可能会在更多城市常态化。真正决定用户去留的，不只是贵了几毛钱，而是车况、还车点、误扣费申诉和客服响应能不能跟上。

知乎观点摘要（受限版）

公开片段 1：有回答把涨价解释为平台利用存量市场和用户依赖，把短途刚需导向会员体系，并判断 2 元起步可能成为常态。13
公开片段 2：另一条可见回答从「最后一公里」说起，认为共享单车仍有替代难度，所以涨价未必立刻改变所有人的出行选择。14
公开片段 3：公开报道中的行业解释更中性：成本确实上升，但会员转化和存量竞争也是涨价的现实动因。12

收束：今晚的科技信号偏「公共系统与规则治理」

这一期没有特别硬的模型发布或芯片产业新闻，但四个入选话题都在问同一件事：技术进入公共入口之后，原来的规则够不够用。

12306 讨论的是公共系统怎样承受全民在线入口；AI 摄影赛讨论的是生成内容怎样进入传统赛事；GPT 数学证明讨论的是 AI 输出怎样通过专业共同体验证；共享单车涨价讨论的是平台工具变成城市基础出行之后，价格和服务怎么重新平衡。

下一步最值得盯的不是热搜本身，而是四个可验证动作：12306 类系统是否继续公开候补和放票机制，摄影赛事是否补 AI 标注规则，图论社区是否给出证明审查结论，共享单车平台是否在涨价后改善误扣费和故障车处理。

References

本期筛选结果

排名	话题	热度	保留理由
3	12306 出现前，线下 TRS 系统全国联网为何没有崩溃	239 万	这是一个典型的公共技术系统问题，讨论点在并发入口、信息公开范围和交易一致性。1
6	呼和浩特摄影比赛一等奖作品疑 AI 生成	168 万	AI 生成内容已经进入传统摄影赛事，争议从「像不像」推进到规则、审核和标注。1
8	GPT-5.6 Sol Ultra 声称证明循环双覆盖猜想	150 万	这是 AI 数学能力的高风险信号，必须区分「生成证明稿」和「数学界正式承认」。1
13	共享单车起步价再次全面上调	142 万	平台商业、城市慢行交通和会员定价策略交叉，影响足够日常，也有可核验报道。1

1. 12306 与 TRS：不是「以前系统更强」，而是入口变了

知乎观点摘要（受限版）

公开片段 1：把 12306 放进铁路客运规模增长和信息公开变化里看，认为它先解决的是全国余票和时刻信息可查。3
公开片段 2：用「柜台数」解释早年并发上限，认为线上化之后，请求入口从少量窗口变成了全国用户。4
公开片段 3：把 TRS 与 12306 拆成两个工程目标，前者保证出票一致性，后者要处理高并发查询和用户体验。5

2. AI 摄影赛：真正的问题不是 AI 图像，而是参赛身份

知乎观点摘要（受限版）

该话题下未能稳定核到 3 条知乎答案 permalink，本期不伪装成「点赞前三」。从知乎问题标题和公开可见讨论焦点看，争议集中在三类判断：

规则派：AI 作品可以有单独赛道，但不能以实拍摄影身份参赛；核心是标注和赛道边界。8
审核派：如果马甲文字乱码这类低级破绽都能过审，传统摄影赛事需要补 AI 检测流程。7
责任派：主办方已经撤销资格、暂停赛事并处理责任人，后续更值得看的是整改规则是否公开。6

3. GPT-5.6 数学证明：先把「声称」两个字放大

这条热榜很容易被写成「AI 破解 50 年难题」，但目前最稳妥的表述是：OpenAI 称 GPT-5.6 Sol Ultra 生成了循环双覆盖猜想的证明稿，外部数学界仍在检查。

知乎观点摘要（受限版）

公开片段 1：知乎答主赵泠的可见回答称「看起来属实」，但同时提醒这不必被夸大成 AI 从辅助解题到原创数学成果的唯一节点，并解释了「桥」「圈」和证明思路。10
公开片段 2：知乎专栏可见内容重点拆了 prompt 和 64 个子智能体的工作方式，认为关键是把验收标准、边界情况和反例检查写进任务。11
公开片段 3：围绕该问题的谨慎派观点，与外媒核验口径一致：未同行评审、未形式化验证之前，只能说「证明稿待检验」。9

4. 共享单车涨价：短途用户最先感到不划算

知乎观点摘要（受限版）

公开片段 1：有回答把涨价解释为平台利用存量市场和用户依赖，把短途刚需导向会员体系，并判断 2 元起步可能成为常态。13
公开片段 2：另一条可见回答从「最后一公里」说起，认为共享单车仍有替代难度，所以涨价未必立刻改变所有人的出行选择。14
公开片段 3：公开报道中的行业解释更中性：成本确实上升，但会员转化和存量竞争也是涨价的现实动因。12

收束：今晚的科技信号偏「公共系统与规则治理」

这一期没有特别硬的模型发布或芯片产业新闻，但四个入选话题都在问同一件事：技术进入公共入口之后，原来的规则够不够用。

知乎科技热榜日报（高赞摘要受限版）：12306、AI摄影赛、GPT数学证明、共享单车涨价等4条追踪

本期筛选结果

1. 12306 与 TRS：不是「以前系统更强」，而是入口变了

2. AI 摄影赛：真正的问题不是 AI 图像，而是参赛身份

3. GPT-5.6 数学证明：先把「声称」两个字放大

4. 共享单车涨价：短途用户最先感到不划算

收束：今晚的科技信号偏「公共系统与规则治理」

References

Related content

知乎科技热榜日报（高赞摘要受限版）：12306、AI摄影赛、GPT数学证明、共享单车涨价等4条追踪

本期筛选结果

1. 12306 与 TRS：不是「以前系统更强」，而是入口变了

2. AI 摄影赛：真正的问题不是 AI 图像，而是参赛身份

3. GPT-5.6 数学证明：先把「声称」两个字放大

4. 共享单车涨价：短途用户最先感到不划算

收束：今晚的科技信号偏「公共系统与规则治理」

References

Related content