Mustachius_Grumpius@thelemmy.club to Technology@lemmy.worldEnglish · 1 day ago‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest dropwww.theverge.comexternal-linkmessage-square41linkfedilinkarrow-up180arrow-down113
arrow-up167arrow-down1external-link‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest dropwww.theverge.comMustachius_Grumpius@thelemmy.club to Technology@lemmy.worldEnglish · 1 day agomessage-square41linkfedilink
minus-squarenialv7@lemmy.worldlinkfedilinkEnglisharrow-up9·edit-222 hours ago L=RL=BPL multiplying two numbers can be faster than nlogn matrix multiplication in n^2.25 3sum is subquadratic Hilbert tenth problem over rationals Unique game conjecture - now theorem To name but a few. Each of these alone can be ground breaking. Edit: sorry, the 3sum result was not from this batch. it happened around the same time so it got jumbled in my brain, but this one was proved by Claude.
minus-squareMustachius_Grumpius@thelemmy.clubOPlinkfedilinkEnglisharrow-up2·22 hours agoThank you. So why so little info out?
minus-squarenialv7@lemmy.worldlinkfedilinkEnglisharrow-up8·22 hours agomy guess is that probably these problems aren’t that well known to the general public? unlike Navier-Stokes, etc. if the likes of Riemann Hypothesis, P vs NP, etc. got proven i bet everyone will hear about it immediately.
3sum is subquadraticTo name but a few. Each of these alone can be ground breaking.
Edit: sorry, the 3sum result was not from this batch. it happened around the same time so it got jumbled in my brain, but this one was proved by Claude.
Thank you. So why so little info out?
my guess is that probably these problems aren’t that well known to the general public? unlike Navier-Stokes, etc.
if the likes of Riemann Hypothesis, P vs NP, etc. got proven i bet everyone will hear about it immediately.