Even this result was very much a human-AI collaboration. While the AI system found the proof on its own, human mathematicians verified the result. Other humans came up with better-written proofs that extended the AI's initial ideas.
大多数人可能认为AI能够独立解决人类无法解决的数学问题,表明人类数学家角色将被削弱,但作者强调这仍然是人机协作的结果。因为作者指出,人类数学家不仅验证了结果,还改进和扩展了AI的初步想法,表明在可预见的未来,人类在数学研究中仍将发挥关键作用。