Dustin was the Teen Tech Category Winner of the Bytes and Pieces Writing Contest. When people think of the greatest painters or artists of all time, they may think of legends such as Pablo Picasso, Claude Monet, or Vincent van Gogh. No one would think of or say the name Jason Allen. Jason Allen is a video game designer who submitted his digital art piece Théâtre D'opéra Spatial to the Colorado State Fair's digital arts competition and won first place for his piece. However, this piece was not "his."

Originally published on Towards AI the World's Leading AI and Technology News and Media Company. If you are building an AI-related product or service, we invite you to consider becoming an AI sponsor. At Towards AI, we help scale AI and technology startups. Let us help you unleash your technology to the masses. Formal mathematics has long been considered one of the toughest challenges for deep learning.

The names of Turing, Minsky, and McCarthy, the founders of Computer Science and Artificial Intelligence in the west, are now familiar to everybody. However, little is known about the history of AI developments under the Iron Curtain of the USSR, although sometimes the competition between two systems was not less acute that in space. Below is a forgotten story of Soviet AI presented through the lens of the life of heroes of those events, Andrey Leman and his colleagues. The year 1955 can be considered as the start of Soviet AI, when a group of mathematicians got access to computer M-2 and began software engineering to solve scientific inquiries and math puzzles. Andrey Leman (1940–2012), who is now known for his co-authorship of Weisfeiler-Leman algorithm, and contributions to the first Soviet database INES and the first world champion Kaissa in chess, was one of the early members of Kronrod's group who at the time was developing first programs of AI.

The 61st International Mathematical Olympiad, or IMO, begins today. It may go down in history for at least two reasons: Due to the COVID-19 pandemic it's the first time the event has been held remotely, and it may also be the last time that artificial intelligence doesn't compete. Indeed, researchers view the IMO as the ideal proving ground for machines designed to think like humans. If an AI system can excel here, it will have matched an important dimension of human cognition. "The IMO, to me, represents the hardest class of problems that smart people can be taught to solve somewhat reliably," said Daniel Selsam of Microsoft Research.

Reprinted with permission from Quanta Magazine's Abstractions blog. The 61st International Mathematical Olympiad, or IMO, began yesterday. It may go down in history for at least two reasons: Due to the COVID-19 pandemic it's the first time the event has been held remotely, and it may also be the last time that artificial intelligence doesn't compete. Indeed, researchers view the IMO as the ideal proving ground for machines designed to think like humans. If an AI system can excel here, it will have matched an important dimension of human cognition.