▲ 5 r/mathematics
Am I the only one not interested in results produced solely by AI ?
Honestly I don't really care whether statement is true or not, what I want to know is the reasoning, the inspiration, the trials and errors. I think Lean is cool but if the futur of math is unintelligible code written by AI, what's the point ?
(Sorry for my english)
u/Orderi — 5 hours ago