夜空中又多了一颗“钟南山星”!小行星名字命名你了解多少?
小行星名字命名你了解多少?璀璨星河中,又多了一颗以中国人名字命名的小行星。据央视新闻,10月11日,中国科学院紫金山天文台发现的编号为325136号小行星被正式冠以“共和国勋章”获得者、中国工程院院士钟南山的名字,命名为“钟南山星”。这颗小行星的命名是为了表彰钟南山在医学领域的卓越贡献,特别是他在呼吸...
两弹一星功勋奖章获得者周光召逝世,23位科学家仅有两位健在
二十三位“两弹一星”功勋科学家目前仅剩两位尚在人世1999年9月18日,党和国家领导层决定表彰为“两弹一星”事业作出卓越贡献的23位专家。于敏等15位先驱荣获“两弹一星功勋奖章”,后续追授王淦昌等8位先贤此荣誉。在这23位科学巨匠中,现今仅存王希季与孙家栋两位健在。"两弹一星"功勋团队。#深度好文计划#...
深度|OpenAI o1 模型研究团队对话红杉美国合伙人:??o1 系列迄今...
幸运的是,作为OpenAIo1模型研究团队三位核心技术人员NoamBrown(OpenAI研究科学家,专注于AI推理和强化学习)、HunterLightman(OpenAI高级工程师,主要研究AI在复杂问题上的推理能力)以及IlgeAkkaya(OpenAI研究员,特别关注AI在数学和逻辑推理方面的应用)也在近日与红杉美国合伙人SonyaHuang以及Pat...
把薛定谔的猫换成人会怎么样?这些科学家真的想这么做
他们将这台机器命名为QUALL-E,这个名字来源于OpenAI公司的图像生成AI程序DALL-E,以及动画电影《机器人总动员》中的机器人WALL-E。岌岌可危的现实现在思考一个假设,未来某一天我们真的建成了QUALL-E。这时,QUALL-E将会扮演查理(Charlie)的角色,他坐在两位人类观测者,爱丽丝(Alice)和鲍勃(Bob)之间,与二人一同...
2024考研英语考完了,“古代科学家”上热搜了,感慨又好笑
此外,中国古代还有一位杰出的天文学家和数学家,他就是古代科学领域的重要人物之一张衡。他发明的世界上第一个地震仪“浑天仪”被视为是地学的里程碑之一;而他还在数学领域做出了重要的贡献,提出了“张衡定理”与“组合数学”等独到观点。除张衡和祖冲之之外,还有不少古代科学家也值得我们铭记和回忆。例如甘昭,...
AI替代不了科学家,而是其思维的延伸!Wolfram谈AI与科研结合
首先,这里有许多看起来可能看起来非常“无趣”的定理(www.e993.com)2024年10月13日。(来源:StephenWolfram)然而,在这些定理中,有时会发现一些特别有趣的定理,它们足够重要,于是在教科书中被特别命名,例如“幂等律”。那么,我们是否有可能预测哪些定理会被特别命名?虽然这可能看起来像是一个历史问题,但在逻辑学中,似乎有一个系统的模式。
甲小姐对话OpenAI科学家:每个人都在扎堆,要想办法与众不同
??甲小姐对话OpenAI科学家直播全程回顾谈计划:“几乎没有任何伟大的事物是通过规划而成功的”甲小姐:OpenAI连续七年坚持GPT路线,并以实现AGI为愿景,最终打造出ChatGPT。你们写的这本书的名字是《为什么伟大不能被计划》,你们认为OpenAI“伟大”吗?ChatGPT是“计划”的产物吗?
几何简史——带你回顾让你又爱又恨的几何
费迪南德·冯·林德曼(FerdinandvonLindemann)利用16世纪和17世纪的图表,证明了仅用圆规和直尺是不可能构造出与给定圆面积相同的正方形的。(图片来源:中殿图书馆/科学图片库)打开网易新闻查看精彩图片勾股定理三元数组是满足勾股定理的三个正整数。最古老、最著名的《宝积经》(BaudhayanaSulbaSutra)用简单的...
??陶哲轩用AI形式化的证明究竟是什么?一文看懂PFR猜想的前世今生
Lean是一种可帮助数学家验证定理的编程语言。不过几周时间,他就成功完成了。12月5日星期二一早,陶哲轩宣布Lean已经完成对该猜想的证明,并且没有任何sorry。sorry是Lean中一个标准陈述,表示计算机无法验证某个特定步骤。这是自2021年以来这样的证明工具最亮眼的成就,并成为了数学家编写证明的方式的...
用50多年时间,探索最令人困惑的复杂性理论知识极限
「这让我坐正了身体开始用心听讲。」Carmosino回忆说,他现在是IBM的一位理论计算机科学家。他报名参加了一个选修的讲库尔特??哥德尔(KurtG??del)的工作的讲座。哥德尔那让人头晕目眩的自我指涉论证第一次揭示了数学推理的局限性并为计算的基本局限性方面的所有未来研究工作奠定了基础。其中涉及了太多过于艰难...