The Hechinger Report covers one topic: education. Sign up for our newsletters to have stories delivered to your inbox. Consider becoming a member to support our nonprofit journalism. This story also ...

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 ...