Balaji：AI 正快速推进数学，下一前沿是生物医学

Techub News 消息，@balajis 发推称，AI 正快速推进数学以及本质为数学的理论物理问题；人类数学家未来或需花数月甚至数年验证 AI 生成的论文，数学本身可能通过 Lean 成为计算机科学分支。 Balaji 表示，在数学和物理之后，下一个科学前沿是化学，尤其是生物学和医学；AI 可快速合成分析组学数据与文献，提升生物医学研究雄心，实验室所称「治愈所有疾病」即指向此。 他提到 Midjourney、Chan Zuckerberg 和 Anthropic 都在推进相关工作，并认为未来还会有更多参与者。