As an undergraduate at the University of Chile, Bernardo Subercaseaux took a dim view of using computers to do math. It seemed antithetical to real intellectual discovery. “There’s some instinct or ...
Morning Overview on MSN
AI verifies a prizewinning math proof, raising stakes for the field
Artificial intelligence has formally verified the prizewinning proof that solved the sphere packing problem in eight dimensions, a result closely tied to Maryna Viazovska’s Fields Medal. The ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results