花椒(一人公司）@pepperfr1endsMay 26还有6天马上截止了！ 速度 DM @off_thetargetpepper 花椒 (世界套利）@off_thetargetMay 23直接报名，直接扫码报名，直接扫码报名 1. OPC(5人以内都算）有产出，有用户的，直接报名 2. 想看点项目的个人天使，直接私信我 上号带人！11.4K
pepper 花椒 (世界套利）@off_thetargetMay 23直接报名，直接扫码报名，直接扫码报名 1. OPC(5人以内都算）有产出，有用户的，直接报名 2. 想看点项目的个人天使，直接私信我 上号带人！
花椒(一人公司）@pepperfr1endsMay 23[楼下见] 的5.31 深圳AI创客闭门 - 目前上线了活动行首页大屏 自己有项目别找我了，我私信都炸了，直接扫码报名吧 这次拉了Morgan Stanley Hudson Bay等哥们，如果你觉得你的AI项目牛逼的，那你就报名吧 没几天了2.1K
花椒(一人公司）@pepperfr1endsMay 23DeepMind新系统AlphaProof Nexus：用AI逻辑推理自动化数学证明 具体来说：Lean定理证明助手现在可以直接利用AI生成的策略 这意味着数学家可以专注于提出猜想 让AI处理繁琐的证明部分 Erdős的未解决问题？AlphaProof已直接解决9个 44个猜想得到实质性进展 AI与数学的结合 正开启一个全新的解题时代1314
花椒(一人公司）@pepperfr1endsMay 22昨晚搞了下Kakuna 简直是懒人福音啊🚀 一个MVP原型 16小时里自动提交了上百次 比我手动还勤快。代码质量？靠谱 至少没让我加班 虽然我不是码农 但这种自动化升级的流程 确实让我轻松不少。适合急需迭代原型的老哥 对新手可能不太友好 我还在观望 高效率是好 但稳定性和兼容性 我现在更看重179
