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