Skip to content

产品更新

了解 ReasLab 各版本面向用户的新功能、体验改进与问题修复。

v1.1.3

最新版本
AI 对话与文件审阅升级,支持 Agent 配置与 Markdown 导出 PDF
AIAgentMarkdownPDF设置主题反馈

新功能

  • 支持 Steer 与 Queue Message:AI 回复进行中时,可 Queue Message 排队后续消息,也可 Steer 立刻介入当前任务;队列中的消息可编辑、调整顺序或撤回。在对话输入区使用,Agent 模式同样可用。
  • 可用方向键浏览与跳转历史提问:在对话输入框中可用 ↑ / ↓ 浏览此前发送过的提问;也可用 Alt+↑ / Alt+↓(macOS 为 ⌥↑ / ⌥↓)在对话列表中跳转到对应的用户消息。
  • 可将 Markdown 导出为 PDF:可将 Markdown 导出为同名 PDF,并保存在同一目录。可在编辑器工具栏或文件树中右键选择 Export as PDF,也可在 AI 对话中让助手帮忙导出。
  • 可自定义各 Agent 的内部角色模型与生成偏好:在 Settings 页面的 Agents 中打开对应 Agent,即可在 Role models 中指定各内部角色使用的模型,并在 Preferences 中设置生成偏好。
  • 主题支持 Auto,跟随系统外观:Theme 新增 Auto,可跟随系统浅色或深色外观;代码高亮也会更一致地跟随 IDE 主题。可在 Menu → Settings 中设置。
  • 可选择是否需审批 AI 的文件修改:开启 Require Approval 后,AI 的文件修改会进入待审状态,需你接受或拒绝后才会生效;关闭后则自动接受。可在 Menu → Settings → AI Edits 中设置。
  • 可选中助手回复文字加入对话或复制:可将助手回复中选中的文字作为引用加入对话,或复制到剪贴板。选中后使用 Add to Chat / Copy 即可。
  • PDF 内链接跳转后可返回原位置:通过 PDF 内链接跳转后,可点击 Back to previous location,或按 Alt+←(macOS 为 ⌥←)返回跳转前的阅读位置。

改进与修复

  • 对话显示更贴近你的输入:你发出的文字会按输入时的样子保留,不会被自动排成标题或列表;代码块仍会按代码显示。粘贴时的缩进和空格也会留下来。助手回复里来自网络的图片不再自动显示。
  • 大项目打开更顺畅:文件很多的项目在打开时不再容易卡住。一次性新增大量文件的文件夹不会整份记入项目历史;特别大的 Agent 文件修改,展开后才会加载对比内容。
  • 内置 Gurobi 许可改为受限许可:因 Gurobi 官方限制学术许可发放,系统内置许可由不限规模的学术许可改为受限许可,约支持 2000 个变量和 2000 个约束。自有许可证仍可在侧边栏 Solver Settings 中配置。
  • 可从头像菜单直达 Settings 各分区:可直接打开 Account、AI Providers、User Rules、Agents 或 Tools 等设置分区,不必先进入 Settings 再查找。从头像菜单进入即可。
  • 修复 TeX 预览 PDF 刚开始加载时偶发显示先前版本:TeX 预览 PDF 刚开始加载,或刚切换文件时,偶尔会先显示先前的 PDF。现会等到当前文档对应的 PDF 就绪后再显示。
  • Feedback 更清晰区分公开内容与私密信息:提交 Feedback 时,公开内容与私密信息会区分得更清楚。
  • Agent 删除文件时仍可审阅并决定是否生效:若 Agent 删除了文件,你仍可审阅该删除并选择接受或拒绝。在文件审阅界面操作即可。
  • Python 与 Lean 补全更可靠:日常编辑中,Python 与 Lean 的语言补全表现更稳定。
  • 项目列表中 Agent 列对齐更整齐:项目页 Agent 列与表格其他列的对齐更一致。
  • 优化 Python 计算资源管理:Python 运行超时上限为 1 小时,超时后会停止并提示。未正常结束的运行会被清理,不再占用计算资源。
Agent 对话更稳定,模板库与设置体验升级
AIAgentLaTeX模板设置评论OCR求解器

