文章提交注意事项:
请在发布文章时用HTML代码加上至少一条新闻来源的链接;原创性消息,可加入相关信息(如涉及公司的网址)的链接。有任何问题,邮件至:he.fang#zhiding.cn
注意:收到邮件乱码的用户请修改客户端的默认字体编码,从"简体中文(GB2312)"修改为"Unicode(UTF-8)"。
solidot新版网站常见问题,请点击这里查看。
Solidot 公告
投 票
热门文章
热门评论
- 白名单访问制...zzz (1 points, 一般) by devfsdvyui 在 2026年01月18日21时04分 星期日 评论到 伊朗恢复互联网访问
- 论人可以有多无耻 (1 points, 一般) by devfsdvyui 在 2026年01月18日21时00分 星期日 评论到 腾讯向逾 30 个 GitHub 微信相关项目发出 DMCA 通知
- 来自arm版遥遥无期 (1 points, 一般) by solidot1768413084 在 2026年01月15日01时52分 星期四 评论到 Wine 11.0 释出
- BaD kEyBoArd: TyPo (1 points, 一般) by lot 在 2025年12月07日14时54分 星期日 评论到 斯巴鲁车主抱怨驾车过程中弹出全屏广告
- (1 points, 一般) by solidot1763918667 在 2025年11月24日01时25分 星期一 评论到 英国陆军将用《使命召唤》训练士兵
- 所以意识是什么?他怎么敢肯定他的意思就不是幻觉? (1 points, 一般) by cutpigsrollaroundint 在 2025年11月05日18时14分 星期三 评论到 微软 AI 负责人认为 AI 有意识是无稽之谈
- 不完备定理无法证明不是模拟 (1 points, 一般) by scottcgi 在 2025年11月01日11时26分 星期六 评论到 数学证明否定宇宙是模拟的
- 样本数太少 没有参考意义 (1 points, 一般) by Craynic 在 2025年09月22日13时13分 星期一 评论到 梵蒂冈的 Flathub 软件包人均安装量最高
- 杞人忧天 (1 points, 一般) by cnma_001 在 2025年08月15日12时04分 星期五 评论到 你一生中被小行星砸到的概率
- 垃圾Paypal... (1 points, 一般) by devfsdvyui 在 2025年07月17日20时13分 星期四 评论到 Valve 在支付公司压力下移除部分成人游戏
科幻小说的常见情景是:时间旅行者被冷冻保存,身体处于休眠状态,然后在十年或一个世纪后解冻苏醒,所有机能都完好。研究人员尝试过对人类等动物脑组织进行冷冻和解冻,结果显示神经组织能在细胞层面存活,在解冻后恢复一定程度的功能,但完全恢复功能仍然是不可能的。根据发表在 PNAS 期刊上的一项研究,德国研究团队演示了一种冷冻保存和解冻小鼠大脑的方法。大脑难以从冷冻状态完全恢复的主要原因是冰晶形成所造成的损伤。冰晶会破坏或刺穿组织脆弱的纳米结构,从而扰乱关键的细胞过程。为保存大脑功能,研究人员转向了名为玻璃化冷冻(vitrification)的无冰冷冻保存法。玻璃化冷冻能快速冷却液体,使分子在形成冰晶前就被捕获在无序的玻璃状状态。他们在厚度为 350 微米的小鼠脑切片上进行了测试。脑切片首先用含有冷冻保存物质的溶液进行预处理,然后用液氮快速冷却至 -196℃。脑片随后置于 -150℃ 的冷冻箱中,保持玻璃状,保存时间从 10 分钟到 7 天。在温液解冻脑片后,研究团队分析了组织,以观察其是否保留任何功能活性。显微镜观察显示,神经元膜和突触膜均完整无损,线粒体活性检测未发现代谢损伤。神经元电生理记录显示,尽管与对照组细胞相比存在一定程度偏差,但神经元对电刺激的反应接近正常。由于脑片会自然降解,观察时间仅限于几个小时。
数学家 Daniel Litt 去年三月打赌,他认为 AI 只有四分之一的概率到 2030 年能写出人类顶级数学家水平的论文。但一年之后他认为这个赌自己要输了。AI 解决问题和产生证明的能力进步之快令数学家倍感震惊。几年前它们甚至无法解决高中数学题,如今它们常常能解决数学家都感到棘手的难题。AI 开始挑战更复杂的数学问题,解决实际的研究问题,帮助自动验证前沿的数学证明——而验证这些证明通常需要数学家团队付出大量努力。AI 生成证明的速度比人类验证证明快得多,因此如果一个定理是由 AI 证明但没有人类去验证,那么它是否真的被证明了?AI 在这方面也能提供帮助。名为形式化的过程可以将自然语言证明翻译到计算机可验证格式。AI 公司 Math, Inc 最近宣布它的工具 Gauss 形式化了 2022 年菲尔茨奖得主 Maryna Viazovska 的得奖证明。证明代码大约有 20 万行。手工计算曾是数学家工作的重要组成部分,但如今这些都已自动化。AI 的进展也可能改变今天的数学。
研究显示在全球范围内每年有超过 500 万例死亡可归因于身体活动不足。尽管如此,三分之一的成人和八成的青少年未达到世界卫生组织指南推荐活动量——建议为成人每周 150 分钟中等强度的活动,儿童每天 60 分钟。研究人员分析了全球 68 个国家的身体活动数据,发现了活动性上持续存在的不平等:主动休闲活动(如娱乐性锻炼——唯一持续由选择驱动的活动类型)参与率,在社会优势群体(高收入国家富裕男性)中比弱势群体(低收入国家贫困女性)高 40%。相反,由经济需求驱动的活动(如体力劳动)在弱势群体中参与更普遍。研究发现的证据还表明,身体活动能支持免疫力、降低感染性疾病风险、降低抑郁症状,并与癌症结局改善有关。