我们的联合创始人陶哲轩正在宣布SAIR基金会的首届比赛：数学提炼挑战赛。 由@damekdavis、陶哲轩和SAIR基金会共同组织。

SAIR的第一次社区数学竞赛将于2026年3月14日15:09:26（UTC+14）开始。 这标志着地球上最早达到π启发时刻3.1415926的地方。 更多细节敬请期待。

特伦斯·陶：形式验证打破了数学中的信任壁垒 形式验证正在改变数学合作——使匿名贡献、机器检查的证明以及极为精确的科学讨论成为可能。