学科: 工学

人工智能旨在构建复杂推理系统，数学是典型领域。现有AI缺形式化验证，我们提出AlphaProof：受AlphaZero启发，用强化学习训练数百万自动形式化问题，难题用测试时强化学习。2024年IMO上，它与AlphaGeometry 2结合，解决3道非几何题（含最难），经多日计算获银牌，系AI首获奖牌级成绩，证明大规模基础经验学习可产生复杂数学推理智能体，为可靠解题AI铺路。

标签: AlphaProof 国际数学奥林匹克 强化学习 形式化证明 数学推理

硅太阳能电池对可持续能源至关重要，但效率损失（尤其是填充因子）限制其发展。本文开发混合交叉指式背接触太阳能电池，结合全表面钝化与激光处理隧穿接触，实现27.81%转换效率（达理论极限95%）、填充因子87.55%（近理论极限98%）。模型阐明载流子损失机制，为高效硅光伏规模化提供实验与理论进展。

标签: 功率转换效率 填充因子 混合交叉指式背接触 硅太阳能电池 载流子复合

由致病疫霉引起的马铃薯晚疫病曾导致爱尔兰饥荒，至今仍是全球粮食安全的重大威胁。多数抗病基因（NLR蛋白）易被快速进化的病原菌克服。本研究构建52个马铃薯基因组的NLRome，克隆新抗病基因，提出“结构域插件”改造策略，为抗病基因发现与工程化提供范式。

标签: NLR蛋白 抗病基因 比较基因组学 结构域插件 马铃薯晚疫病

锂是电池关键元素，传统提取方法步骤多、污染大。新研发的一步法FJH-Cl2技术，无需酸碱，几秒内从锂含量4.8%的矿石中提取出纯度97%、产率94%的氯化锂，大幅降低成本与污染，助力清洁能源发展。

标签: 提锂 氯气法 清洁能源 瞬间焦耳加热 锂辉石

导管原位癌（DCIS）患者因缺乏可靠预后生物标志物常面临过度治疗。本研究发现循环肿瘤细胞（CTCs）可作为其生物学侵袭性及早期播散的标志物，DCIS患者CTCs浓度显著高于健康人，存在种族差异，为风险分层提供依据。

标签: 单细胞RNA测序 导管原位癌 循环肿瘤细胞 早期播散 风险分层

高致病性禽流感A(H5)病毒威胁鸟类和哺乳动物，包括人类。其血凝素抗原变异给疫苗研发带来挑战。本研究绘制高分辨率抗原图谱，设计出位于抗原空间中心的疫苗抗原，能引发广泛抗体反应。雪貂实验显示，该中心抗原与同源疫苗一样，可有效保护免受两种抗原不同病毒的感染。

标签: 中心疫苗抗原 交叉保护 抗原图谱 雪貂模型

研究团队开发出肽-MHC靶向逆转录病毒，能在体内特异性向肿瘤杀伤性CD8 T细胞递送基因，同时激活并扩增这些细胞。在黑色素瘤小鼠模型中，该方法显著提高生存率，有望简化细胞疗法生产，为癌症治疗提供新工具。

标签: CD8 T细胞 基因递送 肽-MHC靶向逆转录病毒 肿瘤浸润淋巴细胞疗法

经过十余年规划，非洲药品管理局（AMA）在肯尼亚启动。非洲面临基因多样性研究不足、外部资金削减、人口增长与城市化带来的健康不平等挑战，AMA 旨在推动适合非洲人的药物研发，提升民众健康，是非洲在公共卫生科学领域争取话语权的关键。

标签: 临床试验 监管协调 药物研发 非洲基因多样性 非洲药品管理局

巴西主办联合国气候峰会COP30期间，政府正采取措施在不破坏环境的前提下发展经济，目标是2050年实现人均收入翻倍、温室气体净零排放及基尼系数降20%。目前已取得进展，如森林砍伐率降至11年最低，并推动热带森林永久基金（TFFF）等气候融资举措保护热带森林。

标签: COP30 巴西 森林保护 气候融资 热带森林永久基金

18世纪英国大使汉密尔顿设计火山模拟装置，灵感源自水彩画，未建成但留有草图。如今学生徐心雨、曾宇用现代技术（激光切割、LED灯等）将其重现，融合科学与艺术，成为墨尔本大学展览亮点。

标签: 18世纪设计 大旅行展览 学生项目 火山模拟装置 现代重建