Works in ChatGPT, Claude, or Any AI
Add semantic quote search to your AI assistant via MCP. One command setup.
" "Understand the problem. What kind of problem is it? There are three main types of problems:
‘Show that ...’ or ‘Evaluate ...’ questions, in which a certain statement has to be proved true, or a certain expression has to be worked out;
‘Find a...’ or ‘Find all...’ questions, which requires one to find something (or everything) that satisfies certain requirements;
‘Is there a ...’ questions, which either require you to prove a statement or provide a counterexample (and thus is one of the previous two types of problem).
Terence "Terry" Chi-Shen Tao (simplified Chinese: 陶哲轩; traditional Chinese: 陶哲軒; pinyin: Táo Zhéxuān) (born 17 July 1975, Adelaide), is a Chinese Australian mathematician.
Add semantic quote search to your AI assistant via MCP. One command setup.
Related quotes. More quotes will automatically load as you scroll down, or you can use the load more buttons.