@bluecow 🐮

Science

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

246012345678901234567890123456789

DS

DU

GR

45 Sources, 16d ago, updated 16d ago

Technology

X users react to a satirical post showing extreme AI photo compression via repeated prompts.

101012345678901234567890123456789

PM

AM

CH

16 Sources, 54d ago, first seen 54d ago