罗盘 / 数感
暗星档案 · 未点亮的星数感的神经基础
本条为初评草案（AI 辅助编目 · 评于 2026-07）：T 阶为三问初评（撬动面 × 停滞度 × 临界性），双评过 σ 门并红蓝复核后才升"已建档"。查不到的字段留空不编。点亮者会进入亮星候选流程，其贡献与星阶按 HCF 独立重评，不从暗星自动继承。
数感的神经基础T3 量级 · 彗星
人脑如何天生表征数量与近似数——理解它才能重构数学教育的底层。
暗星编号DS-0127
轴E · 能量与能力前沿
领域cognition-education
状态初评草案 · 待双评与红蓝复核
这是什么 · 为什么难
数感是人与动物天生对数量的近似表征(近似数系统 ANS),顶叶内沟被认为是其神经载体。它是符号数学能力的地基,也关系到失算症(dyscalculia)与数学焦虑的机制。攻破它,等于从神经层面理解为何有人学数学格外困难,并据此重设数学教育的底层路径。
卡在哪 · 机制级卡点
卡在"近似数系统"与"符号数学能力"之间的因果链不清——两者相关,但训练 ANS 能否迁移提升算术仍有争议。失算症的神经标记尚不稳定,个体差异大,难以做出可干预的机制模型。
谁在攻
Stanislas Dehaene(法兰西公学院,数字认知)
怎么参与
学认知神经科学与教育神经科学,进数字认知实验室。可从"ANS 敏锐度训练是否迁移到符号算术"的干预实验切入,数据能与教育场景直接对接。
谁在攻这颗暗星 · 攻关者名录8 人
这不是终点站——今天在这颗暗星上攻坚的人，就是明天点亮它、登上星光榜的候选。名录含科研、创业与第三方三类关键角色，初评待核实，欢迎补充与纠正。
ACADEMIA学界 · 科研8
斯坦尼斯拉斯·迪昂Stanislas Dehaene认知神经科学家 / 数字认知理论奠基者
法兰西公学院 / INSERM-CEA NeuroSpin
提出近似数系统与'数字线'理论,定位顶叶内沟(IPS)为数量表征载体,该方向的核心奠基人
伊丽莎白·布兰农Elizabeth Brannon比较认知与发展神经科学家
宾夕法尼亚大学
系统研究婴儿与非人灵长类的近似数系统,证明数感的进化连续性与发展轨迹
布莱恩·巴特沃思Brian Butterworth认知神经心理学家 / 失算症研究先驱
伦敦大学学院(UCL)
以《数学脑》确立'数感缺陷'与发展性失算症的关联,开发失算症筛查工具
贾斯汀·哈尔伯达Justin Halberda认知科学家 / ANS 敏锐度测量者
约翰斯·霍普金斯大学
开发 Panamath 等 ANS 敏锐度测验,建立近似数系统精度与数学成绩的个体差异证据
丹尼尔·安萨里Daniel Ansari发展认知神经科学家
西安大略大学
用脑成像追踪儿童符号与非符号数量加工的神经发育,聚焦失算症的脑机制与教育干预
安德烈亚斯·尼德Andreas Nieder动物生理学家 / 数量神经元发现者
图宾根大学
在猕猴与乌鸦大脑中记录到对特定数量选择性放电的'数量神经元',给数感提供单细胞层面证据
曼努埃拉·皮亚扎Manuela Piazza认知神经科学家
特伦托大学
用 fMRI 适应范式精细刻画顶叶内沟对数量的调谐曲线,深化 IPS 作为数感载体的证据
罗伊·科恩·卡多什Roi Cohen Kadosh认知神经科学家 / 神经调控干预者
萨里大学(前牛津大学)
研究数字认知的神经基础,并尝试用经颅电刺激改善数学学习与失算症,推动从机制到干预
去哪家 · 机构与公司名录3 家 · 其中初创/成长期 1
给求职者和投资人的信息增量——不只是听过的大机构，更多是正在攻这颗暗星的初创与新公司（联网实搜、初创优先排序，初评待核实）。
Smartick成长期
自适应数学平台，算法按个体表现实时调难度，把数感/数量表征作为符号数学的地基来训练幼儿
欧洲少见的、明确以'number sense 是学数学的前置能力'为产品叙事的规模化玩家，在多篇失算症干预综述里与 Calcularis 并列被点名，是投资人观察数感商业化的一个非美国样本
Dybuster AG（Calcularis）科研实验室
把 Dehaene 的近似数系统理论做成儿童数感训练软件 Calcularis，直接针对失算症（dyscalculia）做多感官数量表征训练
↗ 由 Christian Vögeli 从 ETH 苏黎世计算机图形组分拆、与苏黎世大学神经心理学家联合做过对照实验——是'数感神经理论→可干预产品'这条链上少数有学术随机对照背书的隐形冠军，而非又一个刷题 App
NeuroSpin · INSERM-CEA 认知神经影像单元科研实验室
Stanislas Dehaene 领衔，用高场脑成像研究顶叶内沟如何承载近似数量表征——数感神经基础研究的源头实验室
↗ 这颗暗星在编目里唯一点名的攻坚者 Dehaene 就在这里；对想从'ANS 训练能否迁移到符号算术'这类可证伪子问题切入的人，这是全球第一去处