张柏楠科技、科普、科幻,一个都不落

正从神舟一号到神舟十一号,再到新一代载人飞船试验船,他接过前人的火炬,点亮国人太空梦的未来。中国载人航天工程飞船系统总设计师,新一代载人飞船试验船项目负责人,这些名号都是响亮的,但你可能并不知道名号背后的那个人——张柏楠。从神舟一号到神舟十一号,再到新一代载人飞船试验船,他接过前人的火炬,点亮国人太空梦的未来。     

GPT、Sora为什么都来自OpenAI?

<正>这个团队一直被一种乐观力量所驱使,大家对于AGI的疯狂愿景,让事情在最终迎来了转机。所谓AGI,即通用人工智能,也就是像人类一样完成复杂任务的AI。视频生成模型Sora横空出世半个月后,仍在强势刷屏。这款AI可以生成长达60秒的高质量视频。最令人恐惧的是,其学习的对象不局限于画面、像素,Sora还“学会”了一些视频中呈现的物理规律（比如人在雨后走过,水面有倒影）。因此,研发它的OpenAI称其为“世界模拟器”。     

第七届国际逻辑学、方法论和科学哲学代表大会将于1983年在奥地利举行

由国际科学史和科学哲学联合会(IUHPS)逻辑学、方法论和科学哲学部筹备的第七届国际逻辑学、方法论和科学哲学代表大会将于1983年7月11日至16日在奥地利的萨尔茨堡举行。会议将分14个专题组,它们是: 1.证明论和数学基础, 2.模型理论及其应用, 3.递归论和计算理论, 4.公理集合论, 5.哲学的逻辑,     

试论《医心方》中的七禽食方——《金匮录》、《神仙服食方》的成书年代

公元10世纪的《医心方》一书中记载了《金匮录》里的"七禽食方"。这一方子是将《神农本草经·上品》中也提到的7种植物研磨成粉再加上优质的红枣和桂皮,据称服用后对健康大有裨益。文章就七禽食方做了初步调查。北魏《齐民要术》(约530)中引用了《神仙服食经》中的"七禽方";南朝《本草集注》中引用了"服食七禽散"。此外,在公元4世纪的《抱朴子·仙药篇》中有关菊华水的传说与《金匮录》佚文极其相似,所以据说葛洪所参考的《金匮绿囊》、《金匮绿秩》很有可能就是《金匮录》。由此可以推断七禽食方最晚出现在葛洪在世的公元4世纪前半期。《金匮录》旧题为京里先生所撰。因"甪"字抄写时容易讹为"亰",此书有可能是假托甪里先生的一部道书。