近 90 天在 4 档节目里被提到，包括节目里的自然提及与 AI 识别出的商业合作。
自然提及
4次
节目里顺带聊到
商业合作
0期
出现在
4档节目
提及时的语气（4 次）
按发布时间，最近的在前 · 点时间从那一秒开始播
10 月 5 日那周
形式化验证语言，主播解释其只能检查内部逻辑矛盾
9 月 28 日那周
可编译的数学证明语言，保证证明过程正确
9 月 21 日那周
用于严格检查逻辑步骤的形式化验证软件
9 月 7 日那周
形式化验证工具
