7 ms·

Because it's beautiful. Because you love math for maths sake and not some weird egotistical game

• NoDodgeQuestion 6d ago
  You feel lean4 proof, that you 99.999% chance not understand is beautiful?
  • vatsachak 6d ago
    https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8...
    • kccqzy 6d ago
      How many humans on earth have finished reading this 100+ page PDF and actually appreciate the beauty contained therein (or the lack of beauty)?
• mswphd 6d ago
  the way LLMs write math is not beautiful. it is exactly analogous to the software that LLMs develop is not beautiful. it may achieve impressive end products, but if you like understanding the methods/architecture, looking under the hood is often a field of horrors.
• legobmw99 6d ago
  Is "loving math for maths sake" just about knowing the answers? I think one can love math for exactly the process and understanding that a several-thousand-line uncommented Lean proof denies. If a deity rearranged the stars to spell out "The Riemann hypothesis is false" for a night, would that be intellectually sufficient?
  • vatsachak 6d ago
    No that's not sufficient but that's not what's happening. Why do we believe that we cannot train models which could explain the jargon in more human terms when current LLMs can perfectly explain the most complicated codebases?
    • deleted 6d ago
      [deleted]