开源动态8

DocTron：开源公式提取工具超越Mathpix

机器之心2025-08-05

AI 摘要

DocTron团队：针对LaTeX公式OCR难题，构建多学科数据集CSFormula，提出DocTron - Formula模型，性能超Mathpix等，推动复杂公式识别技术发展，应用前景广。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

DSH - better - sidebar 让 DeepSeek Harness 操作更便捷

DeepSeek Harness 是 AI Agent 运行框架，自由度高但默认 Web UI 操作不便。社区插件 DSH - better - sidebar 迅速出圈，装了侧边工作台，整合多样工具，更新勤，适合折腾 DSH 的人。

Genspark团队开源AI办公套件GenOffice，全平台免费无广告。它界面类似微软Office，零成本上手，AI能直接编辑文档。虽处Alpha阶段，但可切换多种模型，还给出了配置第三方模型的方法。

过去两年视频生成模型不断提升画面参数，但传统模型生成的视频固定，用户无法干预。而世界模型可跟随操作实时渲染、动态生成世界。目前Noiz AI联合多机构发布实时可交互音视频世界模型HelixWorld 1.0，后续还将开源。

DeepSeek V4 Pro正式版0813上线，升级Agent能力，网页、API、app皆可用。DeepSeek Harness亮相并开源，基于“一切皆插件”理念。V4 Pro跑分部分能力突出但价格将涨，其实际表现待更多测试。