3 ms·
Would formalizing Wiles' proof of Fermat's Last Theorem be considered deep research? Is it able to formalize it in say metamath's set.mm? Or is the position of
by DoctorOetker 2y ago
Would formalizing Wiles' proof of Fermat's Last Theorem be considered deep research? Is it able to formalize it in say metamath's set.mm?
Or is the position of OpenAI that Wiles' proof is incomplete?
- DoctorOetker 2y agoah yes, when you get downvoted for asking Questions, not even Claims.