20 所全球顶尖高校联手造了一个「科学 IDE」,想用科研经验训练 AI