Upload papers, extract claims, simulate physics, verify truth.
5 papers analyzed, 495 claims extracted, 282 simulations completed