Copilot is goed in formele logica, net als sommige junior programmeurs

Archief van een kort Xiaohongshu-bericht: Copilot is goed in formele logica, net als sommige junior programmeurs.