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

Recent advances in large language models (LLMs) have made artificial intelligence more adaptable than ever before, but that comes with a drawback: lies. Generative AI tends to make things up, but ...

A group of mathematicians has announced a milestone in the effort to thoroughly verify the solution of the sphere-packing problem — for which the Ukrainian mathematician Maryna Viazovska won the ...