Actuarial AI that verifies itself.
Built for actuarial students and professionals. Actua combines large language models with Python symbolic math, so every calculation is executed and verified, never guessed.
From question to verified answer in seconds
Ask any actuarial question
Type a question about any exam topic, formula, or calculation method. Actua understands actuarial context and terminology.
AI reasons through the problem
The LLM analyzes the question, identifies what needs to be calculated, and lays out the reasoning chain step by step.
Python executes the math
A Python script using SymPy or NumPy is generated and executed server-side. The LLM never touches arithmetic, only the deterministic engine does.
Export your full audit trail
Every step, formula, assumption, and result is packaged into a polished LaTeX document and Excel file ready for professional review.
Everything you need
Built-in features for professional work
Verified calculations
Every result is executed through Python and SymPy. No LLM arithmetic. No approximations. The engine produces the same answer every single time.
Step-by-step derivations
Outputs expose logic, constraints, and caveats. You see every formula, every substitution, every assumption, so you can validate before relying on the result.
Exam practice, engine graded
Questions in exam style where the correct answer is computed by the same engine that runs professional work — not written into an answer key. A wrong choice tells you which misconception it represents.
Excel upload and export
Upload loss triangles, mortality tables, or any actuarial spreadsheet. Actua detects the data type and suggests analyses. Download results as audit-ready workbooks with live formulas.
10+ domain coverage
Exam P through Fellowship, IFRS 17, Solvency II, APRA GPS, NAIC RBC, pension math, reinsurance pricing, stochastic models, and data science for actuaries.
Cloud history
Your calculations persist across devices. Browse, export, and reference past work. All encrypted and stored securely.
Approach
Built to assist actuaries, not obscure their judgment.
Actua is designed around professional reviewability. The goal is to accelerate technical exploration and exam preparation while preserving actuarial control over assumptions and decisions.
Every response exposes its reasoning chain. You can validate each step, reject assumptions, and export the full derivation to Excel, because a black-box answer has no place in actuarial work.
An Evolvion product
Actua is built and run by Evolvion, an independent product studio in Sydney building specialised AI tools for regulated industries.
Context intake
The system interprets the problem as an actuarial task, identifies assumptions, and maps the request to the correct response path: exam, derivation, or concept.
Symbolic execution
For calculations: a Python script is generated using SymPy or NumPy, executed server-side, and cross-verified. The LLM never does the arithmetic.
Audit-ready output
Responses include the LaTeX derivation, Python code, and Excel formulas for every result. Every assumption is stated. Every step is traceable.
Three operating modes
One tool, three levels of depth.
Standard
The conceptual assistant
- ▸Ask any actuarial concept or formula
- ▸KaTeX and Markdown math rendering
- ▸All 6 exam domains covered
- ▸Free account, nothing saved between sessions
Step-by-Step
The professional workspace
- ▸Python and SymPy symbolic execution
- ▸Verified badge on every result
- ▸Full LaTeX audit trail per step
- ▸Excel export with formulas
Exam Mode
The grader's answer
- ▸Grader-ready written solutions
- ▸Every assumption stated
- ▸Practice questions graded by the engine
- ▸Handwriting upload coming soon
Pricing
Simple, transparent pricing.
Start free. Upgrade when you need verified derivations or exam grading.
Actua is in private beta. Sign up free to try it, and email us when you want a paid plan — we set the account up by hand, usually the same day.
Actua is an educational tool. All financial decisions should be verified by a qualified professional.