Algernon Fross

@fxp123

HBCU Alum USAF vet&brat,, .retired from the USPS , granddad..Taylen: I'd rather slam my hand in a car door than ever vote for anyone in the GOP #Resist

following
followers

Science

OpenAI releases 722 math manuscripts produced by an internal AI model

OpenAI says many proofs have computer-checkable Lean formalizations, but warns that some unformalized results could have issues.

45 Sources, 10d ago, updated 10d ago

Entertainment

Paramount CEO reportedly threatened to announce the company’s California exit

Page Six says David Ellison conveyed the threat through backchannels and suggests Rob Bonta called his bluff.

1 Source, 33d ago, first seen 33d ago

Featured in

OpenAI releases 722 math manuscripts produced by an internal AI model

Paramount CEO reportedly threatened to announce the company’s California exit

Featured in

OpenAI releases 722 math manuscripts produced by an internal AI model

Paramount CEO reportedly threatened to announce the company’s California exit