由麻省理工媒体实验室首席科学家 Caleb Harper 牵头的“开放农业计划(Open Agriculture Initiative,OpenAg)”已经在 4 月 30 日被永久关停。这也是 Caleb Harper 在学院工作的最后一天,目前他已经从 MIT 正式离职。

这个名叫 OpenAg 的项目始于 2015 年。项目的初衷是非常美好的:一群被称为“书呆子农民(nerd farmer)”的极客聚集在一起,把实验室变成农田,植物生长的所有参数都可以编程控制,看起来可以解决农民“靠天吃饭”的问题。

,其中
分别是圆面积、周长、半径。在刘徽之前,人们以圆内接正6边形周长代替圆周长,以正12边形面积代替圆面积,用出入相补原理近似验证上述公式。刘徽指出,此“合径率一而弧周率三也”,而圆的周长与直径“非周三径一之率也”。从而创造了用无穷小分割和极限思想证明圆面积公式的方法。他从直径d=2尺的圆开始割圆,利用毕氏定理,求出正
边形的边心距
,余径
,以及边长
,算出
,
,
,
=
,因此,确定圆面积近似值。將其代入圆面积公式:
,于是
。將其与直径20寸相約,得到
,相当于
。学术界普遍認认为刘徽在求出
后,利用圆面积公式
求出
,是错误的。刘徽又进而求出
,相当于
。南朝祖冲之进一步将圆周率值精确到8位有效数字,相当于求出
。普遍认为,祖冲之是用刘徽的程式求得此值。祖冲之进一步确定
为密率,这是分母小于16604的一切分数中最接近π的真值的分数。这些成就在世界上领先约千年。




