省流版： 
一、如何真正入门LLM科研/工程？ 二、我性格偏向组织与交流，我把目标定为AI算法岗是否合适？我该如何发挥这一性格特点？ 
我目前是北京某中九大二学生，成绩大概在前10%，希望未来从事AI相关工作。 
在大学期间，我做过比较多方向的探索，包括系统部署（如服务器搭建）、项目开发（前端和全栈）、以及AI工具的深入使用。同时，我还建立了一个校内计算机交流群（约750人），并基于此组织了一个面向全校的资料分享计划（用户交流群有约400人）。 
但我目前有两个比较核心的困惑。 
首先，我的技术能力整体偏浅，虽然接触面还算可以（各种工具、api、本地部署微调等都试过），但缺乏一个真正深入的技术方向。我在学校进过某组，但只是做一些杂活（读论文、做ppt、跑实验等），而且我不太认可周围同学在做的idea（感觉纯在扯），整体体验一般，和我想象中的科研有一定落差。所以我就在思考，如何才能真正入门L...

第一天的新手宝宝求教，这个信任等级中的“话题”和“帖子”是一个东西吗？ 
目前似乎没有看到过相关的解释。 🥰 
 [image]

[image] 
模型将形式化推理拆解为三项独立能力：自动形式化（将自然语言数学问题转化为 Lean4 形式语句）、草图生成（产出引理风格的证明框架）和完整证明生成。三项能力均通过 Agent 工具集成推理（TIR）与 Lean4 编译器实时交互验证。 
训练方面，团队提出 Hybrid-Experts Iteration Framework 生成冷启动数据，并在强化学习阶段引入 HisPO 算法稳定 MoE 模型的长程任务训练，同时加入定理一致性和合法性检测机制防止 reward hacking。 
基准测试显示，LongCat-Flash-Prover 在开源权重模型中刷新了自动形式化和定理证明两项 SOTA。MiniF2F-Test 上仅用 72 次推理即达 97.1% 通过率，ProverBench 和 PutnamBench 分别达到 70.8% 和 41.5%，每题推理次数不...

抽奖主题：火山CodingPlanPro API KEY 
🏆 奖品详情： 
如题，之前春节买的Pro套餐，瞪起来不爽，一直闲置，到五月份，不如让各位佬友开蹬 
🕒 活动时间： 
开始时间：2026/03/21 14:10 
截止时间：2026/03/21 18:00 
📝 参与方式： 
在本帖下回复。 
🔍 抽奖规则： 
每位用户仅允许参与一次。 
使用L站抽奖工具随机抽取中奖者。 
⚠ 注意事项： 
本活动将在活动截止时间后关闭回帖，以确保公正性。 
中奖者将在活动结束后2小时内在本帖公布，并通过本贴重复编辑通知领奖方式。 
所有规则及抽奖结果由活动发起人和论坛管理团队最终解释。 
期待您的积极参与，祝您好运！如有任何疑问，欢迎随时联系抽奖发起人。

吓死了差点以为挂了

路上遇到的一只小白，长得好俊，又温柔，还过来舔手 
 [IMG_4314]

刚入站不久，嫖了很多大佬的福利，一直想分享点什么回馈各位佬；今天就抽200个app的激活码吧；希望各位佬别嫌弃。 
这个app是我上大学时就开发的，到现在都已经工作好几年了；之前有一段时间时开源的；但是抄袭白嫖的人太多了，没有人修bug，还一直提issue；加之后面出来上班挣钱，没有时间经历去维护了。今年趁着vibecoding兴起，完善了一些功能后，正式改为闭源了；趁此次抽激活码，回馈下论坛各位佬。 
app简介： 
1、功能：类似于Autojs;基于javet开发的android自动化工具；支持nodejs，使用简化的android api 进行操作； 
 [S5_应用主界面截图] 
2、内置编辑器，支持语法高亮、lsp解析，智能提示; 
 [S4_编辑器截图] 
