RSS Bot@lemmy.bestiver.seMB to Hacker News@lemmy.bestiver.seEnglish · 21 days agoClaim: GPT-5-pro can prove new interesting mathematicstwitter.comexternal-linkmessage-square2fedilinkarrow-up16arrow-down13file-text
arrow-up13arrow-down1external-linkClaim: GPT-5-pro can prove new interesting mathematicstwitter.comRSS Bot@lemmy.bestiver.seMB to Hacker News@lemmy.bestiver.seEnglish · 21 days agomessage-square2fedilinkfile-text
minus-squareTootSweet@lemmy.worldlinkfedilinkEnglisharrow-up2·20 days agoWhat’s more likely? ChatGPT finally made some breakthrough that makes LLMs actually useful for at least one single solitary use case, or Bubeck is lying? The second one. Emphatically the second one.
What’s more likely? ChatGPT finally made some breakthrough that makes LLMs actually useful for at least one single solitary use case, or Bubeck is lying?
The second one. Emphatically the second one.