形式化研究揭示糖尿病视网膜病变分级文本存在缺口与矛盾

Elisa Rovai 与 Fabio Rovai 在 arXiv（2611.06569）发表论文，将糖尿病视网膜病变同一国际分级的四份文本——2025 年英文筛查定义、2017 年制表版、2003 年原版和 2015 年意大利指南——转写为覆盖 24 个发现变量的规则语言，并穷举 1,425,807,360 种发现组合，发现每份文本在所有读法下都存在无法归类的眼睛。 研究还发现 2017 制表版存在空集的增殖类，且无法将 2003 级别映射到 2017 级别；在一份数据集（DDR）上，英文文本与 2017 制表版对 26.8% 眼睛的转诊建议不一致。论文称，在一项预注册的后续研究中，不经深思直接作答的语言模型修复了大部分缺口与重叠条目。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。