陶哲轩博客写数学问题时，通常先把对象定义清楚，再给直觉、反例和证明轮廓。把「Darwin’s finches and introgressive hybridisation」改写成可阅读的中文笔记，重点是：问题在问什么、已知到哪一步、下一步最容易走偏在哪。原站广告、分享条和导航已去掉。

问题在问什么

Last week, as mentioned previously , I attended a very inspiring interdisciplinary meeting at the Royal Society. It would be impossible for me to describe all 47 talks in detail; but 一个常见想法是 that I would take the time to discuss one representative talk, presented by Rosemary Grant FRS , on her research (together with several collaborators, including her husband ), on the ongoing evolution (and speciation ) of Darwin’s finches in the Galápagos islands ; this was a particularly

Darwin’s finches are of course famous for being studied by Charles Darwin during his voyage on the Beagle ; their remarkable biodiversity, for instance in their beak shapes, being one of the major pieces of evidence leading him to formulate the theory of evolution and natural selection. (The beaks of these finches, incidentally, formed the topic of a Pulitzer Prize-winning book , based in large part on the Grants’ research.) They consist of 14 different species, which are dis

已知结果和反例

Grant and her fellow researchers have tracked the finches on the island of Daphne Major in the Galápagos for the past 35 years – banding them, measuring them, and taking blood samples for DNA analysis. There are two major species of finches on this island: Geospiza scandens (common cactus-finch), which is a larger finch with a more pointed beak that feeds primarily on cactus seeds, and Geospiza fortis (medium ground-finch), which is a smaller finch with a stronger, blunter be

The climate on Daphne Major oscillates every decade or so between heavy rainfall and drought, thanks to El Niño . As a consequence, the number of cactus seeds available for the finches varies dramatically from year to year. During El Niño years, there is such an abundance of food supply that the population of the finches explodes, for instance it doubled during the El Niño year of 1982. Conversely, during drought years, when there are only a few seeds, the population of the f

证明或构造的主线

There are several types of cactus seeds on Daphne major, ranging from smaller seeds that can be eaten by all the finches (particularly those with smaller beaks), and the larger, harder seeds which are only edible to the Geospiza scandens finches with larger and stronger beaks. The relative proportion of these seeds varies from year to year, and thus exerts a strong selective pressure on these finches, particularly in drought years and El Niño years; the beak size and strength

This was all very reasonable and predictable, but it led to an interesting puzzle – given the modest genetic pool of the Geospiza scandens population, how was it that both the small-beak genes and large-beak genes survived for millions of years, given that selective pressures tended to strongly favour one over the other every decade or so?

阅读时建议盯住的点

The answer, hypothesised and then confirmed by Grant and her collaborators, was introgressive hybridisation – the occasional sharing of genes between Geospiza scandens and Geospiza fortis due to interbreeding. This interbreeding is usually prevented by bird song – a finch learns the bird song of its species from its parents (via imprinting ), and only mates with other finches with the same song, this being the primary way for the finches to recognise members of the same speci

This research sheds some interesting light on the early stages of speciation – the divergence of one species into two. At these stages, the species are mostly separate from each other, but a limited amount of interbreeding, and thus gene transfer, still takes place; not necessarily enough to make the two species converge back into one (especially if they are specialised towards different ecological niches), but enough to have a non-trivial impact on the genetic diversity of b

阅读和落地时建议先做的 5 件事

1. 用自己的语言重写定义和结论，不看原文能不能说清对象是什么。
2. 找一个最小反例或边界情形，确认假设少一条会怎样。
3. 把证明拆成可独立检验的引理，每步只保留一个新想法。
4. 若涉及计算或形式化，先写可复现的小例子，再谈一般情形。
5. 记下尚未解决的缺口：缺估计、缺构造，还是缺正确的范畴。

和智能体、形式化工具怎么接

龙虾PRO做 OpenClaw 落地时，数学笔记最有用的部分往往是「可检验的步骤」：定义、反例、引理边界。智能体适合帮忙展开计算和检索，不适合代替你决定哪条假设能扔。

本文侧重全链路风控方法论。落地时请用自身业务单据做回放验证，不要把示例阈值直接当生产策略。 相关：风控体检 · 方案资源