计算机科学 世界杯2022赛程时间表 数学故事 技术

计算机自动化数学推理的距离有多近？

在1970年代，已故的数学家保罗·科恩（Paul Cohen）是唯一赢得田野奖章的人……

2020年11月1日

计算机科学 世界杯2022赛程时间表 数学故事 技术

符号数学最终屈服于神经网络

70多年前，人工智能研究最前沿的研究人员将神经网络作为革命性的方式引入了……

2020年6月1日

计算机科学 数学故事 最近的工作

“如果数学家被要求解散炸弹怎么办？”

1998年，数十名计算机科学家和数学家聚集在托斯卡纳岛上风景如画的海滨度假胜地…

2020年6月1日2021年1月15日

计算机科学 现在发生的事 世界杯2022赛程时间表 给孩子 技术

僵尸网络的兴起

僵尸计算机的军队在2018年引起了很多混乱。一月份，一群受感染的互联机器遭到攻击…

2019年2月23日2019年2月23日

计算机科学 最近的工作 技术

量子计算获得了“ Hello World”时刻。

科技专家长期以来一直在倡导量子计算机作为下一代机器，并有望解决闪电般的大问题…

2019年2月22日2019年2月23日

生物学 癌症社区 计算机科学 最近的工作

意识到AI的潜力

一个多世纪以来，病理学家通过查看含有染色的组织的幻灯片来确定癌症，以使……

2018年8月30日2018年10月31日