Your petty insult is matched only by your willful ignorance of and refusal to address the substance of my argument: > I'm pretty sure a computer could be used

Your petty insult is matched only by your willful ignorance of and refusal to address the substance of my argument: > I'm pretty sure a computer could be used to solve most International Mathematical Olympiad problems quicker and more reliably. Case in point: http://www.imo-official.org/problems/IMO2010SL.pdf http://www.imo-official.org/problems/IMO2010SL.pdf > A1. Determine all functions f : R -> R such that the equality f([x]y) = f(x)[f(y)] holds for all x,y in R. Here, by [x] we denote the greatest integer not exceeding x. Can Mathematica or another computer program solve that? I am betting it can. And very quickly. And I also reject that such a problem is open ended. The most that the Wikipedia article speaks on the topic related to the above mentioned partial quote is > extensive knowledge of theorems Which does not mention actually proving any theorems. Although I may misunderstand the difference between proving a theorem and proving a solution to a given problem. I await your lack of substantive response.