|
|
|
|
|
|
by tech_ken
462 days ago
|
|
|
> Or more generally, how do you verify a proof that you don't understand? This is the big question! Computer-aided proof has been around forever. AI seems like just another tool from that box. Albeit one that has the potential to provide 'human-friendly' answers, rather than just a bunch of symbolic manipulation that must be interpreted. |
|
|