Manna (2003)

It's weird we thought AI would automate first burger flipper, but AI (almost) automated mathematician firsts. (I'm still confident for centaur math for a few years.)