Update README.md

README.md

@@ -127,8 +127,8 @@ The charts above demonstrate the state-of-the-art performance of Goedel-Prover-V
       <tr><td>2</td><td>DeepSeek‑Prover‑V2-671B</td><td>22</td><td>Pass@32</td></tr>
       <tr><td>3</td><td>DSP+</td><td>23</td><td>Pass@128</td></tr>
       <tr><td>4</td><td>Kimina‑Prover‑7B‑Distill</td><td>10</td><td>Pass@192</td></tr>
-      <tr><td>3</td><td>Self-play Theorem Prover</td><td>8</td><td>Pass@3200</td></tr>
-      <tr><td>4</td><td>Goedel-Prover-V1</td><td>7</td><td>Pass@512</td></tr>
+      <tr><td>5</td><td>Self-play Theorem Prover</td><td>8</td><td>Pass@3200</td></tr>
+      <tr><td>6</td><td>Goedel-Prover-V1</td><td>7</td><td>Pass@512</td></tr>
     </tbody>
   </table>
     <!-- table caption -->