também de possível interesse para as mesmas pessoas interessadas nos
links anteriores:
$10mn AI Mathematical Olympiad Prize Launches
https://aimoprize.com/
"The AIMO Prize [..] will help compare different AI problem solving
strategies at a technical level, in a manner that will be accessible
and appealing to the broader public."
-- Terence Tao, UCLA
--
https://sites.google.com/site/sequiturquodlibet/