Find all functions $f$ from the reals into the reals such that \[ f(ab) = f(a+b) \] for all irrational $a, b$.
1. **Initial Setup and Induction Hypothesis:**
   We start by considering the given functional equation:
   \[
   f(ab) = f(a+b)
   \]
   for all irrational \(a, b\). We aim to show that \(f\) is a constant function. 

2. **Induction Step:**
   By induction, we can prove that:
   \[
   f\left(\prod_{i=1}^n a_i\right) = f\left(\sum_{i=1}^n a_i\right)
   \]
   for all sequences \(a_1, a_2, \ldots, a_n\) of irrationals. Let \(P(x, y)\) denote the assertion for \(n=2\):
   \[
   P(x, y): f(xy) = f(x + y)
   \]

3. **Choosing Rational \(q\):**
   Let \(q \in \mathbb{Q} \setminus \{-1, 1, 0\}\) be arbitrary. Choose \(n\) large enough and odd so that \(\sqrt[n]{q}\) is irrational. Setting \(a_1 = a_2 = \ldots = a_n = \sqrt[n]{q}\), we obtain:
   \[
   f(q) = f\left(n \sqrt[n]{q}\right)
   \]
   This shows that \(f\) evaluated at any rational number \(q\) is equal to \(f\) evaluated at some irrational number.

4. **Evaluating Specific Values:**
   - \(P(1, 1) \Rightarrow f(1) = f(2) = f\left(2\sqrt{2}\right)\)
   - \(P\left(\sqrt[4]{2}, -\sqrt[4]{2}\right) \Rightarrow f(0) = f\left(-\sqrt{2}\right)\)
   - \(P(1, -1) \Rightarrow f(-1) = f(0) = f\left(-\sqrt{2}\right)\)

5. **Function on Irrationals:**
   We now need to find \(f(x)\) for irrational \(x\). Let \(x > 0\) be irrational. Then \(\sqrt{x}\) is irrational (since if \(\sqrt{x}\) were rational, \(x\) would be rational, which is a contradiction). Consider:
   \[
   P\left(\sqrt{x}, -\sqrt{x}\right) \Rightarrow f(-x) = f(0)
   \]
   This implies that \(f\) is constant on the negative irrationals.

6. **Function on Positive Irrationals:**
   \[
   P\left(-\sqrt{x}, -\sqrt{x}\right) \Rightarrow f(x) = f(-2\sqrt{x})
   \]
   Since \(f(-2\sqrt{x}) = f(0)\), we have:
   \[
   f(x) = f(0)
   \]
   for all positive irrationals \(x\).

7. **Conclusion:**
   Since \(f\) is constant on both positive and negative irrationals, and we have shown that \(f\) evaluated at any rational number is equal to \(f\) evaluated at some irrational number, it follows that \(f\) is constant on all real numbers.

Thus, the function \(f\) must be a constant function. Therefore, we conclude:
\[
\boxed{f(x) = c}
\]
where \(c \in \mathbb{R}\) is a constant.