AI News阅读时长 8 分钟
Claude 在 11 天内用 Lean 形式化费马大定理
Claude 智能体使用 Lean 和 Prove2Me 平台形式化费马大定理，生成的证明由数学家 Kevin Buzzard 独立验证。
人工智能ClaudeAnthropic智能体
继续阅读 →
独立研究 · 知识实验室
LamjinLab
AI 与技术 · 社会与金融观察 · 宗教哲学 · 传统术数研究
知识体系
笔记分类
编辑分发
精选文章
AI News阅读时长 9 分钟
OpenAI 发布 GPT-6 Astra：具备 1.05M-token 上下文窗口与受限网络安全能力
GPT-6 Astra 将改进的计算机使用和编程能力与 1.05M-token 上下文窗口相结合，但其最强的网络安全能力仍受到限制。
AILLMOpenAI智能体
继续阅读 →
社会观察阅读时长 10 分钟
中国合伙人、50%股权与人性：为什么很多合伙生意最终一地鸡毛
合伙失败不只是看错人，而是权责不清、文件不一致、退出无路，最后把人性逼到最难看的位置。
人际关系实践判断力风险社会不确定性
继续阅读 →
社会观察阅读时长 11 分钟
缠足、内卷与身体还债：为什么缠足不是单纯的审美问题
缠足不是孤立的恶俗，而是审美、阶层模仿、婚姻市场和资源竞争共同压出来的身体债务。
阶层流动代际冲突文化资本机会焦虑
继续阅读 →
中文姓名解析阅读时长 6 分钟
郑坚克姓名学解读：名厨事业、商业合规与浮沉数理
郑坚克（詹姆士）姓名学案例：以公众人物验资案认罪为切入点，观察姓名五格浮沉数理、演艺事业与合规风险。
玄学术数姓名学案例分析郑坚克詹姆士
继续阅读 →
中文姓名解析阅读时长 6 分钟
黄瑞姓名学解读：资本扩张、兑付风波与变怪数理
黄瑞姓名学案例：以香港新股基金兑付违约、39名投资者报案重案组调查为背景，观察姓名五格、事业、财运与风险信息。
玄学术数姓名学案例分析黄瑞
继续阅读 →
交互工具
工具入口
AI 订阅比价
汇总 ChatGPT、Claude、Gemini、Grok、Perplexity 等 AI App 在各国 App Store 的订阅价格，可查看最低价地区、汇率折算与套餐横向对比。
YouTube 播放列表视频链接一键提取
输入 YouTube 播放列表链接，批量获取所有视频标题与地址，方便一键复制后导入 NotebookLM。
四柱八字排盘
输入出生年月日时与性别，自动排出原局七柱（含胎元、命宫、身宫），并逐层查看童限、大运，以及大运内的流年、流月、流日、流时。
紫微斗数排盘
输入出生年月日时与性别，排出本命盘十二宫星曜，并可切换大限、流年、流月，查看不同时段的运势。
易经占卜
支持数字、大衍筮法、时间三种起卦方式，自动排出本卦、动爻与之卦，并附六十四卦传统解卦内容。
梅花易数占卜
支持数字起卦与时间起卦，自动排出主卦、互卦与变卦（仅排盘，暂不含解卦内容）。