Mathematical verification must be a national mission in the AI era, write Patrick Shafto, Ken Ono, and Scott Duke Kominers.
The Swedish engineer influencer has spent over a decade on YouTube growing a loyal audience of over 2.5 million followers, but for her, the journey was all about living a less typical life in science.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results