Terence Tao - AI's Performance in Mathematics Competitions (via searchlore.ai)