问道研究所

Reasoning Research Institute

问题地图

生之科学从难题出发:三圈破题问题、闭环问题的理论缺项,以及体系自身尚未完成的部分。

不从学科出发,从难题出发;不宣称解决一切难题,只在能被检验的地方破题。

「破题」不是宣称解决了某个难题,而是选择一个难题作为入口,用生之科学的工具给出一个可以被独立检验的切入,并把检验结果——无论成败——公开登记。各领域难题与生之科学概念之间的映射,在经过建模与检验之前一律只是阐释级的读法。下文的评分与圈层是初评,待作者审定后冻结。

遴选标准

生之科学的破题问题,应当是存在之科学的某些默认预设在其中失效的难题。五项预设是:① 良基与无循环;② 主客独立;③ 目标点存在;④ 路径可枚举;⑤ 分支可分解。预设失效是遴选的必要条件而非充分条件:每题还按生成性特征、可检验性、资产成熟度、社会价值与风险五项评分。五年内无可行检验的问题归入外环。

内环:首选破题问题

内环六题由问道研究所主导破题,恰好分布在科学、技术与社会三个领域,每一题都对应一项已有的工具或研究线。

S1 · 生命科学

细胞命运的控制与重编程

目标命运应在网络的吸引子中选取,而不是表达谱空间里任意一点。切入:穷举吸引子与吸引盆,搜索最小干预组合;对照已发表的敲除、过表达与重编程实验检验。工具:旋机全基因组分析器。

S8 · 数学与逻辑

循环结构的形式化与机器验证

把固有类与 νF 的对应、AFA 唯一解、互模拟判据以及克 = 生² 等结构定理逐条写入 Lean 证明助手。验证者是证明检查器本身,独立性最强。

T1 · 人工智能

大语言模型的概念结构评测

评测模型内部概念如何彼此生成,而不只是题目得分。切入:DTEB 构念效度研究,事先登记构念与判定阈值。

T3 · 软件工程

循环依赖与系统同一性

以互模拟判定行为等价,区分「应当打破的循环」与「构成系统功能的循环」。贡献不在检测算法(已有成熟工具),而在统一的分类框架与可检验的预测。

T7 · 科学学

AGI 时代的知识体系危机

一门学科如何既被 AI 准确学到、又保持可核验?本站本身就是这一问题的破题包:命题库、认知分级、更正公示与 AI 表征审计。

H1 · 社会

个人与组织的目标实现

旋机成事:识别实现愿望的旋机,作三值存在性判定(可实现、需调整、当前不可实现),给出点火与克制设计,以撤出检验确认闭合。不向用户承诺必然成功。

中环:需要领域合作者

中环十三题在结构上属于生之科学的问题,但缺少资产、需要领域数据与合作者,或宣称风险较高。进入方式:领域合作者主导,生之科学提供结构分析与工具,合作者对领域结论有否决权;进入时间不早于内环至少两题取得 PASS 并有独立复核之后。

结构问题
状态锁定与突变(吸引子与吸引盆)癌症作为异常吸引子状态;生态系统的状态突变与早期预警;贫困陷阱;技术与制度的路径依赖;电网与基础设施的级联失效
反身性与共适应(主客互生)AI 对齐中的人机共适应;推荐系统与信息茧房;金融市场的反身性与泡沫;社会极化与信任下降;病原体耐药的共演化
自指循环与知识生态AI 生成内容回灌导致的模型退化;科学研究的可重复性危机;学习与技能习得的点火阈值
中环问题(按结构分组)

医学、金融与政治相关的问题只以合作、结构分析的方式进入:不作治疗、投资或政策方面的宣称;金融相关的工作附免责声明,不构成投资建议。

外环:不作破题宣称

生命起源、意识的难问题、量子测量与量子引力、气候系统的临界点:五年内没有生之科学可以提出、可由独立方检验的切入。对这些问题,生之科学不作任何破题宣称;自催化闭环、意识的自指结构与固有类确有结构上的呼应,但在有可检验的切入之前,不说「生之科学解释了意识」或「揭示了生命起源」。主动列出不作宣称的问题,本身就是可信的信号。

闭环问题的理论缺项

企业讲投资闭环,产品讲数据飞轮,投资者以自身影响力塑造所投资的市场:实践已经学会了画圈,理论还停留在画线。闭环并非没有理论——控制论、系统动力学、理性预期、反身性与表演性理论、二阶控制论都在处理闭环——问题是它们各管一段、互不相通。并非所有闭环都是固有类:恒温器式的过程闭环可以完全良基地描述,控制论已处理得很好。

层级特征例
一 过程闭环在独立对象上施加反馈,状态空间固定;良基,属存在之科学恒温控制、闭环胰岛素输注
二 自持闭环闭环本身构成实体:有点火门槛,越过即自持,断裂即消亡企业资本循环、网络效应、数据飞轮、习惯
三 反身闭环预测者身处被预测对象之中,预测改变对象指数纳入的价格回路、前瞻指引、推荐系统
四 生成闭环闭环在运行中改写自己的规则乃至状态空间组织的双环学习、AI 自动化 AI 研发
闭环的四个层级(层级越高,离固有类越近)

七项理论缺项:闭环作为个体的本体论;闭环的同一性判据;点火与自持的条件;反身情境下的验证方法;闭环结构的分类学;改写自身规则的闭环;闭环问题的可解性边界。生之科学对多数缺项有对应的概念与形式工具,但对应不等于解决——除可解性边界外,应用于实践的地位均为阐释级、待检验或纲领级。它能否成为这类问题的理论基础,由对应原理检验:既要证明经典反馈控制、理性预期均衡是其退化情形,又要在既有理论失效之处给出可检验的新结果。

体系自身的开放问题

  • 大一统定理:回卷引理、不可分割引理与万殊同构引理(写作中)。νF 存在且唯一与全集 V 不存在为其数学对偶锚点定理级,定理整体纲领级
  • 分支必然性定理:外部锚点(塔斯基、哥德尔)定理级,整体目前结构推论,须形式化方成定理。
  • 跨域五行映射:每一项须经 ℤ₅ 真代数验证(步长 1 与 2 两条有向哈密顿圈且克 = 生²);失败要诚实报告,正确结构常为四象。
  • 双轨 AI(3T、FPRC、FPBA、FPMA):方向已明,效力待实证纲领级
级别复核中:上游命题有变动,本条的级别正在复核。
SGC-0060 纲领级

大一统定理:生之科学作为整体展开的必然性(写作中)。

级别复核中:上游命题有变动,本条的级别正在复核。
SGC-0061 纲领级

双轨 AI 纲领:3T(三轨 Transformer)、FPRC、FPBA、FPMA。

AI 助手