posted in Technology
‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
www.theverge.com/ai-artificial-intelligence/1008726/openai-mathematics-solutions-chaos
Replying to @Mustachius_Grumpius@thelemmy.club
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.
Replying to @33550336@lemmy.world
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.
Replying to @DarkDarkHouse@lemmy.sdf.org
There’s difference between complexity and unreadability