Article URL: https://github.com/ByteDance-Seed/Seed-ProverComments URL: https://news.ycombinator.com/item?id=44656702Points: 1# Comments: 0