AI模型在国际数学奥林匹克数学竞赛中获得了金牌

根据《英国杂志》第22届英国杂志“新科学家”网站，北京，北京，北京，7月23日（记者Liu Xia），Google和American Openai Company的深思熟虑公司最近声称，其AI模型在国际国际国际国际国际数学国际误解中首次赢得了金牌级，这是首次获得国际国际数学国际误解，这是国际国际国际数学上的首次误解。在国际国际数学上陈述了国际国际数学家奥林匹克（IMO）最近举行的。研究人员一直将IMO视为AI系统推理数学能力的试金石。去年，在 - 深入思考的是，数学推理AI模型“ Alpha证明”和几何解AI模型“ Alpha几何”共同获得了银牌。 19日，oPenai宣布，在4.5小时内奥林匹克比赛中的六个问题中，有5个问题正确地回答了新的AI系统。两天后，深刻的思想“双子座深思熟虑”系统带来了相同的结果。 IMO主席Gregor Dolinal确认，正式竞赛对结果进行了严格审查。与Alpha Proof和Alpha几何系统不同，既专为IMO构建，又使用了一种称为LEAN的计算机编程语言来编写问题和答案，这两个语言模型本年使用的 - 戈德语言 - 处理技术。 “双子座深思熟虑”的开发人员解释说，机器的教育是机器的一个分支，旨在允许代理商学习程序的方式”，而且技术驱动器仍被雾覆盖。达尔·约瑟夫·迈耶（Dal Joseph Meyer）教导说，尽管自然语言证明具有阅读的优势，但长期的论点可能会造成验证困难。