模型多源确认
OpenAI 模型凭蛮力攻克需人类耗时数年的数学难题
精选理由
OpenAI 的模型把数学家要磨几年的题用蛮力硬算出来了，这篇讲它到底怎么做到的。
The Information 报道称 OpenAI 的 AI 模型正在解决可能需要人类数学家耗费多年才能完成的数学问题。一位受访数学家将这种能力归因于模型可以大规模持续尝试，即所谓的蛮力与耐力。报道指出这类求解不依赖优雅证明，而是靠大量计算换取结果。
原文 · The Information
OpenAI’s AI models are solving math problems that could take humans years, thanks to what one mathematician calls brute force and stamina.
Read more: https://t.co/ic9PceMEvr
