我是一名数学家，我正与同事讨论计算机证明数学定理的可能性（或者我们提出的AlphaMath），结果证明我们没有任何严格的令人信服的论据。所以我想问一下：
问题：关于是否可以构建经典计算机（目前不包括量子图灵机，虽然这也是感兴趣的）可用于证明，例如，P不等于NP，有哪些严格的论据？ ？
通过经典计算机，我假设计算机的速度可能比现在快十亿倍，只要电子没有强烈的反对意见。我选择P vs NP因为我觉得一个令人信服的论点可能涉及一些复杂性理论本身，但如果你喜欢别人，或者如果你不相信P vs NP是可证明的，请随意更换。请随时关闭如果这里的问题不充分，请提出我的问题。非常感谢。