新功能

  • 模板库界面重构:面向优化建模、竞赛与定理证明的模板统一收进新的模板库,浏览、筛选和从模板创建项目都更直观。
  • 数学建模智能体支持「华为杯」研赛:为数学建模智能体扩展了「华为杯」研究生数学建模竞赛的模板及相关资料,便于按该赛题场景起步。
  • 支持更多求解器:建模项目可直接使用更多求解器,包括 HiGHS、CBC、GLPK、SCIP 等。COPT 现已内置平台许可证,无需先配置即可使用,自有许可证仍可接入。同时支持 Xpress Community,也可配置自有完整许可证。可在侧边栏 Solver Settings 中查看与管理。
  • 用户设置界面重构:Account、AI Providers、User Rules 等相关偏好收拢到同一页面,导航更清晰,查找和修改更方便。可从编辑器侧边栏的 Settings,或头像菜单中的 Settings 进入。
  • 更灵活的 OCR 控制:AI 对话附件中的图片和 PDF 可关闭自动提取文字,关闭后可再对单个文件点击 OCR(编辑器 Menu → Settings → Auto OCR)。也可在文件树或预览中右键选择 OCR to Markdown,识别结果会以同名 Markdown 文件保存在同一目录。
  • 可从任意助手回复分叉对话:每一条助手回复都可以作为检查点:从该处 Fork 出新对话,在保留此前上下文的同时另开一条思路继续。

改进与修复

  • 长 Agent 对话大幅降低页面崩溃风险:长时间运行的 Agent 对话在回复生成中、展开某个工具结果,或重新打开很长的历史时,浏览器标签页卡住或崩溃的情况会少很多。
  • 大文件修改的审阅与拒绝更安全、更快:拒绝 Agent 的大段文件修改时,不再有误删你原本就有文件的风险;接受或拒绝修改也不再需要等待数十秒。
  • 新建 Agent 会话更快就绪:新建 Agent 会话时不再多等数秒。如果启动失败,也会马上提示,而不会一直没有反应。
  • 支持用 Ctrl+S / ⌘+S 重新编译 TeX:在 TeX 文件中按 Ctrl+S / ⌘+S,即可重新编译,不必再去找编译按钮。
  • 添加评论时不再打乱当前布局:添加评论时不会强行打开审阅面板,靠近编辑器边缘选中文字时,评论弹窗也会稳定留在屏幕内,阅读和批注更连贯。
协作编辑与长对话更稳定
协作AI

改进与修复

  • 协作编辑时改动能落在所见位置:使用 Windows 风格换行符的文件在协作编辑中现在会按统一规则处理,输入内容会留在你看到的那一行,而不会在保存或刷新后发生偏移。
  • 长对话随长度增长仍可继续使用:上下文压缩现在会更准确地按各模型的上下文窗口计算,窗口较大时会保留更多近期对话;常规压缩失败时也会改用更简单的摘要继续执行,减少长会话卡住的情况。
Rethlas、全新默认模型与 IDE 体验打磨
AI模型账号IDELean项目

特别说明

  • 关于 AI 对话的稳定性:近期我们收到了一些反馈,AI 对话偶尔会出现响应变慢或中途停止的情况。经排查,主要与 ReasPro、ReasProX 所依赖的上游服务近期波动有关。我们已经在着手改善,并会持续关注服务质量;在此期间如果遇到类似情况,切换到 deepseek-flash 会更顺畅一些。感谢大家的反馈与包容。

新功能

  • Rethlas 数学证明 Agent:新增 Rethlas,面向研究级数学证明任务,支持在工作流中独立验证结果并自动修复问题。
  • deepseek-flash 成为新的默认模型:新建对话现在默认使用 deepseek-flash,你也可以随时在模型设置中切换到其他可用模型。
  • 推理选项跟随所选模型:Chain of Thought 控件现在只展示所选模型真正支持的选项:可以开关思考过程、选择思考强度,也可以保持 Auto 跟随模型默认设置。
  • 从 AI 回复直接打开项目文件:ReasLingo 回复和 Markdown 预览中的当前工作区文件链接现在可以直接在 IDE 中打开,方便从解释快速定位到相关源码。
  • 发现更多 ReasLab 产品:首页新增 ReaScholar 与 OptBound 入口:ReaScholar 用于检索和探索学术文献及研究方法;OptBound 是汇集优化问题复杂度上下界的统一基准平台。

