AI For Science
AI for Science is one of the episode’s proposed ways to avoid direct competition with foundation-model bulldozers. The host lists areas such as chip design, material discovery, mining, mathematics, and quantum-computer design as examples of higher-complexity work with deeper industry know-how.
哪条路线，才能通往「世界模型」的终局？｜对话黄碧薇：Aether AI 创始人 adds Huang Biwei’s causal view: scientific domains such as biopharma, new materials, astronomy, and physical-world discovery are less forgiving than language and code because they require deeper causal understanding under changing conditions.
“你有一把能够挖出金子的铲子，肯定不会先给别人用”｜对谈开物纪陆子恒：用AI发明新材料 adds the concrete materials version through Lu Ziheng and Kaiwuji. It turns AI for Science into AI Materials Discovery: AI-generated candidates still have to pass synthesizability, property, experiment, kilogram-scale, customer, and commercialization tests before they count as useful scientific progress.
145. 口述SpaceX开发史：和前高管洪力德聊，马斯克用人观、最大IPO、太空与AI、人类文明扩张前奏？ adds an aerospace version through SpaceX. Louis Hong / 洪力德 argues that AI can help space work through simulation, material science, system design, and physical-world modeling, while space may help AI through Space Based AI Infrastructure. This extends AI for Science from lab discovery into the infrastructure and engineering systems needed to test and deploy physical technologies.
E242｜最快半年AI跑通自进化？与陈天桥首席科学家聊聊硅谷模型必争之地 adds Apodex’s Heavy Duty Solver version. The source treats AI for Science as part of a broader Discovery Model ambition: models should not only retrieve existing knowledge, but generate hard hypotheses, write code or run simulations, and verify whether the result is real. Its first named application areas include biology, medicine, drug discovery, old-drug repurposing, and diagnosis, but the episode’s core constraint is general: AI Verification and Research Taste determine whether discovery claims are useful.
137. 对洪乐潼的4小时访谈：AI for Math、把数学变成Lean、数学天书中的证明、直觉、被创造与被发现的 adds Hong Letong / 洪乐潼’s AI For Math bridge. She treats mathematics as a digital sandbox for reliable reasoning because feedback can be formal and fast through Lean Theorem Prover and Interactive Theorem Proving, while many physical sciences require labs, experiments, and slower real-world feedback. In that view, Mathematical Abundance can later support science and engineering by supplying more verified theory.
Investment Logic
- Scientific and industrial domains may be harder to commoditize than lightweight software wrappers.
- They require specialized knowledge, data, and operational credibility.
- They sit near other moonshot themes such as Embodied AI and World Models.
- Causal AI and Causal World Models may matter because scientific systems often require reasoning about interventions, hidden variables, and state transitions.
- AI Materials Discovery suggests that AI-for-science startups may need to own long validation and commercialization loops, not just provide models or APIs.
- Discovery Model work adds a second moat question: can the system choose valuable scientific questions and verify answers, not only generate candidates?
- AI For Math may be an unusually clean AI-for-science route because formal proof gives better verification signals than most empirical domains.
Connections
- ZhenFund — investment context in which the theme is discussed.
- Everything Agent — contrasting, more workflow-oriented application thesis.
- Causal AI — research frame added by the Aether AI source.
- Kaiwuji, Lu Ziheng, AI Materials Discovery, and Materials Pipeline Company — materials-specific version added by the Kaiwuji source.
- SpaceX, Space Based AI Infrastructure, and Space Economy Infrastructure — aerospace and orbital-infrastructure extension added by the SpaceX source.
- Apodex, Discovery Model, Recursive Self-Improvement, AI Verification, and Research Taste — Heavy Duty Solver version added by the Silicon Valley 101 source.
- Hong Letong / 洪乐潼, Axiom, AI For Math, Formal Verification, and Mathematical Abundance — formal-math route added by episode 137.