Get the latest tech news

Completing the formal proof of higher-dimensional sphere packing

Dedicated to verified superintelligence via autoformalization.

None

Get the Android app