solidot新版网站常见问题,请点击这里查看。
数学
Wilson(42865)
发表于2023年09月01日 21时13分 星期五
来自大臣号遇难者
2012 年日本京都大学数学家望月新一宣称证明了 ABC 猜想。该猜想涉及到数论中的质数、加法和乘法之间的关系。问题是望月新一的论文超过 500 页,依赖于大量新的定义、符号和理论,绝大多数数学家都难以理解。菲尔茨奖得主、波恩大学数学家 Peter Scholze 和法兰克福大学的 Jakob Stix 数年后将其论文翻译到数学家更熟悉的术语,指出他的逻辑存在“无法修复的漏洞”。望月对此的回应是他们没能理解他的证明。这件事提出了一个根本性问题:什么是数学证明?人们倾向于将其视为某种永恒真理的启示,但也许最好将其理解为一种社会契约。蒙特利尔大学的 Andrew Granville 最近一直在思考该问题。他从小喜欢算术,但从未考虑从事数学研究。他父母都很早辍学,对大学一无所知。从剑桥数学系毕业后,他尝试了剧本改编,在寻求资金期间他去读了研究生,获得数学硕士学位,然后是博士学位。他在数学研究之路上再也没有回头。他在此后数十年里写 175 篇论文,大部分与数论相关。他还写了些数学科普。他指出,大众媒体未能更好的描述数学家的研究。人们倾向于将数学视为一种纯粹的探索,数学家仅通过纯粹的思考就获得伟大的真理。但数学事实上是猜测——经常是错误的猜测。数学是一个实验过程。数学家在不同阶段获得不同的结论。

科学
Wilson(42865)
发表于2023年09月01日 15时56分 星期五
来自绿光
中科院李海鹏研究组与华师大潘逸萱研究组创建了快速极小时间溯祖(FitCoal)新理论,并发现人类在早、中更新世过渡期由于气候环境剧变经历了严重的“群体瓶颈”。在长达十几万年的漫长岁月中,人类祖先群体只有 1000 多人,几近灭绝。基于 FitCoal,研究人员进一步分析了来自千人基因组计划和 HGDP-CEPH 基因组计划产生的 50 个现代人类群体基因组数据,首次发现在距今 93 万年前,人类祖先由于早、中更新世过渡期的气候剧烈变化,在短期内丧失了约 98.7% 的群体成员,导致人类几乎灭绝。在此后长达 11.7 万年的时间里,人类平均成年个体数仅为 1280,且从千人基因组和HGDP-CEPH 两组独立数据获得的群体数估值几乎完全一致,分别为 1270 人和 1300 人。考虑到群体数量的自然波动,这一均值代表了远古人类群体瓶颈期最小群体数量的上限。

月球
Wilson(42865)
发表于2023年09月01日 14时40分 星期五
来自诺比与平行宇宙的钥匙
印度空间研究组织(ISRO)称,月船三号(Chandrayaan-3)漫游车搭载的激光诱导击穿光谱(LIBS)仪器对南极月球表面的测量确认了硫的存在。LIBS 是利用强激光脉冲分析材料成分的技术,高能激光脉冲聚焦到岩石或土壤等材料的表面,产生炙热的局部等离子体。对等离子体光进行光谱解析可以确定元素成分,因为每种元素在处于等离子体状态时会发射一组特征波长。初步分析显示月球表面存在铝 (Al)、硫 (S)、钙 (Ca)、铁 (Fe)、铬 (Cr) 和钛 (Ti)。进一步测量表明存在锰 (Mn)、硅 (Si) 和氧 (O)。是否存在氢还在调查中。