字号·· | 护眼
semafor

OpenAI在数学领域的重大突破引发业界震动OpenAI's mathematical breakthroughs roil the field

点「原文对照」整页切到原文,或双击某段只看那段的原文。

OpenAI宣布在数学领域取得了数百项突破性进展,其技术能力的飞速提升令整个学术界为之震惊。就在几周前,该公司还宣称成功解决了数学领域最复杂的问题之一。这些新成果引发了人们的疑问:该模型究竟是具备创造性思维,还是仅仅完成了人类研究成果的最后步骤。

OpenAI announced hundreds of mathematical breakthroughs, stunning the field with the booming capabilities of its technology. The findings, which come weeks after the company said it had succeeded in cracking one of the most complicated problems in mathematics, raised questions over whether the model was using creative thinking or simply completing the final steps of human work.

众多专家认为,如果人工智能能够给出完整的证明过程,那么它将为数学研究带来革命性变革,因为这些证明方法往往能成为其他重大发现的基石。多伦多大学的一位数学家在接受《Quanta》杂志采访时说道:"我相信未来我们将取得远超当前水平的成就。"——杰罗尼莫·冈萨雷斯

Experts have argued that AI could be revolutionary for mathematics, but only if it gives the proof for a solution, as those techniques often form the basis of other breakthroughs. “I think there is a good future where we come out way ahead of where we are now,” a mathematician at the University of Toronto told Quanta. — Jeronimo Gonzalez