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