Maths
Can several machines share one spending limit?
A computer checked a proof that spending could never exceed the limit, even when messages were lost or machines restarted, under the rules tested.
See how we checked it →It says it worked.
Can anyone check?
See Omega in action
Choose a real case. The result is already here.The question
Software
The software said the calculation worked. Did it really?
What it said
It reported that the calculation worked.
What Omega found
Four types of equipment it could not handle still produced results that failed basic checks.
How Omega checked
Omega tried all 18 equipment types and checked each result against five basic checks.
This is Omega
Different questions need different checks.
You bring something you need to know. Omega finds a way to check it.
What do you need to know? →01 / Selected workExplore the work ↗
Different questions.
The same care.
Artwork is decorative; each link opens the investigation and its evidence.
Chips
Does this chip fix mistakes in stored data?
Omega checked a chip design that corrects errors in stored data. The checks showed that one output was never connected.
See how we checked it →AI experiment
Can the same small AI experiment be repeated?
Omega repeated a small run that taught an AI from the saved records. The new run matched the original at every step.
See how we checked it →02 / How Omega worksSee how Omega works ↗
Put the question
to the test.
- 01
Ask the question
→ - 02
Find a way to check
→ - 03
Make sure the check can catch a mistake
→ - 04
Explain what happened
03 / EvidenceSee all the checks ↗
See what the checks found.
46+Public results with evidence40With steps to check the result12Changes accepted by project maintainers
A checked minimum from public records. Updated 7 October 2026. See how these are counted →