#Lean
OpenAI 公开 722 篇数学论文：宣称证明准黎曼假设，形式化验证零错误
刚刚，OpenAI 把一个内部前沿模型做出来的数学成果，一股脑放上了 GitHub
来源：OpenAI 官方账号
Github 仓库位于 openai/math，里面收了 722 篇论文，并把结果归成 372 个族，涉及大约 4000 道…
SlideDeckCleaner：一键去除 NotebookLM 幻灯片水印
昨天我分享了NotebookLM 生成PPT的使用教程，NotebookLM 直接生成幻灯片（目前导出为 PDF 版的演示文稿）这一能力，适合做初稿演示。
但有水印：NotebookLM 导出的每一页右下角都有来源水印。
今天刚好看到一个操…
Audio Cleaner AI：AI音频工具，一键去除视频/音频中的背景噪音、口音、停顿等，提升音质
这是一款针对音频和视频的在线降噪工具。 通过AI技术，它能快速去除背景噪音，提升音频质量。 适用于播客录制、采访、视频博客拍摄等多种场景，让您的内容脱颖而出。
Audio Cleaner AI功能
一键快速降噪：只需几步即可从音频或视频…
Clean Paste：一键清除AI生成文本中的水印和隐藏标识，绕过 AI 检测工具
Clean Paste 是一款用于清除AI生成文本中隐藏水印和不可见字符的工具。 它可以使您的AI内容看起来更像人类创作，并绕过AI检测工具。 适用于需要快速处理和优化AI生成文本的用户。
Clean Paste功能
移除AI水印：快速…
Glean：企业级AI助手和搜索引擎，适用于代理、助手、搜索的AI平台
Glean是专为职场人设计的A|搜索引擎。能跨平台搜索公司内部数据源，如Outlook、Ofice、Google Workspace和salesforce等，快速定位文件和数据。Glean的A!技术根据用户职位和搜索习惯优化结果，确保不同…