花椒创业板

还有6天马上截止了！ 速度 DM @off_thetarget

[楼下见] 的5.31 深圳AI创客闭门 - 目前上线了活动行首页大屏

自己有项目别找我了，我私信都炸了，直接扫码报名吧

这次拉了Morgan Stanley Hudson Bay等哥们，如果你觉得你的AI项目牛逼的，那你就报名吧

没几天了

DeepMind新系统AlphaProof Nexus：用AI逻辑推理自动化数学证明

具体来说：Lean定理证明助手现在可以直接利用AI生成的策略
这意味着数学家可以专注于提出猜想 让AI处理繁琐的证明部分
Erdős的未解决问题？AlphaProof已直接解决9个 44个猜想得到实质性进展
AI与数学的结合 正开启一个全新的解题时代

昨晚搞了下Kakuna 简直是懒人福音啊🚀

一个MVP原型 16小时里自动提交了上百次 比我手动还勤快。代码质量？靠谱 至少没让我加班

虽然我不是码农 但这种自动化升级的流程 确实让我轻松不少。适合急需迭代原型的老哥 对新手可能不太友好

我还在观望 高效率是好 但稳定性和兼容性 我现在更看重