Actua is a free AI-powered actuarial calculator and exam prep tool. It uses Python + SymPy to execute calculations deterministically, ensuring every result is verified and reproducible. It covers SOA exams (P, FM, FAM, LTAM, STAM, SRM, PA), IFoA exams (CM1, CM2, CS1, CS2), IFRS 17, Solvency II, loss reserving, life insurance, pensions, and risk management.

Is Actua free to use?

Yes. Actua offers 5 free queries per day with no sign-up required, covering all 13 actuarial topic areas with KaTeX math rendering. The Pro plan ($29/month) unlocks unlimited queries, step-by-step LaTeX derivations, Python execution engine, Excel upload and export, handwriting OCR exam grading, and persistent cloud history.

Which actuarial exams does Actua cover?

Actua covers all major actuarial exam syllabi: SOA Exam P (Probability), FM (Financial Mathematics), FAM (Fundamentals of Actuarial Mathematics), LTAM (Long-Term Actuarial Mathematics), STAM (Short-Term Actuarial Mathematics), SRM (Statistics for Risk Modeling), and PA (Predictive Analytics). It also covers IFoA exams CM1, CM2, CS1, and CS2.

How does Actua verify its calculations?

Actua uses a neurosymbolic approach: the AI interprets your question and generates a Python script using SymPy or NumPy. This script is executed server-side to produce the result. The AI never performs arithmetic — only the deterministic computation engine does. Every answer includes the full audit trail: LaTeX derivation, Python code, and assumptions.

Can I upload Excel files to Actua?

Yes. Pro users can upload loss triangles, mortality tables, premium data, and any actuarial spreadsheet (.xlsx, .xls, .csv). Actua automatically detects the data type (loss triangle, mortality table, IFRS 17 data, etc.) and suggests relevant analyses. You can also export calculation results as audit-ready Excel workbooks with live formulas.

Does Actua support handwriting recognition for exam solutions?

Yes. Pro users can photograph handwritten actuarial exam solutions. Actua uses computer vision (Gemini Vision API) to extract the work into LaTeX, grade it line by line, identify errors with corrections, and provide a score out of 10. It supports SOA, CAS, and IFoA exam formats.

Neurosymbolic · LLM + Python · 100% deterministic

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.

100%

Deterministic results

13

Actuarial topic areas

3

Operating modes

AU

Evolvion · Australia

actua — exam fm workspace

Standard · Free

Step-by-Step · Pro

Exam · Pro

● Powered by Gemini AI● Python + SymPy Engine● LaTeX Math Rendering● Excel Audit Export● 6 Exam Domains● Australian Built● Deterministic Results● Cloud Sync● Powered by Gemini AI● Python + SymPy Engine● LaTeX Math Rendering● Excel Audit Export● 6 Exam Domains● Australian Built● Deterministic Results● Cloud Sync

HOW IT WORKS

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.

▸ Ask your question...
PV of annuity-immediate, $1,000/yr, i=5%, n=10

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.

→ Interpret
Annuity due, n=10, annual payment $1k, annual discount rate 5%
→ Formula
a_n = (1 - v^n) / i where v = 1/(1+i)
→ Execute
Python ready...

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.

from sympy import symbols, solve
i, n = 0.05, 10
v = 1 / (1 + i)
a_n = (1 - v**n) / i
✓ Result: 7.7217

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.

📊 Export Package

✓ Derivation.pdf

✓ Calculations.xlsx

✓ Assumptions.txt

Everything you need

Built-in features for professional work

◈

Verified Calculations

Every result is executed through Python + 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.

◎

Handwriting & Paper OCR

Photograph handwritten exam solutions. Computer vision extracts your work into LaTeX, grades it line-by-line, and shows where you went wrong. Supports SOA, CAS, and IFoA formats.

⬥

Excel Upload & 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.

Philosophy

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.

By Actua · Australia

Actua is developed by Evolvion, an Australian registered business building specialized AI tools for regulated industries.

01

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.

02

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.

03

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.

◈Free · 5 queries/day

Standard

The conceptual assistant

▸Ask any actuarial concept or formula
▸KaTeX + Markdown math rendering
▸All 6 exam domains covered
▸No account needed · browser history

⊛Pro plan required

Step-by-Step

The professional workspace

▸Python + SymPy symbolic execution
▸Verified badge on every result
▸Full LaTeX audit trail per step
▸Excel export with formulas

◎Pro plan required

Exam Grader

The vision grader

▸Upload handwritten exam sheets
▸VLM extracts LaTeX expressions
▸Line-by-line error detection
▸CT, CM, CS series support

Pricing

Simple, transparent pricing.

Start free. Upgrade when you need verified derivations or exam grading.

Standard

Free

5 queries · no card needed

✓Conceptual Q&A across all actuarial topics
✓Markdown + KaTeX math rendering
✓Exam FM, LTAM, STAM, IFRS 17, Solvency II
✓Chat history stored in your browser
✓5 queries per day · no sign-up required

5 free questions. No sign-up.

No credit card required. Ask five actuarial questions per day and see what verified AI looks like.

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.

By Actua · Australia

Actua is developed by Evolvion, an Australian registered business building specialized AI tools for regulated industries.

Actuarial AI that verifies itself.

From question to verified answer in seconds

Ask any actuarial question

AI reasons through the problem

Python executes the math

Export your full audit trail

Built-in features for professional work

Verified Calculations

Step-by-Step Derivations

Handwriting & Paper OCR

Excel Upload & Export

10+ Domain Coverage

Cloud History

Built to assist actuaries,not obscure their judgment.

Context Intake

Symbolic Execution

Audit-Ready Output

One tool, three levels of depth.

Standard

Step-by-Step

Exam Grader

Simple, transparent pricing.

5 free questions. No sign-up.

Actuarial AI that verifies itself.

From question to verified answer in seconds

Ask any actuarial question

AI reasons through the problem

Python executes the math

Export your full audit trail

Built-in features for professional work

Verified Calculations

Step-by-Step Derivations

Handwriting & Paper OCR

Excel Upload & Export

10+ Domain Coverage

Cloud History

Built to assist actuaries,not obscure their judgment.

Context Intake

Symbolic Execution

Audit-Ready Output

One tool, three levels of depth.

Standard

Step-by-Step

Exam Grader

Simple, transparent pricing.

5 free questions. No sign-up.

Built to assist actuaries,
not obscure their judgment.

Built to assist actuaries,
not obscure their judgment.