改进与修复

  • 修复对话一直停留在接收回复状态:修复回复已经结束或失败后,对话仍显示正在接收回复的问题。
  • ReasFlow Agent 支持使用所选模型:ReasFlow Agent 不再限制可选模型,发送消息时不会再因模型不兼容而失败。
  • OCR 限制提示更清晰,附件仍会保留:图片或 PDF 超出 OCR 限制时仍会保留为对话附件;PDF 超过 20 页时,会明确提示仅处理前 20 页。
  • 注册与账号找回反馈更清晰:验证码邮件、魔法链接和密码重置请求现在会显示更明确的成功或错误状态、重新发送倒计时,以及链接失效提示。
  • Agent 上下文压缩更稳定:长时间运行的 Agent 任务在压缩历史对话时更加稳定,对话长度超出模型上下文窗口时会自动恢复继续执行,而不再中断。
  • 提升 PDF 预览的浏览器兼容性:改善 PDF 在较早浏览器版本中的预览体验。
  • Lean 项目设置更可靠:增强依赖缓存修复与 ProofWidgets 资源缺失时的恢复能力,减少 Lean 项目设置失败。
  • 减少 Playground 与 Infoview 报错:在 Playground 中打开文件时,Infoview 不会再在编辑器内容就绪前直接报错;反复打开同一文件也不会再导致 Lean 语言服务异常。
  • 深色主题与 IDE 布局打磨:补全 IDE 各处的深色主题覆盖,统一文件树、Infoview 与编辑器配色;打开文件时不再自动展开已折叠的目录,并优化 ReasLingo 面板在窄宽度下的布局。
  • 新建项目更顺畅:创建项目请求进行中不会再短暂闪出名称已被占用的提示,创建按钮在请求完成前保持禁用,避免重复创建项目。
  • Python 大量输出不再影响编辑器:执行结果不会再占满浏览器本地存储,输出较多的脚本不会再引发报错,也不会丢失已打开的标签页和会话状态。
  • 模板不含论文时提示更清晰:模板没有配套参考论文时会直接给出说明,不再停留在一直加载的预览界面;标签页的尺寸与悬停样式也更加统一。
  • 打开自己的分享链接不再重复导入 AI 会话:项目分享者打开自己创建的分享链接时,不再生成已有 AI 对话的重复副本。
  • 项目与协作者管理更顺畅:移除成员入口更加直观,Git 导入失败信息更加清晰,并增强已删除项目数据的后台清理。
上传与协作体验升级
项目协作PDF

新功能

  • PDF 预览支持点击链接:LaTeX 生成的 PDF 中包含的外部链接,现在可以直接在内置预览中点击打开。

改进与修复

  • 文件上传与 ZIP 导入更可靠:项目文件和 ZIP 压缩包采用统一上传流程,提供更清晰的进度反馈、更完善的异常处理,并支持对失败文件重新上传。
  • 多人协作编辑更稳定:修复远程协作者光标显示问题,并增强文档同步稳定性,使多人编辑状态保持准确一致。
  • 超大项目文件处理优化:大型生成数据文件不再被不必要地加入实时协作流程,减少后台处理并提升项目运行稳定性。
  • AI 会话标题更加清晰:优化会话标题自动生成效果,方便快速识别和重新查找历史对话。
AI 会话更稳定
AI性能稳定性

改进与修复

  • 长对话保存更高效:优化 ReasLingo 会话的保存方式,减少对话增长后不必要的后台处理,提升长时间会话的稳定性。
  • 空闲会话更加安静:会话内容没有变化时不再周期性唤醒,减少不必要的后台活动。
Git 导入、嵌套 Lean 项目与 IPOPT 体验升级
LeanGit优化建模OCR

新功能

  • 支持嵌套 Lean 项目:ReasLab 现在可以识别位于项目子目录中的 Lean 工作区,并在设置和编辑过程中显示当前工作区根目录。
  • 新增 IPOPT 求解器:优化求解器设置中新增 IPOPT,可与现有求解器集成一起使用。

改进与修复

  • Git 导入和 Lean 设置进度更清晰:重新设计项目导入与设置反馈,可更直观地查看各阶段进度、错误、日志及重试操作。
  • 支持更大的 OCR PDF:提高 OCR 工作流支持的 PDF 文件大小上限,便于直接处理更大的研究文档。
  • 公告与状态信息更加统一:优化通知弹窗、维护信息及 IDE 状态区域,减少视觉干扰并提升信息可读性。
  • Python 输出目录更整洁:Python 任务未生成图片时,不再留下空的 images 目录。
LaTeX 生成文件、JSON 编辑与协作者管理
LaTeX编辑器协作Lean

新功能

  • 下载 LaTeX 生成文件:现在可以从 IDE 下载 LaTeX 构建过程中生成的文件,方便检查和复用编译产物。
  • JSON 编辑与格式化:JSON 文件新增专用语法支持和格式化能力,工具结果中的 JSON 输出也更加清晰。
  • 移除项目协作者:项目所有者和管理员现在可以直接在项目设置中移除协作者。

改进与修复

  • Lean 设置更可靠:在项目设置过程中,包含转义字符的 Lean 包名现在可以被正确识别和处理。
  • 系统更新提示更清晰:优化系统更新与维护信息的展示,使状态和时间信息更易理解。
LaTeX 编辑更快,PDF 预览更可靠
LaTeXPDF协作公告

改进与修复

  • PDF 预览及时更新:LaTeX 编译完成后 PDF 预览会正确刷新,包括由 AI Agent 发起的构建。
  • LaTeX 补全响应更快:降低输入过程中的补全延迟,并减少编辑时不必要的预览更新。
  • 多人协作同步更可靠:改进较慢网络或较大协作文档下的同步流程,减少不必要的超时。
  • AI 编辑与实时预览互不干扰:将 Agent 编辑更新与 LaTeX 实时预览流程解耦,提升连续编辑时的稳定性。
  • 公告视图优化:优化系统公告的布局和可读性。
