计算机领域沿用 30 年的 “指数时间假说”,被 OpenAI 的 AI 证伪了
计算机领域有个沿用了30年的“指数时间假说”,一直被当成铁规矩:有些计算难题,不管算法多巧妙,都得花指数级时间才算得完。
拿安排聚会来说,3个人有1024种组合,30个人就超过10亿种,60个人更是多到没法想。人数一多,可能性就爆炸式增长。这类问题在计算机里叫“布尔可满足性问题”,假说认为,总有刁钻题目能让算法没法比指数级更快。
30年来,科学家没完全证明这个假说,但都默认它对,还以此为前提发了数百篇论文,基本当公理用了。
近日,OpenAI发布论文称,他们的AI找到一种新算法,能在亚指数时间内解决这类问题,等于直接打破了这个沿用30年的规矩。他们还邀请当年提出假说的两位科学家做独立核查,不过目前还没完全通过审查,需要更多研究者参与验证。
全球首例人体内 DNA 编辑试验完成,瞄准治威尔逊病
威尔逊病是一种遗传病,患者的ATP基因出了问题,没法代谢体内的铜。铜堆在肝、脑、肾等器官,会造成脏器损坏、神经损伤。以前只能靠吃排铜药,治标不治本。
近日,美国一家生物技术公司宣布,完成了全球首例直接在人体内编辑DNA的临床试验——精准改写患者肝脏的DNA,从根源上解决铜代谢问题,相当于一劳永逸治这个病。
这家公司预计明年公布第一批试验的具体情况,未来还计划开发更多产品,应对全球范围内的致病变异。很多人以前可能想过,能不能直接在人身体里改基因?现在这个想法真的实现了。
贵州发现的海螈化石,是第一种纯海水两栖动物
现存两栖动物有8000多种,包括蛙类、有尾类等,但没有一种是完全生活在海水里的。近日,科研人员在贵州三叠纪地层里发现了新的化石两栖动物,命名为海异螈——这是已知第一种不用接触陆地或淡水就能生存的两栖动物。
化石有两具几乎完整的骨骼,长度超过70厘米,埋藏地点距离当时的岛屿至少30千米。骨骼的化学特征和当时的海水一致,说明它们是在海里死掉的,不是死后冲过去的。
海螈身体扁扁的,覆盖着厚重的体甲,可能是为了减少水分流失;鳃和消化系统能调节体内盐分,还能处理吞入的海水;大嘴巴可能靠暴风吸入猎物。
化石里还找到了腔棘鱼的祖先,复原图里海螈正在吸食腔棘鱼,看起来特别神奇。
这三件事,不管哪一件,都挺震撼的,AI 不仅会聊天,还能推翻沿用 30 年的科学公理;基因编辑能直接在人身体里改 DNA,治遗传病;还有新发现的海水两栖动物,打破了咱们对两栖动物的认知。
科学的发展,真的越来越让人惊讶了。