Leo(@biosemiote):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.

Leo

@biosemiote

Founding Member of Technical Staff @axiommathai. Wholefoods shopper

参加 March 2022

441 フォロー中 489 ファン

Leo@biosemiote

2026.10.27 22:53

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.