网友实验让Qwen模型自主运行63小时挑战黎曼猜想，虽未成功却自称从未幻觉答案，评论区集体质疑：你懂数论吗？更有人调侃“提示词是别犯错”，并指出缺乏Lean形式验证只是白烧电费。