RSS BotMB to Hacker NewsEnglish · 1 day 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 BotMB to Hacker NewsEnglish · 1 day agomessage-square2fedilinkfile-text
minus-squareTootSweet@lemmy.worldlinkfedilinkEnglisharrow-up2·1 day 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.