3、布局分析和取色工具； 
4、内置termux终端和nodejs、npm基本工具；支持终端内安装使用； 
 [S3_终端...

今天，我经历了一次，nas硬盘满了，然后ssh，web都登不上去了，然后我让codex帮我解决，他绕啊绕啊，找到了webdev，然后解决了。这要是我自己，找资料都要找半天，前前后后一共用了30分钟（含文件传输的时间）。

不开会员没事，开了秒封？？我标准本地银行卡ip啊啥的啊，啥梯子都没开啊？？？ 
 [75852880c39de87dbf95db349faf2f47]

之前一直在openclaw用，长任务可以稳定跑，今天经常出问题，刚居然出现只聊天不调工具干活的情况，智商也明显降低，不会给自动路由到mini了吧？

哪位大哥推荐下吧！

不知道有没有佬跟我一样 
一个人待在屋子无聊 喜欢来公司加班的.. 
周围都没有人 自己忙自己的 这感觉notbad?

支付宝搜发票抽奖，抽现金红包啦！具体说明参考官方规则 
 [7314d0a2ab27ecdfb9daf39139103625]

在此向各位佬友抱歉 
感谢你们的支持 
之前不知道这个相关站点应该发到哪个分区，导致错发，这是我个人很严重问题，我以后一定注意！！ 
个人总结 --可能对于后面的佬友有帮助，有问题欢迎指正
目前富可敌国是不能发了 
公益站作者：需要阅读始皇的：新推广方式：开源推广 
在这里特别表示敬畏，对于他们的无私奉献自己的时间和经济 
对于普通推广：请按照普通推广要求，发在 扬帆起航 ，具体请参考：https://linux.do/guidelines 
在此说明 
对于之前注册的佬友可以访问https://linux.do/t/topic/1792119 回复ID进行参与抽奖 
最后特别感谢始皇，竟然真的会及时回复，我这种小白用户！！！

胡思乱想了一下，前面两次工业革命都是机械的大规模应用，导致人类手脚的产出性价比远远落后。火车一次运载可以远超上万人搬运的规模，纺织工厂机器一昼夜生产，普通人可能一年都追不上。于是人类纯靠手脚产出的价值就显得低贱了,同时机器无法生产的脑力活动产品。于是世界上就出现了大量办公室的工作。 
可现在的ai，似乎把我们最后的脑力产品也轻松击溃了。所以ai时代的工业革命是和前面几次一样，创生出大量独属于新时代的岗位？还是人类最后专有的生产能力彻底被打败资本再也不需要牛马，从而迈向终产者时代？ 🫪

向大家推荐一个我做的 Vite 插件 —— vite-plugin-pilot 
效果基本可以媲美 Chrome DevTools MCP，用来开发一些运行在稀奇古怪环境（比如你在开发浏览器插件、嵌入式 Webview、某个定制化的客户端）的前端程序的时候非常好用，即便是开发正常前端程序也能达到和 chrome devtools mcp 差不多的效果 
这个的作用很简单，就是让 agent 能够在前端使用 eval 执行 js，这样他就能自己检查自己写的前端程序有没有什么bug之类的了 
 [image] 
还可以用于探索一些稀奇古怪环境的运行时下怎么实现一些功能，agent同样是有自己探索的能力的，但是这些运行时是没法运行 chrome devtools mcp 这些工具 

这个项目本身是我使用 glm5-turbo + cc 迭代出来的，一开始是一个项目中的 vite-plugin....

cursor自研模型居然是国内的kimi2.5，拿去强化学习一下就说成自己的，只字不提kimi，但是还是被人发现了。现在都学腾讯了？！

想自己搞辆20xmax车，都用什么美国服务器当中转？有推荐不

大家对ai的发展有什么看法，在2030年ai是否能替代绝大部分人的工作，如果替代之后，那这些被替代的人该何去何从，目前看着最近两年ai的指数级发展速度，心里有点不安

支持所有格式 
MP4、WebM、MOV、MKV、AVI 等，输出优化为 H.264 编码 MP4。 
完全可控 
自带 Discord、邮件、微信压缩预设，也可自定义分辨率、码率和帧率。 
永久免费 
无需注册，无水印，无限次免费压缩，100%免费使用。 
画质保持 
智能算法在大幅缩小文件体积的同时，保留清晰画质。