I will describe a new formulation of Witten's open bosonic string field theory based on non-standard world-sheet parametrization. The theory dramatically simplifies and the long-searched-for tachyon vacuum can be explicitly constructed. This allows us to find a proof for one of the Sen's conjectures relating the energy of the tachyon solution to the tension of the D25-brane.