Byt-Wyze makes difficult mathematics and AI understandable, testable and trustworthy

We publish computational research with honest bounded claims, build systems that keep AI inside evidence guardrails so answers can be checked rather than believed, teach the method openly, and offer cryptographic verification services built on the same discipline.

Byt-Wyze is a research and teaching practice that makes difficult mathematics and AI trustworthy: published studies with honest bounded claims, AI kept inside evidence guardrails with receipts and provenance, interactive teaching tools, and cryptographic verification services.

The Byt-Wyze platform

Open Source

Policy Modelling

Organisations are making increasingly important decisions using data, automation and artificial intelligence. Yet most systems explain what they conclude, not how much confidence should be placed in those conclusions. As governance and accountability become more demanding, organisations need systems that measure evidence, quantify uncertainty and make confidence explicit.

Open Source Public research tools and reproducible experiments.

SAT tooling, cryptographic prototypes and experimental libraries from the Byt-Wyze research programme.

Checkable compositeness witnesses, proof-scoped classification and replayable certificate records, qualified by the M2 soundness theorem.

Policy Modelling Green Book-compliant public-sector simulations.

  • Checkable compositeness witnesses, proof-scoped classification and structured certificate records, qualified by the M2 soundness theorem.
  • Policy Modelling
  • Local-authority minimum unit pricing simulator with harm, revenue and NHS-cost projections.
  • Reformulation-adjusted sugar levy modelling with obesity-linked QALY outputs.
  • Cannabis Policy
  • Regulated-market simulation covering price, substitution, tax yield and enforcement cost.
  • The shared calibration and welfare-arithmetic substrate that powers every policy module.
  • Policy Modelling Hub
  • Directory of every live policy module, calibration audit and user manual.
  • BYT-WYZE: Open-Source Research Software, Cryptographic Verification & Policy Modelling