Wow, uh, congrats…. Yacine? On your first and only valid arXiv Bangers repost submission
Some bingo player just got mad rich lmao which one of you is it?
🚨 BANGER BREAKDOWN: KEY PAPER ALERT 🚨
Safetywashing: Do AI Safety Benchmarks Actually Measure Safety Progress?
Spoiler: Most don't. Here's why that's a BIG problem.
👇👀 #AISafety (Based and True?) #AIEthics
🚀 Excited to announce that DeepSeek-Prover-V1.5-RL has surpassed 20,000 downloads in the past month! Huge thanks to the #LLM4Lean community for your support and interest in our work. Stay tuned for more advancements! #AI#TheoremProving#DeepSeek
i am absolutely convinced that, yes, pre-training results on existing benchmarks aggressively asymptote, but our existing benchmarks profoundly suck
gpt-4 and friends are lunar missions, and we're gonna fall into a post-space age slump if we stop scaling pre-training
Of course that's your contention. You're a first-year FAANG exec who just got promoted onto the AI Ethics committee. You just got finished skimming some watered-down 'Pause AI' manifesto — probably written by GPT-4o larping as Yuval Harari.
"Well, actually, I've read extensively
