《飞出个未来》编剧的剧情难题终于有解了：一个全新数学证明
一部动画片里的剧情漏洞，竟催生出一个全新的数学证明。在《飞出个未来》（Futurama）的“The Prisoner of Benda”一集中，编剧 Ken Keeler 为让角色们换回身体，亲手推导出一个关于“身体交换”的置换定理——这或许是最具娱乐性的数学成果之一。研究背景来自一集看似寻常的剧情：天才教授 Farnsworth 发明了可互换两人意识的机器，他为重返青春与 Amy 互换身体，却发现每台设备对每一对身体只能用一次、难以逆转。随后更多角色卷入，总共使用机器 七次，九名角色的身体与意识被搅得一团乱，谁是谁难以分辨。每位角色都有荒唐动机：机器人 Bender 想变成 Amy 去勾引卫兵偷游艇，Leela 借教授身体探究 Fry 的爱意，Fry 为报复与外星龙虾 Zoidberg 交换……最终所有人都想回到原本的身体。问题由此产生：Keeler 必须在不让同一对身体重复使用机器（每对都须不同）的前提下，把混乱理清。身为数......阅读全文
《飞出个未来》编剧的剧情难题终于有解了：一个全新数学证明
一部动画片里的剧情漏洞，竟催生出一个全新的数学证明。在《飞出个未来》（Futurama）的“The Prisoner of Benda”一集中，编剧 Ken Keeler 为让角色们换回身体，亲手推导出一个关于“身体交换”的置换定理——这或许是最具娱乐性的数学成果之一。研究背景来自一集看似寻常的剧情
“交换身体”不是梦
图片显示了身体交换实验的设置 图片来源：Mattias Karlen “当我还是个孩子的时候，我喜欢想象有一天在别人的身体里醒来会是什么样子。”瑞典卡罗林斯卡学院博士后研究员Pawel Tacikowski说，“很多孩子可能都有这样的幻想，我猜自己一直都没有摆脱它——我只是把它变成了
快速爬四层证明身体棒
保持健康、争取长寿是许多成年人的追求，其实，一个关键指标就可知你的体力好不好。西班牙一项新研究发现，能够快速爬四层楼且中间不用休息的人，因心血管疾病、癌症等原因导致的早亡风险较低。 西班牙拉科鲁尼亚大学医院研究团队针对1.3万名已知或疑似冠心病患者进行观察研究。研究人员要求参试者在跑步机上或走
数学证明AI化正成新风口
一个长期难题正迎来转机：如何让数学证明既严谨又可被机器验证？记者Kevin Hartnett在新书《代码中的证明》（The Proof in the Code）中，追溯了能攻克难题的计算机程序崛起之路，揭示“数学证明AI化”正成为新风口。问题始于2024年国际数学奥林匹克（IMO）。那年，谷歌Dee
研究显示：AI数学证明效果提升显著
问题提出：当两套研究同时借助 AI 攻克同一道难题 上周四，麻省理工学院（MIT）研究生 Seyoon Ragavan 将自己的一份量子密码学证明发给了朋友、加州大学圣巴巴拉分校（UCSB）博士生 Yao-Ting Lin。然而 Lin 当时正与导师、UCSB 教授 Prabhanjan Ana
季理真：从中国现代数学的摇篮到数学的未来
不久前，在清华大学美丽和宁静的校园，来自14个国家的数学家们举行了会议，制定了未来的数学合作和协作计划，讨论了在数学领域未来需要解决的问题。他们代表40个主要的数学系和研究中心，如哈佛大学、剑桥大学、牛津大学等。 数学的未来是什么？这有赖于对学生和年轻一代的教育，他们掌握着未
数学家计划计算机证明费马大定理
原文地址：http://news.sciencenet.cn/htmlnews/2024/3/519642.shtm费马大定理是一个关于数字的著名定理，几个世纪以来一直困扰着数学界。现在，数学家希望开发一种计算机证明费马大定理的方法。这是一个雄心勃勃、为期数年的项目，旨在展示计算机辅助数学证明的潜力
多国研究团队宣称罗塔猜测已被证明－震惊数学界
一个由新西兰维多利亚大学数学家杰夫·惠特尔、加拿大滑铁卢大学数学家吉姆·吉伦和荷兰马斯特里赫特大学数学家伯特·杰拉德斯组成的研究团队日前宣称：他们经过15年的艰辛努力，终于找到了所有的必要的证据去证明著名的罗塔猜测。此消息一出，震惊数学界。 罗塔猜测是美国数学家和哲学家吉安-卡洛·罗塔19
丘成桐谈中国数学的现状与未来！
原文地址：http://news.sciencenet.cn/htmlnews/2023/4/498030.shtm 今天（4月7日）下午，第二期“浦江科学大师讲坛”在复旦大学相辉堂举行。国际著名数学家、菲尔兹奖首位华人得主丘成桐以“中国数学的现状与未来”为题作报告。 上海市政协副主席吴信宝
与诺奖得主对话：未来我们的身体就是医药工厂
因“揭示了细胞运输的精确控制机制”，耶鲁大学细胞生物学系主任、生物医学教授詹姆斯·罗斯曼与兰迪·谢克曼，以及托马斯·聚德霍共同获得了2013年度诺贝尔生理学或医学奖。 10月29日下午，作为出席首届健康江苏全媒体大讲堂的嘉宾，今年66岁的詹姆斯·罗斯曼先生手握咖啡，接受本报记者的专访。在罗斯曼
纳米材料绿色印刷：“打”出个绿色世界
不用感光冲洗，也不产生废水，报纸、书籍的版样就可以打印出来；电脑、手机的线路板，不用刻蚀，同样可以轻松打印出来…… 这些看似神奇的技术，在中科院化学所科研人员的努力下已经变成现实。以宋延林研究员为代表的“纳米材料绿色印刷”技术团队，目前正在“印刷制造”的道路上高歌猛进。日前，《中国
赛默飞世尔：与未来员工共成长
后金融危机时代部署新一轮扩张战略 2009年11月16日，中国上海—全球科学服务领域的领导者赛默飞世尔科技(纽约证交所代码：TMO)为期一月覆盖上海、北京、广州、武汉四大城市的2010年校园招聘宣讲活动已接近尾声，“Grow with us!”仍在校园内唱响。“我们一直相信短期的经济低谷不
高福：“这里说不定出个牛顿、爱因斯坦”
原文地址：http://news.sciencenet.cn/htmlnews/2023/4/499713.shtm 编者按：在中国科学院微生物研究所（以下简称“中科院微生物所”）里，有这样一群本科生：他们来自五湖四海，理想和经历各不相同。有人从小梦想成为科学家，有人则误打误撞进了实验室……虽“
基因置换实验——两步基因置换法
实验步骤
赛默飞在ASMS：50年质谱积淀－再推新品
精准医学热点和未来技术趋势赛默飞拥抱精准医学 提供三大层次、多组学的解决方案 精准医学无疑是这几年的热词，也是质谱技术有望全面进入的高速增长领域。赛默飞在今年ASMS的新闻发布会上的主题即为：Precision mass spectrometry（精准质谱）。谈到精准医学的应用和客户要求，Ken
丘成桐：中国数学到了一个平台－未来要靠自己
“40年来，中国数学的发展进入到了一个平台，我们跟上了国际水平，就像是攀登世界最高峰珠穆朗玛峰，到了一个平台，我们聚在一起，但以后要走的路要靠我们自己，最后可能是很短的路，但也将是最困难的路。”7月31日，在南京举办的第九届世界华人数学家大会（ICCM）开幕式上，清华大学讲席教授，清华大学丘成
安捷伦科技公司与赛默飞世尔科技签订仪器控制交换协议
2015 年 11月 5日，北京——安捷伦科技公司今日宣布与赛默飞世尔科技签订一份有关交换仪器控制的正式协议，以改善使用这两家公司软件和仪器客户的分析效率和用户体验。 根据这一最新协议，安捷伦与赛默飞世尔已相互交换各自液相色谱、气相色谱、毛细管电泳和离子色谱的仪器控制驱动程序文档和软
生活中的数学之荧幕数学
数学作为社会生活的基本元素，不仅存在于教材中，也被不断挖掘于集时间艺术与空间艺术的复合体——影视艺术中。数学为电脑模拟真实世界提供了重要的途径，科学计算为视觉效果提供了无限可能。 美国数学家协会的数学家们曾说“特效产业是出现在数学家面前的一个令人兴奋的、全新的前沿领域，特效是数学的洞察力与电影
基因置换实验
—步基因破坏法 两步基因置换法 质粒改组 构建融合蛋白 实验材料 酵母菌株7-1 BY4741
未来已来，赛默飞校准实验室重磅亮相
以时间铸就经典，用科技引领未来！在赛默飞移液产品走过的50年辉煌历程中，我们脚踏实地，砥砺前行，打造出一个又一个的第一支，助力液体处理和移液应用领域不断创新，代表移液新时代的ClipTip移液器更是让复杂的移液变的轻松而高效。 仰望星空，放眼未来，2020年，我们全新推出赛默飞校准实验室，聚焦
赛默飞：生物制药为引擎－扎根中国创未来
——赛默飞中国区总裁艾礼德（Tony Acciarito）先生进博会专访 分析测试百科网讯，2020年11月05-10日，备受瞩目的第三届中国国际进口博览会（进博会）在上海国家会展中心隆重举行。在进博会赛默飞展区，分析测试百科网采访了赛默飞中国区总裁艾礼德（Tony Acciarito）先生，他介
专业化学检测有望走进生活－未来可通过手机检测身体状况
用手机拍一下就能鉴定一杯牛奶是否变质、今天的空气质量如何，扫一下就能进行无损的红酒品质鉴定，甚至自拍就能知道身体是否健康……如此强大的功能已远远超出了传统意义上“拍照”的范畴，但在微型光谱仪的帮助下，它们将有望成为现实。 近日，清华大学电子工程系教授鲍捷领衔的研究小组首次利用量子点纳米材料阵
体检需抽血？NO！你只需要出个汗即可
人体刺激排汗的方式，主要通过高温刺激或者急剧运动，加速血液循环，刺激汗腺分泌汗液。而这两种收集汗液检测的方式，往往令人难以接受。 最近，来自美国辛辛那提大学（University of Cincinnati）的Jason Heikenfeld教授及其团队开发出一种皮肤贴片式刺激汗腺分泌并检测其
海星之“奇葩”身体结构：整个身体只有头
原文地址：http://news.sciencenet.cn/htmlnews/2023/11/511535.shtm11月1日发表于《自然》的一项研究，揭示了海星神奇的身体结构秘密。海星的外形就像一个“五角星”，科学家们一直试图找出它的头部在哪里。斯坦福大学Laurent Formery等人得出惊
Aging：雷帕霉素可以延缓表观遗传学衰老
正如我们所知，年龄显然是一个不恰当的测量，因为它完全是基于时间的流逝，而不考虑我们身体的生物变化。2013年，加州大学洛杉矶分校(UCLA)的Steve Horvath描述了DNA上的化学修饰(称为甲基化)随着年龄的增长而发生变化的惊人数学精度。利用这些甲基化图谱，他推导出了一种高度精确的年龄预
改变未来，希望无限——赛默飞携手合作伙伴，共同举办2024赛默飞科学公益日
2024年6月7日 ，上海——近日，赋能科技进步的全球领导者赛默飞世尔科技（以下简称：赛默飞）携手中国青少年发展基金会（以下简称：青基会）、深圳湾实验室、金桥企业社会责任促进会及友好企业林德，成功举办 2024“赛默飞科学公益日”活动。约 300名赛默飞员工、家属及合作伙伴志愿者，在上海、北京、
置换色谱的置换展开方式的优点与局限
虽然传统洗脱色谱和置换色谱的分离作用都是由于样品对固定相的作用力不同来实现的, 但两者的分离机理不同。洗脱色谱中, 样品各组分的分离是由于它们对固定相作用的平衡常数不同, 导致各组分随流动相的流动有不同的移动速度。改变流动相的组成、离子强度或pH 值可以改变样品的吸附特性, 从而达到组分分离的目的。
CoreValve瓣膜置换优于主动脉瓣置换术
美国心脏病学会年会（ACC2014）上， David H Adams博士(纽约西奈山医疗中心)展示了CoreValve High-Risk Study研究结果。结果表明对于严重主动脉瓣狭窄且外科手术高危患者，经导管CoreValve瓣膜置换优于外科主动脉瓣置换 CoreValve Hi
基因ZL大战：杀出个“程咬金”是中国留学生
摘要： CRISPR是否成为有史以来最大的生物学ZL尚无定论，但它成为生物学有史以来最大争议的ZL恐怕已经成为事实。日前，在加州大学伯克利分校杜德娜教授和麻省理工学院博德研究所张锋教授不可开交的争议中， “半路杀出个程咬金”——中国留学生林帅亮。 根据《麻省理工科技评论》的最新报道，以及此前
冷冻置换的定义
中文名称冷冻置换英文名称freeze substitution定 义电镜标本冷冻固定中的一种脱水技术。用溶剂（如丙酮）去除标本中冰冻状态的水分，更好地保持细胞的细微结构。应用学科细胞生物学（一级学科），细胞生物学技术（二级学科）