72
‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop (www.theverge.com)
submitted 1 day ago by to c/technology@lemmy.world
41 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] 4 points 21 hours ago (2 children)

One of the main fucking points of a mathematical proof is to be clear and convincing. If it is not convincing and reducible to simple steps, it's not a proof at all.

  • permalink
  • fedilink
  • source
  • hideshow 2 child comments
    •
  • [–] 5 points 20 hours ago (1 child)

    All a proof needs to do is logically derive the conclusion from the premises. Sure, there are qualities we like to see, but complexity is no disqualifier. These AI proofs are of course horrendous and need a lot of work, but even a bad proof can allow new work to continue on top of it.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 1 child comment
    •