Leo
@biosemiote
Founding Member of Technical Staff @axiommathai. Wholefoods shopper
441 Following 489 Followers
The formal proof of CFSG may now be among the largest open-source projects ever. Watching agents assemble it is a reminder of the awe-inspiring human achievement behind it. The graph represents some 15,000 pages of intricate arguments developed by mathematicians over decades.
Show more
