NB-0045Ⅶ · 理解万物 · 求知的渴望
让机器替人类做科研
把从假设到实验到发表的科研全流程交给AI,让人类一年做出过去一百年的发现。
8颗暗星在攻
8.0潜能光度
4个方向
EAI for science · 可验证算法发现会做科研的 AI——破大停滞的元钥匙,也是失控风险的核心潜能 T7E自主实验室 · 自动化科学让机器闭环地提假设、做实验、迭代,把科研产出率整体拉高潜能 T6E数学形式化 · 机器可验证证明把数学整体搬进机器可验证的形式系统——既是数学可信性的地基,也是 AI 做数学的跑道。潜能 T6E系统综述自动化·AI证据提炼让AI替人类挑出海量文献里靠谱的证据潜能 T6EAI自主假设-实验闭环让AI自己提问题、设计实验、写论文·科研生产函数改写潜能 T6EAI辅助同行评审·质量把关审稿人不够用了,AI能不能守住科学质量关潜能 T5E科研可复现性·AI置信度评分在论文发表前就预判它能不能被复现潜能 T5R机器学习实验可复现性危机论文说效果很好,换个人跑却复现不出来潜能 T4