Isaac Rajagopal looked at it and declared it to be almost certainly correct. It was clear that he meant this not just at a line-by-line level but at the level of ideas.
顶尖数学家对AI生成的证明给予高度评价,认可其不仅在细节上正确,更在思想层面具有创新性,这标志着AI数学能力获得了专业认可。
Isaac Rajagopal looked at it and declared it to be almost certainly correct. It was clear that he meant this not just at a line-by-line level but at the level of ideas.
顶尖数学家对AI生成的证明给予高度评价,认可其不仅在细节上正确,更在思想层面具有创新性,这标志着AI数学能力获得了专业认可。