文章提交注意事项:
请在发布文章时用HTML代码加上至少一条新闻来源的链接;原创性消息,可加入相关信息(如涉及公司的网址)的链接。有任何问题,邮件至:he.fang#zhiding.cn
注意:收到邮件乱码的用户请修改客户端的默认字体编码,从"简体中文(GB2312)"修改为"Unicode(UTF-8)"。
solidot新版网站常见问题,请点击这里查看。
Solidot 公告
投 票
热门文章
热门评论
- 很正常 (1 points, 一般) by Craynic 在 2026年07月27日13时22分 星期一 评论到 古代语言的多样性远超今日
- 发电不需要油吗 (1 points, 一般) by Craynic 在 2026年06月03日13时51分 星期三 评论到 能源危机推动 37 个国家的电动汽车销量创新高
- 所以firefox 已经路边一条,对用户的需求漠视的结果就是这样了 (1 points, 一般) by solidot1745479987 在 2026年04月20日11时14分 星期一 评论到 Firefox 加入了对 Web Serial API 的支持
- (1 points, 一般) by solidot1775703930 在 2026年04月09日11时09分 星期四 评论到 Sam Altman 能被信任吗?
- 很难想象现代Linux居然还能跑在i486上 (1 points, 一般) by Craynic 在 2026年04月07日19时41分 星期二 评论到 Linux 准备移除对 i486 CPU 的支持
- 很多单词已经不再实用 (1 points, 一般) by Craynic 在 2026年04月07日13时22分 星期二 评论到 人们日常说话的单词量比上一年减少 300 个单词
- 表示方向不还是得有那么多个维度吗 (1 points, 一般) by Craynic 在 2026年03月30日13时35分 星期一 评论到 Google TurboQuant AI 压缩算法大幅减少大模型内存使用
- sora的核心用户是内容创作者 (1 points, 一般) by Craynic 在 2026年03月27日13时16分 星期五 评论到 Sora 为何失败:每天推理成本最高 1500 万美元总收入仅为 210 万美元
- 夏天骑摩托的时候,最喜欢带着有线耳机听相声或小说 (1 points, 一般) by kracker1911 在 2026年03月17日09时36分 星期二 评论到 有线耳机销量暴增
- 不如用网易邮箱 (1 points, 一般) by Craynic 在 2026年03月10日11时20分 星期二 评论到 FBI 通过 Proton Mail 识别抗议者身份
科幻小说的常见情景是:时间旅行者被冷冻保存,身体处于休眠状态,然后在十年或一个世纪后解冻苏醒,所有机能都完好。研究人员尝试过对人类等动物脑组织进行冷冻和解冻,结果显示神经组织能在细胞层面存活,在解冻后恢复一定程度的功能,但完全恢复功能仍然是不可能的。根据发表在 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%。相反,由经济需求驱动的活动(如体力劳动)在弱势群体中参与更普遍。研究发现的证据还表明,身体活动能支持免疫力、降低感染性疾病风险、降低抑郁症状,并与癌症结局改善有关。