Connect Four Is Solved: The First Player Always Wins

Connect Four was first solved by James Dow Allen on 1 October 1988. Victor Allis independently solved it later that month, on 16 October 1988, and his name stuck in many retellings because his method was written up in detail.

The result is the one people quote as “connect 4 first player wins”: on the standard 7-column, 6-row board, with perfect play from the empty position, the first player can force a win. That does not mean the first player wins after any careless opening, or that humans cannot throw the game away. It means the initial position is mathematically won for the player who moves first.

The awkward record point is that there is no single official record body for “solving Connect Four”. What exists is documented priority. Allen’s date is the earliest normally cited. The victor allis connect four story matters because Allis gave a knowledge-based proof, built a program called VICTOR, and turned the result into a clear thesis: A Knowledge-based Approach of Connect-Four. The Game is Solved: White Wins. The old papers call the first player White. Most modern sets use red and yellow.

So who proved Connect Four was solved, and when?

The earliest documented solution is James Dow Allen’s, dated 1 October 1988. Allen showed that standard Connect Four is a first-player win. If you want the short record answer, quote that date.

Victor Allis comes next, and not as a footnote. Allis independently solved the game on 16 October 1988, then produced the work that many later writers actually read: A Knowledge-based Approach of Connect-Four. The Game is Solved: White Wins. He was at Vrije Universiteit Amsterdam. His program, VICTOR, used strategic rules rather than only raw search.

This is why the record often looks confused. Allen is the earlier documented solver. Allis is the named author most closely tied to the explanation, the proof method, and the phrase “White wins”. Both facts can be true at once.

No official world-record office appears to have awarded a title for “first person to solve Connect Four”. Board-game solving is not usually recorded like a sprint time or a chess championship. The record rests on dated documents and later citations, not on a governing body’s medal table.

The honest answer is precise but a little untidy: James Dow Allen has the earliest documented date, 1 October 1988; Victor Allis independently settled the same result on 16 October 1988 and gave Connect Four one of its best-known solved-game accounts.

What exactly does “the first player always wins” mean here?

It means the empty starting position of standard Connect Four is won for the first player under perfect play. The player moving first has a strategy that forces a win against any legal defence. “Always” is mathematical, not casual.

It does not mean a beginner can drop discs at random and expect the board to obey the theorem. A solved result describes best play from both sides. One bad move can still spoil a won position, just as a poor chess move can lose from an opening that theory likes.

• The board: the usual 7 columns by 6 rows.
• The target: connect 4 counters in a row, vertically, horizontally, or diagonally.
• The solved claim: from the empty board, the first player can force a win.
• The key opening: the centre column is the winning first move normally attached to the solution.
• The limit: different board sizes and rule variants need their own analysis.

That is the difference between “connect four solved” and “I never lose at Connect Four”. The first is a proof about all possible replies from the start. The second is a human boast, and humans miss tactics.

The phrase “connect 4 first player wins” is useful shorthand. It hides the important condition: the first player must choose the winning strategy and keep choosing it until the forced win arrives.

How did Victor Allis actually settle it?

Allis did not merely ask a computer to play millions of games and print a winner. His work is remembered because it mixed search with human-readable strategic rules. That made the proof easier to inspect than a bare list of positions.

1. He fixed the exact game. The result applied to standard Connect Four: 7 columns, 6 rows, gravity, and four in a row to win. That matters because a proof for one board is not automatically a proof for every variant.
2. He treated the first player as White. This is a small detail many retellings lose. Allis’s subtitle says The Game is Solved: White Wins. In that terminology, White means the first player, not a colour from a modern plastic set.
3. He built VICTOR. The program used a knowledge-based approach. Instead of relying only on brute force, it used strategic patterns that could prove parts of the board safe, won, or lost.
4. He combined rules with search. Strategic rules reduced the amount of calculation needed, while search checked concrete positions. The point was not elegance for its own sake. It was how a huge game tree became manageable enough to prove.
5. He reached the same result as Allen independently. Allis’s documented date is 16 October 1988, after James Dow Allen’s 1 October date. That makes Allen earlier, while still leaving Allis with a separate and influential proof.

The result is why the victor allis connect four phrase still appears in searches. His name is attached to the explanation people can discuss, not merely to the first date on the calendar.

What is the best documented record, and what is not officially recorded?

The safest wording is therefore specific: Allen has the earliest documented solution; Allis independently solved it and supplied the best-known knowledge-based account. Calling either man the “official record holder” adds a certainty the evidence does not support.

Why do people still talk about Connect Four as if the answer were news?

• The game still feels small. A 7 by 6 grid looks too modest to hide a serious proof. People see a toy on a kitchen table and are surprised that it needed formal solving at all.
• The phrase is easy to misread. “The first player always wins” sounds like a playground tip. The real claim is stricter: with perfect play, from the empty board, the first player has a forced win.
• Allen and Allis split the story. One name has the earlier date. The other name has the famous thesis and VICTOR program. Short articles often choose one, which makes the next reader think they have found a contradiction.
• Most people learn by losing, not by proof. Casual games include blunders, traps, and missed vertical threats. That lived experience clashes with the clean solved result.
• Searches keep reviving the same surprise. Someone hears “connect four solved”, checks whether it is true, then finds dates from 1988. The gap between the old proof and the fresh surprise is part of the appeal.

Frequently asked questions

Final thoughts

The neatest part of the Connect Four result is not that a computer beat a children’s game. It is that the answer changes what you think you are seeing. A board that looks open and tactical has, from the very first move, a fixed truth beneath it.

That does not make playing pointless. Solved games survive because players are not proof machines. We forget threats. We choose the tempting column. We set traps that work against people even when they would fail against perfect defence. The solved answer sits above the table; the actual game still happens at the table.

If a friend asked what to remember, I would give them the version that does not overclaim. James Dow Allen is the earliest documented solver, on 1 October 1988. Victor Allis independently solved the game later that month and left the account that made the proof famous. The first player wins only in the exact mathematical sense: perfect play, standard board, correct strategy.

Keep that distinction and the story stays interesting. Lose it, and it turns into trivia: “computer says first wins.” The better version has people, dates, a contested-looking record, and one quiet oddity from the original papers: the winning first player was called White.