陆子恒：我们用AI穷举了20万种材料，知道了一个价值10亿的问题