美团开源 LongCat-Flash-Prover
huggingface.co
meituan-longcat/LongCat-Flash-Prover · Hugging Face
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
github.com
GitHub - meituan-longcat/LongCat-Flash-Prover: A flagship 560-billion-parameter open-source MoE...
A flagship 560-billion-parameter open-source MoE model that advances Native Formal Reasoning in Lean4 through agentic tool-integrated reasoning.
论文：github.com
LongCat_Flash_Prover_Technical_Report.pdf
1 个帖子 - 1 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: stevessr)
huggingface.co
meituan-longcat/LongCat-Flash-Prover · Hugging Face
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
github.com
GitHub - meituan-longcat/LongCat-Flash-Prover: A flagship 560-billion-parameter open-source MoE...
A flagship 560-billion-parameter open-source MoE model that advances Native Formal Reasoning in Lean4 through agentic tool-integrated reasoning.
论文：github.com
LongCat_Flash_Prover_Technical_Report.pdf
1 个帖子 - 1 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: stevessr)
claude code出了个 /loop命令，然后又出了个接入telegram。。。。这是要照搬龙虾啊
。。。这不就是龙虾吗。。。
:distorted_face:
1 个帖子 - 1 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: 黄霄雲（Google Ultra会员）)
。。。这不就是龙虾吗。。。
:distorted_face:
1 个帖子 - 1 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: 黄霄雲（Google Ultra会员）)
CODEX Free普通账户 X100个
task_2_openai-register.zip (295.8 KB)
新人第一次来L站问下 公益推广开源为什么会被下架 来个大佬为我解决下问题 推广注册机
2 个帖子 - 2 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: Maishan)
task_2_openai-register.zip (295.8 KB)
新人第一次来L站问下 公益推广开源为什么会被下架 来个大佬为我解决下问题 推广注册机
2 个帖子 - 2 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: Maishan)
海外服务器连接不上了，巨卡，求佬解答
vs code连接海外服务器，左侧目录加载好久，然后右侧的cline又连接不上，一直转圈，资源占用率60%，20天左右没连接过服务器了，请问怎么解决？
2 个帖子 - 2 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: LL5612)
vs code连接海外服务器，左侧目录加载好久，然后右侧的cline又连接不上，一直转圈，资源占用率60%，20天左右没连接过服务器了，请问怎么解决？
2 个帖子 - 2 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: LL5612)
新人报到来了😜
学习ai来Linuxdo，看群里大佬一直讨论ai和发这个论坛的东西，终于能进来看看学习了
1 个帖子 - 1 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: hjianing424)
学习ai来Linuxdo，看群里大佬一直讨论ai和发这个论坛的东西，终于能进来看看学习了
1 个帖子 - 1 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: hjianing424)
手机 clash 和 zerotier 能同时开启吗？
Android 手机 Clash 代理 有什么方式可以和zerotier 一起开吗？
1 个帖子 - 1 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: xioobu)
Android 手机 Clash 代理 有什么方式可以和zerotier 一起开吗？
1 个帖子 - 1 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: xioobu)
学AI，上L站！ 已被洗脑，但万一AI征名不叫AI那不学废了吗？
刚看到横幅变了。
我是说万一
2 个帖子 - 2 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: isnlee)
刚看到横幅变了。
我是说万一
2 个帖子 - 2 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: isnlee)
普通人炒股记录第2天
今日情况
持仓无变动
账户回撤1.69%
今日自评
今日除了华夏银行外其他悉数下跌。今日跌幅王-小米。盘后宏桥出了财报，虽然能分的都分了但不及预期，主要是和港股中国宏桥有较大差异。也给我上了一课，两地上市股票因为主体不一致会导致收益不一致，不能因为港股股息高就默认A股也会股息高。
操作规划
因为是周五，在周末复盘后再做下周规划
声明
以上仅为个人研究复盘，不构成投资建议。欢迎各位佬友探讨
具体持仓可看之前发的帖子
持仓详情
3 个帖子 - 3 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: onlyLTY)
今日情况
持仓无变动
账户回撤1.69%
今日自评
今日除了华夏银行外其他悉数下跌。今日跌幅王-小米。盘后宏桥出了财报，虽然能分的都分了但不及预期，主要是和港股中国宏桥有较大差异。也给我上了一课，两地上市股票因为主体不一致会导致收益不一致，不能因为港股股息高就默认A股也会股息高。
操作规划
因为是周五，在周末复盘后再做下周规划
声明
以上仅为个人研究复盘，不构成投资建议。欢迎各位佬友探讨
具体持仓可看之前发的帖子
持仓详情
3 个帖子 - 3 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: onlyLTY)
提问：cursor ssh云服务器claude code插件不显示登录，求佬解答
我在本机用cursor ssh一台2核2GB云服务器，地址在硅谷，然后装了Claude Code插件，最初能用，后面服务器卡死过一次重启后Claude Code就无法显示了，如图
1 个帖子 - 1 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: JackeyHRan)
我在本机用cursor ssh一台2核2GB云服务器，地址在硅谷，然后装了Claude Code插件，最初能用，后面服务器卡死过一次重启后Claude Code就无法显示了，如图
1 个帖子 - 1 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: JackeyHRan)
【CC Max】Sub2API部署在哪里？
CC Max服务，Sub2API应该部署在哪里。
我目前在美VPS（机房IP）上弄好了家宽（住宅）。
现在就是Sub2API连接一下IP管理
问题来了，Sub2API大家希望放哪里，VPS有点太丐版了（DigitalOcean）。
1. render服务器
2. 强行放在VPS上
3. huggingface spaces
4. mac mini内网穿透
5 个帖子 - 2 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: ozer_23)
CC Max服务，Sub2API应该部署在哪里。
我目前在美VPS（机房IP）上弄好了家宽（住宅）。
现在就是Sub2API连接一下IP管理
问题来了，Sub2API大家希望放哪里，VPS有点太丐版了（DigitalOcean）。
1. render服务器
2. 强行放在VPS上
3. huggingface spaces
4. mac mini内网穿透
5 个帖子 - 2 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: ozer_23)
320，Good Day，成为自己产品的第一个付费用户
庆祝一下自己产品总算上线了，前前后后跳票了4次，这次终于是上线测试了。
有什么比自己辛辛苦苦奶了5个月的孩子终于跌跌撞撞走起来了来的让人兴奋呢，这奶粉钱，值！
该帖不做任何推广，只为庆祝，也请不要借口推广举报，请不要私信询问地址谢谢。
12 个帖子 - 9 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: YougLin)
庆祝一下自己产品总算上线了，前前后后跳票了4次，这次终于是上线测试了。
有什么比自己辛辛苦苦奶了5个月的孩子终于跌跌撞撞走起来了来的让人兴奋呢，这奶粉钱，值！
该帖不做任何推广，只为庆祝，也请不要借口推广举报，请不要私信询问地址谢谢。
12 个帖子 - 9 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: YougLin)
[求助] 欧易地址认证
求助佬友们，不知道怎么过欧易的地址认证 🤪，我选的大陆地区+身份证，但地址认证我问了ai，让填信用卡账单，我交了招行的储蓄卡/信用卡账单，都试了一下过不去，希望佬友救救 😍🥰，会送点小礼物 😍
1 个帖子 - 1 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: crazyzhang)
求助佬友们，不知道怎么过欧易的地址认证 🤪，我选的大陆地区+身份证，但地址认证我问了ai，让填信用卡账单，我交了招行的储蓄卡/信用卡账单，都试了一下过不去，希望佬友救救 😍🥰，会送点小礼物 😍
1 个帖子 - 1 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: crazyzhang)
windsurf新计费模式
新的 Windsurf 的计费模式 这个旧的 Pro 号，还有 Free Trial 的周线、日线额度是一样的吗？
1 个帖子 - 1 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: kwd)
新的 Windsurf 的计费模式 这个旧的 Pro 号，还有 Free Trial 的周线、日线额度是一样的吗？
1 个帖子 - 1 位参与者
阅读完整话题
via LINUX DO - 最新话题 (author: kwd)