Connect6 was introduced in 2005. We need to develop more openings and puzzles since Connect6 is a very young game. This thesis develops a proof system for Connect6. It combines alpha-beta search and proof number search to expand less nodes and prove two-person games more quickly. Grid systems are also used to accelerate computation. The results of proof system are not only put into the opening database but also improve the strength of Connect6 program.