回答情况：
提问时间：
问题标签：
0回答
Lean 4自动证明离数学家多远？
开源、AIGC、工程师、模型、数据
谁最需要这类工具：数学家、形式化工程师，还是训练推理模型的 AI 团队？它究竟解决什么问题，是降低形式化门槛、扩充训练数据，还是直接替代人工证明？
浏览 16提问于2026-08-24
0回答
国内目前只有一家在做的游戏，同一个游戏类型做了5个IP，有无合作的开发人员？
游戏、ip、开发、开发者、游戏开发
卡牌类游戏，5个IP中排名最高的七麦热度推算一年营收3-4亿，国内无竞品。开发需求少，有无有兴趣的大佬想了解一下。
浏览 181提问于2023-08-03
根据 百度百科 ，生命游戏，简称为生命，是英国数学家约翰·何顿·康威在 1970 年发明的细胞自动机。给定一个包含 m × n 个格子的面板，每一个格子都可以看成是一个细胞。
浏览 231提问于2021-11-02
1回答
修改SSH默认端口后，远程连接不上云服务器？
云服务器、java、网络安全、ssh、windows
1.jpg
2.使用了22端口连接（用VNC登录开启了防火墙对22端口的开放）还是无法连接。。。。。。。。。。。。。。。。。。。。。。
浏览 1549提问于2020-05-14
0回答
请问，我的体验版的workbuddy积分余额，为什么莫名其妙的减少和增加？
人工智能、管理、WorkBuddy
没怎么用过，但积分每天减少100+或50+之前通过帮助与反馈渠道反映过，没有得到回复
补充：发现版本升级后积分有时会减少（已观察到3-4次），并非每次升级都触发
浏览 107修改于2026-07-26
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号