AFP via Getty Images
平台化前夜：跨越 AGI 的深水区在财报中，MiniMAX 明确表达了从“大模型公司”向“AI 时代平台型公司”转型的野心。
，更多细节参见同城约会
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.
之前很多 Nano Banana Pro 的玩法，现在也能花更少的钱，得到更稳定的输出。