请推荐一个公开可用能定理证明的大模型

[牛河梁]

联系了一P/NP的老中作者。他前一段时间病了，正在修养中。

目前用ChatGPT和Grok均认可他的P=NP证明是对的。甚至一些作者自己担心的可能问题，这两Ai都不认为有问题。

考虑到ChatGPT和Grok都是作者选的平时用的。可能意见不够中立。万能的买提能否推荐第三个ChatBot用以验证。

要求：

1/ 独立于ChatGPT或Grok训练。特别是不能蒸馏于ChatGPT或Grok。

2/ 向全世界开放使用。最好有免费版。

3/ 能接收理解中文（计算机科学）问题。

[magagop]

我最近發現Gemini Pro 2.5在數學物理解題方面比ChatGPT好用，至少互補。

[tops]

DeepSeek Prover + Lean4

[WideAnimals]

试试Llama maverick?
https://www.linkedin.com/pulse/llama-4- ... otal-b4bmc

[eflame99]

这是认真的吗？P=NP了，把比特币都收了吧

[牛河梁]

这是认真的吗？P=NP了，把比特币都收了吧

那是量子计算？

[eflame99]

那是量子计算？

P=NP了还要啥量子计算

[牛河梁]

我最近發現Gemini Pro 2.5在數學物理解題方面比ChatGPT好用，至少互補。

试试Llama maverick?
https://www.linkedin.com/pulse/llama-4- ... otal-b4bmc

谢谢。已转达。

BTW：老牛试了一下Gemini (Flash)。Gemini也认为证明了P = NP。有趣的是，Gemini牛逼地给出了改进版证明。理论上，Gemini给的新过程更“实用”。

[牛河梁]

P=NP了还要啥量子计算

O(n)和O(n^2)和O(n^10000000000)都是poly

[magagop]

谢谢。已转达。

BTW：老牛试了一下Gemini (Flash)。Gemini也认为证明了P = NP。有趣的是，Gemini牛逼地给出了改进版证明。理论上，Gemini给的新过程更“实用”。

我感覺Gemini搞教科書公式推導非常強，可能是谷歌把所有圖書館的書都掃描了，有獨到的訓練集。ChatGPT編程特別厲害，可能是微軟把Github代碼庫分享給OpenAI了。以上全是個人猜測意淫，所以我兩個會員都有，每月$50。

[牛河梁]

我感覺Gemini搞教科書公式推導非常強，可能是谷歌把所有圖書館的書都掃描了，有獨到的訓練集。ChatGPT編程特別厲害，可能是微軟把Github代碼庫分享給OpenAI了。以上全是個人猜測意淫，所以我兩個會員都有，每月$50。

多问了几个问题。感觉Gemini升级了。可能有了更多时间想。也可能是调用了更高级模块。开始提出疑问。甚至打脸“自己”之前给的结论。有意思。

[Trump]

我感覺Gemini搞教科書公式推導非常強，可能是谷歌把所有圖書館的書都掃描了，有獨到的訓練集。ChatGPT編程特別厲害，可能是微軟把Github代碼庫分享給OpenAI了。以上全是個人猜測意淫，所以我兩個會員都有，每月$50。

搭车问一下，chatgpt 的credit （就是我打到帐户的钱）有过期日吗？

[magagop]

搭车问一下，chatgpt 的credit （就是我打到帐户的钱）有过期日吗？

這個不清楚

[goodegg]

民科？

联系了一P/NP的老中作者。他前一段时间病了，正在修养中。

目前用ChatGPT和Grok均认可他的P=NP证明是对的。甚至一些作者自己担心的可能问题，这两Ai都不认为有问题。

考虑到ChatGPT和Grok都是作者选的平时用的。可能意见不够中立。万能的买提能否推荐第三个ChatBot用以验证。

要求：

1/ 独立于ChatGPT或Grok训练。特别是不能蒸馏于ChatGPT或Grok。

2/ 向全世界开放使用。最好有免费版。

3/ 能接收理解中文（计算机科学）问题。

[牛河梁]

民科？

有谁自认在P vs NP问题上不是民科的。Cook？