Offensive Security / AI @Umbriel_AI. Ex-AI RT and OffSec at NVIDIA, RT lead @ Meta. Ex-Principal Consultant and Researcher @ NCC Group/iSEC Partners. Neg9//CTF.
I don't know Lean well, but it has been shown to have it's own bugs. Has anyone been able to check if the Lean proofs for these things are not just reward hacked solutions by finding Lean bugs? Maybe the papers are enough?
I don't know Lean well, but it has been shown to have it's own bugs. Has anyone been able to check if the Lean proofs for these things are not just reward hacked solutions by finding Lean bugs? Maybe the papers are enough?
oh yeah btw guys we can do integer multiplication faster than n log n lol
I was definitely very surprised when this one came in lol
github.com/openai/math/tr…
Hey uh, @Keurig - what the hell is a COFFEE MACHINE uploading, let me double check...
ONE FUCKING TERABYTE OF DATA IN 10 DAYS!?!?
Immediately unplugging that. Getting my parents a new coffee machine.
