科研写作神器，超越Mathpix的科学公式提取工具已开源
科研写作神器，超越Mathpix的科学公式提取工具已开源LaTeX 公式的光学字符识别（OCR）是科学文献数字化与智能处理的基础环节，尽管该领域取得了一定进展，现有方法在真实科学文献处理时仍面临诸多挑战：
来自主题: AI技术研报
6599 点击 2025-08-06 12:56
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
LaTeX 公式的光学字符识别（OCR）是科学文献数字化与智能处理的基础环节，尽管该领域取得了一定进展，现有方法在真实科学文献处理时仍面临诸多挑战：
GPT-5又咕咕，但是把Claude新模型诈了出来—— Claude Opus 4.1，被曝正在进行内部测试。
当所有人都在用AI提升效率，她却想用AI留住情感。
这款叫 MoonBit Pilot 的代码智能体系统，真正将 AI Agent 从“助手”推向“合作者”的角色。在过去一年中，AI 编程助手迅速普及，从 Copilot、Codex 到 Cursor，成为开发者日常工具链的重要补充。然而，这类工具大多依赖于传统 IDE 插件或 Web 服务形式，智能体的能力受限于调用上下文与反馈机制，难以真正进入开发流程的“核心环节”。
Anthropic突然撤销了OpenAI员工对Claude的访问权，声称该公司违反了其服务条款。
n8n成立于2019年，已集成400多个第三方应用，支持自托管，拥有23万活跃用户（含3000家企业），代码库位列GitHub全球Top 50。区别于Zapier等传统SaaS平台，n8n采用“按工作流计费”+“支持自定义与本地部署”的模式，以“connect anything to everything”为理念，是高性价比和数据控制的开源自动化平台。
Anthropic突封OpenAI的ClaudeAPI，指其违约用Claude支援即将发布的GPT-5开发及安全测试。此举标志AI巨头围绕数据与接口展开新一轮封锁战，API成市场准入与创新博弈的战略资源，在业内引发热议与监管关注。
中国首个推出兼容E2B接口Agent沙箱的公司。7月26日，2025世界人工智能大会（WAIC）现场人头攒动。在科技要素拉满的会场内，几乎每个展台都在讨论大模型和AI Agent。
新加坡深度科技初创公司SixSense 开发出一款人工智能平台，可帮助半导体制造商实时预测并检测生产线上潜在的芯片缺陷。该公司已在A 轮融资中筹集 850 万美元，使其总融资额达到约 1200 万美元。本轮融资由 Peak XV 旗下 Surge 基金（原红杉印度及东南亚）领投，Alpha Intelligence Capital、FEBE 等机构跟投。
尽管当前的机器人视觉语言操作模型（VLA）展现出一定的泛化能力，但其操作模式仍以准静态的抓取与放置（pick-and-place）为主。相比之下，人类在操作物体时常常采用推动、翻转等更加灵活的方式。若机器人仅掌握抓取，将难以应对现实环境中的复杂任务。