Skip to content

Releases: bennix/AIScience

Release list

AIScience 0.3.2

AIScience 0.3.2 Latest
Latest

Choose a tag to compare

View all tags
@bennix bennix released this 15 Oct 23:38
v0.3.2
f2fe521

证据库论文及导入文档统一提供“删除条目”。删除后同步清理本地向量和当前检索记录；剩余索引完整时继续可用，无需额外 Embedding 请求。最后一个来源删除后关闭 RAG。历史对话与报告保留。

验证：26 项单元测试，以及论文/文档删除、重启后持久保存、索引片段清理、零额外 API 请求和空索引移除的桌面回归测试通过（模拟接口）。

macOS Apple Silicon DMG 使用 Developer ID 签名和 Apple 公证。Windows EXE、Linux DEB/RPM 为预览版，Windows 未签名。

Assets 10
Loading

AIScience 0.3.1

AIScience 0.3.1

Choose a tag to compare

View all tags
@bennix bennix released this 15 Oct 23:18
v0.3.1
302b8a6

论文和数据研究工作流更新：

  • 已加入证据库的论文从检索结果隐藏，按 DOI 去重；可针对单篇论文追问，或结合证据库和笔记继续研究。
  • 聚焦追问包含摘要与已获取全文摘录；RAG 聚焦该论文来源，保留稳定引用和片段出处。
  • 每个项目最多 5 个 CSV / Excel .xlsx 文件，支持目录递归导入、内容去重、文件与工作表切换、移除和持久保存。超过上限整批拒绝。
  • 各数据表分别统计，AI 接收全部统计摘要；托管实验环境保存所有工作表及来源清单。
  • Excel 公式只读取已有缓存，不执行公式。旧版 .xls 请另存为 .xlsx。

macOS arm64 DMG 使用 Developer ID 签名并通过 Apple 公证；Windows EXE 和 Linux DEB / RPM 为预览版本，Windows 未签名。

验证：25 项单元测试及论文/多数据、原工作流、附件/修订、数学门槛回归测试通过。数学辅助与会话回归使用模拟模型；本机应用已通过真实 ZenMux Google Embedding 索引测试（30 个片段）。本次未运行 PentAGI。

新增：RAG 索引显示进度和就地错误，兼容 Google 单文本 Embedding 及批量返回数量不一致后的逐条重试。数学问题、公式和初步证明支持 AI 辅助起草、审阅采用，再进入既有 Lean 冻结与验证流程。

Loading

AIScience v0.2.1 — 流式 Markdown / LaTeX

AIScience v0.2.1 — 流式 Markdown / LaTeX

Choose a tag to compare

View all tags
@bennix bennix released this 15 Oct 22:45
v0.2.1
7911c58

流式 Markdown 与 LaTeX

  • AI 回复继续使用 SSE 流式输出；在回复结束前持续显示 Markdown 和已闭合的公式。
  • 对话、报告预览与修订说明支持本地 KaTeX，支持 $…$、$$…$$、\(...\)、\[…\]。
  • 修复 \href{https://…}{文字} 显示为源码的问题；HTTPS 链接显示为标签，危险地址被拦截。链接点击继续受科研站点白名单限制。
  • 未闭合公式保留待完成内容；错误公式保留原文提示；代码块内不渲染公式。
  • 字体和渲染库本地打包，不依赖 CDN，未放宽 CSP。

已用可控 SSE、模拟模型完成增量渲染、Markdown、公式、代码块、CSP、本地字体、危险输入和报告重载测试。真实 ZenMux 调用仍需要有效 API Key。

macOS Apple Silicon DMG 经 Developer ID 签名、Apple 公证并装订票据后上传。Windows EXE 尚未签名；Windows/Linux 为预览包，外部计算环境的自动配置仍以 macOS 为主。每个安装包附 SHA-256 文件。

下载与功能介绍：https://bennix.github.io/AIScience/

Loading

AIScience v0.2.0

AIScience v0.2.0

Choose a tag to compare

View all tags
@bennix bennix released this 15 Oct 22:21
v0.2.0
2bf4adb

AIScience / Science Workbench is an Electron research workspace for hypotheses, literature retrieval, evidence RAG, CSV charts, multilingual manuscripts, reviewer revisions and Lean proof verification.

Downloads:

  • macOS Apple Silicon DMG: Developer ID signed, Apple notarized and stapled before upload.
  • Windows x64 EXE: preview build, currently unsigned.
  • Linux x64 DEB / RPM: preview builds.

Use your own ZenMux API key. Keys are stored using the OS encryption backend. AI and embedding requests send relevant content to ZenMux. Python/Jupyter, XeLaTeX/fonts and Docker/Lean require external runtimes; automatic setup is currently focused on macOS. Windows/Linux integrations need further real-machine validation.

Model tests use fixtures where no provider key is configured. Actual Lean + Mathlib proof verification was performed locally. PentAGI has not run. This release is not a claim of security certification or scientific correctness.

Website: https://bennix.github.io/AIScience/
Verify each installer using its accompanying .sha256 file.

Loading