مسئله ریاضی

تائو پایگاه داده‌ای از تمام مسائل اردوش را که هوش مصنوعی در «حل» آن‌ها کمک کرده نگهداری می‌کند، اما در بیشتر موارد، هوش مصنوعی صرفا راه ‌حلی موجود را که چندان شناخته‌ شده نبوده بیرون کشیده، یا اثباتی را ارائه داده که در نهایت کاملا درست از آب درنیامده است.