Poketto

愚者

公开空间

#浮点运算

所有标签

算素数算出个召回:一位数学教授,让英特尔赔了 4.75 亿美元

TL;DR:1994 年,林奇堡学院的数学教授 Thomas Nicely 在算孪生素数时发现,奔腾处理器的浮点除法偶尔会算错。英特尔起初只肯给“有科学需求”的用户换芯片,在舆论压力下于当年 12 月改为按需全面更换,并在 1995 年 1 月宣布计提 4.75 亿美元税前费用。需要说明的是:这个缺陷触发概率很低,并非每次除法都出错。 这是三十多年前的旧事,发生在 1994 年。 教授的数字对不上 Nicely 当时在研究孪生素数。据维基百科的梳理,他在 1994 年 6 月