Hacker News new | ask | show | jobs
by tlingo 3664 days ago
As a consequence, math publications that rely on closed-source computations are not independently verifiable, and fail to meet the standard of a rigorous proof.