搜索「数学自动化」，找到 2 条相关内容
消息显示，OpenAI内部预计霍奇猜想有望在较短时间内获证，此前纳维-斯托克斯方程证明耗资或达数百万美元。公司正权衡成果发布方式，避免与数学界再生摩擦，同时押注数学成为大模型攻克的下一个领域。
消息称OpenAI在攻克纳维-斯托克斯问题后，正接近解决另一道千禧年难题霍奇猜想。该公司或已为此投入数百万美元，并考虑如何与数学界协作发布，避免重演公关争议。
