AIScience v0.2.0

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.