RSS BotMB to Hacker NewsEnglish · 10 months agoClaim: GPT-5-pro can prove new interesting mathematicstwitter.comexternal-linkmessage-square2linkfedilinkarrow-up16arrow-down13file-text
arrow-up13arrow-down1external-linkClaim: GPT-5-pro can prove new interesting mathematicstwitter.comRSS BotMB to Hacker NewsEnglish · 10 months agomessage-square2linkfedilinkfile-text
minus-squareTootSweet@lemmy.worldlinkfedilinkEnglisharrow-up2·10 months 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.