This tool is compatible with both Windows and Mac, and your Premium Plan includes 1TB of cloud storage to use for life. Codes are stackable, so if you need more space, you can purchase multiple plans and add them together.
In just 5 days, Gauss automatically proved all remaining results needed to verify the result in 8 dimensions. The Sphere Packing team estimated that the 8-dimensional case alone would have taken six more months of work with existing tools. In two weeks, Gauss then autoformalized the 24-dimensional case using only the original paper as input, performing autonomous literature searches when needed. This brought the total sphere packing formalization from 70k to ~200k lines.
，详情可参考safew官方下载
"mcpServers": {
ВсеПрибалтикаУкраинаБелоруссияМолдавияЗакавказьеСредняя Азия