国内模型的数学能力【deepseek吧】_百度贴吧

09月25日漏签0天

deepseek吧关注：212,991贴子：737,610

1 2 下一页尾页
60回复贴，共2页
，跳到页

<返回deepseek吧

国内模型的数学能力

只看楼主收藏回复

都在讨论openai解决ns方程，anthropic对费马大定理形式化证明，没人关注字节跳动和南开大学合作完成了三维挂谷猜想的形式化证明吗？字节跳动在国内怎么也算不上顶尖，但也能有这种成就，当然也有可能私藏模型了，我十分怀疑，对于ai来说，数学能力其实护城河并不深，只要主体能力，算力等等上去了，再喂数据，数学能力自然而然就会上去

送TA礼物

IP属地:四川

来自Android客户端1楼2026-09-11 01:48回复

又不是模型独立解的

人确实厉害，模型一般般

IP属地:重庆

来自Android客户端2楼2026-09-11 01:51

收起回复

不感兴趣

开通SVIP免广告

就我这种ai外行看来，边界清晰定义精准的问题才是ai最喜欢和擅长的。
数学语言和编程语言类似，都是非常清晰严格有逻辑的，而且数学证明现在也有形式化代码（lean），搞出一个数学命题证明机器来可能没有那么困难（不能因为觉得人类做数学题难，就觉得提升ai的数学能力难）。

IP属地:广东

来自Android客户端3楼2026-09-11 01:59

收起回复

AI一直是好用的工具，但也只是工具。没算法这个工具只会在幻觉里打滚，有算法给算力，搭好工作流，豆包都能解难题。

IP属地:海南

来自Android客户端4楼2026-09-11 01:59

不要给也勾公司画面

IP属地:广西

来自Android客户端5楼2026-09-11 02:05

三维挂谷猜想不是已经被今年菲尔兹奖王虹证明了吗？

IP属地:福建

来自Android客户端6楼2026-09-11 02:06

收起回复

不是我说，一个已经证明开源的猜想也要拿来炒作？

IP属地:福建

来自Android客户端7楼2026-09-11 02:13

收起回复

你要不要再看看openai又干了啥

IP属地:湖北

来自Android客户端8楼2026-09-11 02:25

不感兴趣

开通SVIP免广告

“三维粘性挂谷猜想“，有这个猜想吗？

来自Android客户端9楼2026-09-11 08:08

收起回复

解释一下，openai我用解决来形容，anthropic和字节跳动我用的形式化证明，两者是不一样的，后面两个都是在人类已经证明的定理再用人工智能形式化证明

IP属地:四川

来自Android客户端10楼2026-09-11 09:33

不是已经被证明了，还要你重复证明?

来自Android客户端11楼2026-09-11 09:55

收起回复

实际上模型自主程度完全不一样吧。现在国模想做科研简直是痴人说梦

IP属地:北京

来自Android客户端12楼2026-09-11 10:06

国内大模型直接做数学证明是很困难的。
但如果用公理集进行约束，国内大模型不比国外的差。
豆包和千问的幕布，都非常适合挂公理集。
可以自主生成顶级数学猜想的完整证明。

IP属地:安徽

来自Android客户端13楼2026-09-11 10:27

把ns方程捧上神坛。

来自Android客户端14楼2026-09-11 10:33

收起回复

不感兴趣

开通SVIP免广告

主要是大家都不信豆姐有这个能力

难道字节藏了个大的？

IP属地:浙江

来自Android客户端15楼2026-09-11 10:57

扫二维码下载贴吧客户端

下载贴吧APP
看高清直播、视频！

贴吧热议榜

1 2 下一页尾页
60回复贴，共2页
，跳到页

<返回deepseek吧

发表回复

发贴请遵守贴吧协议及“七条底线”贴吧投诉

内容:

使用签名档查看全部

发表

保存至快速回贴