Terence Tao: AI contributions to Erdős problems | Heykuki News