Russia will soon teach high school students how to build and fly drones, which have become a key weapon in the war between Moscow and Kyiv.

An AI model that could reliably check proofs would save enormous amounts of time, freeing mathematicians to be more creative.