数学害怕AI造出假证明,而生物学担心的问题更加棘手

中科院物理所 2026-07-14 12:29
文章摘要
背景:随着人工智能(AI)在数学领域展现出解决高级问题的能力,但也带来了产生虚假证明的风险,数学界发布了《莱顿宣言:人工智能与数学》,以规范AI在数学证明中的应用,确保透明性和可验证性。研究目的:本文作者,一位计算生物学家,认为生物学领域面临的挑战比数学更为棘手。数学中的真理是固定且可验证的,而生物学中的“真理”充满噪声和情境依赖性,例如“上位效应”表明基因突变的效果完全依赖于遗传背景。因此,AI在生物学中的应用更容易产生难以定义和验证的虚假知识。作者呼吁生物学界也应发布类似宣言,但需根据学科特点定制。结论:一份生物学版的宣言应要求研究者披露AI使用情况、确保人的责任,并强调AI生成的假设必须通过湿实验验证、管理训练数据,并对影响患者或生态系统的输出进行严格审查。更重要的是,生物学宣言必须是可演进的,需有版本号并定期更新,因为生物学知识会随时间快速变化。这种动态响应机制应成为核心架构,以体现生命系统的活力,负责任地管理AI与生物学的关系。
数学害怕AI造出假证明,而生物学担心的问题更加棘手
本站注明稿件来源为其他媒体的文/图等稿件均为转载稿,本站转载出于非商业性的教育和科研之目的,并不意味着赞同其观点或证实其内容的真实性。如转载稿涉及版权等问题,请作者速来电或来函联系。
中科院物理所
最新文章
热门类别
相关文章
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书