“加快了发现”
用英语怎么说？

Mathematicians have discovered that collaborating with AI models resembles having a creative conversation partner. Although these systems frequently produce mistakes, their partial results often contain clever ideas that suggest novel proof strategies. Researchers must carefully check the machine's work and act as a verifier. In applied mathematics, this interactive dialogue recently enabled a professor to solve a long-standing conjecture that had remained unresolved for decades. Instead of replacing human thinkers, AI tools accelerated the discovery by exploring vast mathematical possibilities much faster than individuals could alone.

数学家们发现，与AI模型合作类似于拥有一位富有创造力的对话伙伴。尽管这些系统经常出错，但它们的阶段性结果往往包含巧妙的想法，能启发新颖的证明策略。研究人员必须仔细检查机器给出的内容，扮演验证者。在应用数学领域，这种互动对话最近帮助一位教授解决了一个困扰学术界数十年的猜想。AI工具并没有取代人类思想家，而是通过比个人单独探索快得多的速度遍历海量数学可能，从而加快了发现。