A computer assisted proof for 100k years stability of the solar systemarxiv.org2 points·headalgorithm··1 commentOpen articleSaveView on HN