系统公告与写作体验改进
系统公告LaTeXMarkdownAgent

新功能

  • 应用内系统公告:ReasLab 现在可以在应用内直接展示产品更新、服务通知和维护信息。
  • 支持选择 OptAgent:在支持的线上优化建模工作流中,现在可以选择 OptAgent。

改进与修复

  • LaTeX 辅助更快更稳定:降低补全延迟,并修复多项可能中断写作辅助的 TexLab 问题。
  • Markdown 预览更可靠:外部资源链接不再触发重复刷新,Mermaid 图表也会按预期尺寸显示。
  • 打开 Quokka 时保留当前页面:Quokka 链接现在会在新标签页打开,当前 ReasLab 项目页面不会被替换。
ReasFlow 上线,PDF 查看更快
ReasFlowPDFPlayground

新功能

  • ReasFlow 论文助手:ReasFlow 正式接入 ReasLab,为研究写作和论文工作流提供 AI 辅助。

改进与修复

  • 长文档 PDF 预览更快:PDF 页面进入可视区域后再进行渲染,减少长文档首次打开时的处理量。
  • 减少重复的 Playground 引导:关闭 Playground 引导后,本次浏览器会话内将保持隐藏。
LaTeX 工作流与项目可靠性升级
LaTeXPDFLean项目

新功能

  • 更完整的 LaTeX 写作工具:新增专用写作工具栏、构建目标选择、项目级参考文献补全、章节折叠及大纲一键展开和收起。
  • PDF 阅读控制升级:新增适应宽度与原始尺寸切换、稳定的缩放范围、放大后的横向滚动及演示视图。
  • 数学建模 Agent:Math Modeling Agent 现已可用于支持的数学建模工作流。

改进与修复

  • LaTeX 构建更可靠:构建失败信息更加清晰,支持取消构建;Agent 生成编译结果后会自动刷新预览,并在语言服务无响应时更快恢复。
  • 项目分享与协作更安全:加强分享权限检查,并优化协作文档的首次同步。
  • 项目导入导出更顺畅:Git 导入遇到重名时可以修改项目名,Lean 项目通过 ZIP 上传和下载时也会保留项目元数据。
Agent 模式、性能升级与新产品
性能Agent编辑器Lean新产品

新功能

  • 全新 Agent 模式:面向复杂任务的 Agent 模式可以自主拆解需求、跨文件编辑并在隔离环境中运行命令,同时通过 Activity 面板展示执行过程;用户可随时切回 Editor 模式。
  • 多维上下文引用:在输入框中使用 @ 搜索项目文件或目录,也可以从文件树拖入文件;Agent 与 Editor 模式均支持。
  • LaTeX 智能编译流程:自动选择 LaTeX 编译器,提升使用不同编译引擎项目的构建体验。
  • 新增产品 Quokka:Quokka 可将教材、论文等数学自然语言内容自动拆解、翻译并迭代修复为可编译的 Lean 项目。
  • 新增产品 Arena:OptArena 提供面向优化建模任务的公开多模态大模型评测平台。

改进与修复

  • 性能架构升级:系统架构与会话管理优化带来更快的响应、更好的并发支持,以及更快的历史会话加载。
  • Lean 性能与协作优化:提升 Lean 语言服务响应速度和多人实时协作体验。

v1.0.0-rc.1

预发布
长篇 AI 回复更加流畅
AI性能Markdown

改进与修复

  • 长篇 AI 消息响应更流畅:持续生成的大型 Agent 回复会优先渲染当前可见内容,并避免对已完成内容重复处理。
  • Markdown 数学公式渲染修复:方括号形式的行间公式现在可以正确显示为块级公式。
  • 交互细节修复:优化窄面板中的搜索控件,并修复删除会话弹窗中的交互问题。

preview

预发布
公开预览版
AILean协作IDE

新功能

  • ReasLingo 嵌入式 AI 助手:深度集成 IDE 工作流,支持自定义模型服务、工具调用、代码 Diff、多模态 OCR、Web 搜索、推理强度、用户规则及会话分享。
  • Lean 4 云端形式化环境:提供 Lean 版本切换、包管理、Infoview、语言服务、语义搜索、Mathlib 项目构建及轻量 Playground。
  • 学术文档引擎:支持多种 TeX 引擎、PDF 预览、SyncTeX 跳转、结构化诊断,以及 Markdown 数学公式和代码高亮。
  • Python 与优化建模:提供隔离的 Python 执行环境、高性能包管理、商业求解器集成、执行历史和建模模板。
  • 实时协作与项目管理:支持无冲突多人编辑、协作者状态、项目权限、GitHub 导入、快照、可视化 Diff、回滚和模板管理。