{"type":"link","version":"1.0","title":"作者在实现 Knuth 算法 D… · A long division story | HotDaily","description":"作者在实现 Knuth 算法 D 时发现其正确性依赖的定理 B 证明有问题，尝试自行证明失败后找到了一个反例，证明算法 D 在特定情况下会出错…","url":"https://hotdaily.top/item/765d8acd-5a73-461c-8b15-3df8731f5f85","provider_name":"HotDaily","provider_url":"https://hotdaily.top","thumbnail_url":"https://hotdaily.top/og.png","thumbnail_width":1200,"thumbnail_height":630}