Mustachius_Grumpius@thelemmy.club to Technology@lemmy.worldEnglish · 27 days agoOpenAI Is Pissing Off a Bunch of Mathematicians—Againwww.wired.comexternal-linkmessage-square88fedilinkarrow-up137
arrow-up137external-linkOpenAI Is Pissing Off a Bunch of Mathematicians—Againwww.wired.comMustachius_Grumpius@thelemmy.club to Technology@lemmy.worldEnglish · 27 days agomessage-square88fedilink
minus-squareoce 🐆@jlai.lulinkfedilinkEnglisharrow-up1·25 days 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.