Technology@lemmy.world•OpenAI posts 700 maths preprints online: mathematicians are up in armsbyT. Hex@lemmy.dbzer0.comEnglish18 hoursA human still needs to verify the theorem statements at least. 9
Games@sh.itjust.works•PlayStation will "irreversably" delete your account along with your game library if you dont login for 3 yearsbyT. Hex@lemmy.dbzer0.comEnglish3 monthsIt’s odd timing given that microsoft seems to be giving up on Xbox 1
A human still needs to verify the theorem statements at least.