📢 Gate 广场认证创作者招募中，入驻瓜分每月 $20,000 创作大奖！
📌 参与方式
站内创作者： 成功申请“创作者认证徽章”即可自动参与。
新入驻创作者： 需填写入驻表单申请 👉️ https://www.gate.com/questionnaire/7698
🎁 创作者福利
1️⃣ 首帖见面礼： 新入驻/回归创作者发首帖，即得 $50U 奖励！
2️⃣ 周度发帖奖： 完成周发帖任务，轻松瓜分 $10,000 奖池！
3️⃣ 月度创作奖： 赛道更多样，完成月度任务瓜分 $1,600 GT 奖池！
4️⃣ 专属推广任务：进入专属创作者社群，享专属推广任务和节日礼包！
让您的优质内容被更多人看到，携手共建高质量创作者社区！
活动细节：https://www.gate.com/announcements/article/51536
AI形式化验证公司Pramaana Labs获2700万美元种子轮融资，引入LEAN数学证明解决幻觉
Pramaana Labs 的系统底层仍运行传统的 LLM，以保持处理复杂问题与自然语言的灵活性，但其核心创新在于在 LLM 之上构建了一层确定性验证机制。该机制借鉴了用于验证数学定理的开源 LEAN 编程语言，将具体领域的行业规则代码化。
为了针对不同垂直行业构建 LEAN 风格的形式化验证系统，Pramaana 邀请了大量领域专家进行监督与背书。在税务领域，公司正与前美国国税局（IRS）局长 Danny Werfel 展开合作；在网络安全和药物研发系统方面，则由来自印度理工学院（IIT）德里与马德拉斯分校以及加州大学伯克利分校的教授团队主导。