Can you explain why the author makes this remark? I'm not a math person. I thought having a Lean formalized proof was the only way these models were able to get through complex math proofs. My naive thought was that you…
Can you explain why the author makes this remark? I'm not a math person. I thought having a Lean formalized proof was the only way these models were able to get through complex math proofs. My naive thought was that you…