跳到正文
今天10月17日周六1 条
10月11日周日
  1. 量子位62

    陶哲轩:数学2.0时代已至,证明泛滥后数学家护城河在哪

    菲尔兹奖得主陶哲轩发文提出数学2.0时代已至,建立在证明稀缺之上的数学1.0时代即将落幕。他认为AI让获取解答的门槛降低,但判断解答是否正确、贡献多大以及与已有研究衔接仍需认真处理,否则会出现解出题却未增加理解的错位。他呼吁建立更透明的评估机制,把失败结果和AI算力成本一并纳入报告,并主张减少对抢先生成证明的强调,增加对解释、评审和知识整理的重视。

10月10日周六
  1. Latent Space34

    为什么 AlphaFold 没有解决蛋白质折叠——对话 Google DeepMind 的 Pushmeet Kohli 与 Biohub 的 Sal Candido

    Google DeepMind 的 Pushmeet Kohli 与 Biohub 的 Sal Candido 在对话中指出,AlphaFold 的突破只是开始,蛋白质结构预测远未解决。两人认为单纯扩大算力和数据不足以解决生物学问题,关键在于找到正确的 scaling law,并让生物建模从单个蛋白质走向整个生物系统。

10月9日周五
9月29日周二
  1. MIT Technology Review · AI62

    AI 何时才算真正做出科学发现?

    Anthropic 宣布其分子生物学实验室的 Claude 智能体系统在 21 小时内从数百万 DNA 序列中标记出一个已知酶周围的重复模式,并称这是该实验室的首个发现,但部分生物学家认为找到基因簇和重复序列往往只是容易的部分,真正困难的是弄清系统实际功能。

5月8日周五