- There will be a number of talks here demonstrating how smart we all are.
- But your chances of being smarter than Erdös or von Neuman are slim.
- Your head is not big enough to handle Erdös. Erdös wrote or co-wrote 1,475 papers.
- How many mathematicians know and can re-use all his proofs?
- Kasparov may be smarter than other chess players.
- But he was beaten by a computer program learning from the collective knowledge of chess players.
- What if you had Erdös, von Neuman, Poincare, Bourbaki, ... as advisors for developing your proofs and theories?
- Can we learn from their proofs?
- Can we develop AI that is smarter than any single mathematician?
- How should we go about it?
Josef Urban
2011-01-14