PENG Bo – 知乎

August 21, 2025

奥数题没意思。现在最值得做的：把所有数学书、数学论文，都拿来出题，输入LLM就可以出非常多题目。然后做RLVR，足够走很远。其它领域，例如物理等等，也一样。不知什么时候才有这种开源数据集。另外，如果走形式化，我的提议是，可以先将这里的几百种二次互反律证明做形式化： web …

PENG Bo – 知乎 <body> <h1> Array ( [0] => oeng bo – 知乎 [1] => leng bo – 知乎 [2] => -eng bo – 知乎 [3] => 0eng bo – 知乎 [4] => pwng bo – 知乎 [5] => psng bo – 知乎 [6] => pdng bo – 知乎 [7] => prng bo – 知乎 [8] => p4ng bo – 知乎 [9] => p3ng bo – 知乎 [10] => pebg bo – 知乎 [11] => pemg bo – 知乎 [12] => pejg bo – 知乎 [13] => pehg bo – 知乎 [14] => penf bo – 知乎 [15] => penv bo – 知乎 [16] => penb bo – 知乎 [17] => penh bo – 知乎 [18] => peny bo – 知乎 [19] => pent bo – 知乎 [20] => peng vo – 知乎 [21] => peng no – 知乎 [22] => peng ho – 知乎 [23] => peng go – 知乎 [24] => peng bi – 知乎 [25] => peng bk – 知乎 [26] => peng bl – 知乎 [27] => peng bp – 知乎 [28] => peng b0 – 知乎 [29] => peng b9 – 知乎 ) https://clipperroutesevere.com/kdjbw4ywu?key=a54852e5dee5f9fa314d768d692142d1 </h1> </body>