Valuy@lemmy.zip to science@lemmy.worldEnglish · 21 days agoAI cracks 80-year-old mathematics challenge — researchers are astonishedwww.nature.comexternal-linkmessage-square4fedilinkarrow-up118arrow-down117cross-posted to: [email protected]
arrow-up11arrow-down1external-linkAI cracks 80-year-old mathematics challenge — researchers are astonishedwww.nature.comValuy@lemmy.zip to science@lemmy.worldEnglish · 21 days agomessage-square4fedilinkcross-posted to: [email protected]
minus-squaretechnocrit@lemmy.dbzer0.comlinkfedilinkEnglisharrow-up15·edit-221 days agoPaul Erdos made like 10000 conjectures that nobody cares about. It’s completely unsurprising that a bot would solve a few if not many. That’s what mathematicians have used computers for since they invented them. Of course a computer can arrange dots better than a mathematicians from 1946. jfc. This reasoning is contained in a 125-page document, which the company has not fully released. I’m shocked.
Paul Erdos made like 10000 conjectures that nobody cares about.
It’s completely unsurprising that a bot would solve a few if not many.
That’s what mathematicians have used computers for since they invented them.
Of course a computer can arrange dots better than a mathematicians from 1946. jfc.
I’m shocked.