StopTech@lemmy.todayM to Stop Tech@lemmy.todayEnglish · 3 months agoAn amateur solved a math problem that was unresolved for 60 years using a single GPT promptwww.scientificamerican.comexternal-linkmessage-square13linkfedilinkarrow-up114arrow-down18cross-posted to: math@mander.xyzmathematics@lemmy.mlhackernews@lemmy.bestiver.se
arrow-up16arrow-down1external-linkAn amateur solved a math problem that was unresolved for 60 years using a single GPT promptwww.scientificamerican.comStopTech@lemmy.todayM to Stop Tech@lemmy.todayEnglish · 3 months agomessage-square13linkfedilinkcross-posted to: math@mander.xyzmathematics@lemmy.mlhackernews@lemmy.bestiver.se
minus-squareBubs@lemmy.ziplinkfedilinkEnglisharrow-up1·3 months agoApparently this was the proof (I think? I have no real idea): Is there some function 𝑓(𝑟) such that 𝑓(𝑟) →∞ as 𝑟 →∞, such that, for infinitely many 𝑛, there exist > 𝑎1,𝑎2 with 𝑎1+𝑎2>𝑛+𝑓(𝑟)log𝑛 such that 𝑎1!𝑎2! ∣𝑛!2𝑛3𝑛⋯𝑝𝑛 𝑟? I have no idea what any of it means lol
Apparently this was the proof (I think? I have no real idea):
I have no idea what any of it means lol