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.