Mustachius_Grumpius@thelemmy.club to Technology@lemmy.worldEnglish · 1 day agoOpenAI Is Pissing Off a Bunch of Mathematicians—Againwww.wired.comexternal-linkmessage-square86fedilinkarrow-up137
arrow-up137external-linkOpenAI Is Pissing Off a Bunch of Mathematicians—Againwww.wired.comMustachius_Grumpius@thelemmy.club to Technology@lemmy.worldEnglish · 1 day agomessage-square86fedilink
minus-squareoce 🐆@jlai.lulinkfedilinkEnglisharrow-up1·3 hours agoEven if it’s finding bugs in those, it would be progress. Imagine we can find bugs like that in many other problems, that’s pretty valuable. Agreed it will take time to digest proofs and produce something new out of it.
Even if it’s finding bugs in those, it would be progress. Imagine we can find bugs like that in many other problems, that’s pretty valuable. Agreed it will take time to digest proofs and produce something new out of it.