4 ms·
From the oeis link: https://tromp.github.io/blog/2023/11/24/largest-number https://tromp.github.io/blog/2023/11/24/largest-number
by jakeogh 3y ago
From the oeis link: https://tromp.github.io/blog/2023/11/24/largest-number https://tromp.github.io/blog/2023/11/24/largest-number
- tromp 2y agoAcutally, I only learned about the 49 bit program after writing that blog entry. It is described in https://github.com/tromp/AIT/blob/master/fast_growing_and_conjectures/melo.lam https://github.com/tromp/AIT/blob/master/fast_growing_and_co...