如果AI生成了一个超长证明,机器验证通过了,但没有一个人类看得懂,包括当初提示AI的那个人,怎么办?
这是最近AI数学领域的问题。
在编程领域某种意义上也类似,AI生成了一个超大的代码库,跌跌撞撞通过提示词修复了所有的已知bug,通过了能想到的所有测试。
然后呢,你会觉得它真强大,但“编程会让你彻底明白一件事”的那种乐趣就完全没有了。
所以,当你要实现的是一个别人给的任务的时候,可以完全不看ai生成的代码。
当你要实现一个自己也发自内心想实现的东西的时候,那种完全、精确的知道系统会如何工作的幸福感,还是要的。