Loading activity…
@chrszegedy
#deeplearning, #ai research scientist. Opinions are mine.
AI
Axiom calls the formalization complete and computer-verified, describing original work of about 15,000 pages.
XAI
Its builder says it reproduced OpenAI's findings using CPU contention, cache eviction timing and DRAM bandwidth contention.
XAI
A user linked to an arXiv paper they described as fixing the issue; another user praised the work.
XAI
Two posts point to security incidents and urge AI-assisted defenses; one specifically calls for faster vulnerability detection and patching.
AI
The creator's sibling says the site mixes jokes and Easter eggs with real worry about AI.
AI
The creators say experts formalized the problems in Lean and built Leanimum-agent to compare models under one harness.
AI
A user frames the choice around how an AI’s intelligence compares with their own.
AI
A post argues that training AI for elegant proofs would be far easier than teaching it to produce valid ones.
AI
A post describing a Meta paper says the model uses a network of associative memories instead of standard attention.
AI
A post argues most AI progress measures tracked exponential growth in 2023–2026, while capital spending grew slightly super-exponentially.
AI
A poster says they expect economic effects over the next two years if AI is paused for 10 years.
AI
A user shared the statement; another criticized people they said were attacking it while defending OpenAI.
AI
A user wonders what Gary Marcus thinks of the bet now and says they saved screenshots from a seemingly deleted thread.
AI
AcerFur used the line while quoting an earlier post, without explaining what “it” refers to.
AI
A researcher recalls three attendees claiming a speaker’s work had been done a few, 10 and 20 years earlier.
AI
OpenAI says it drew on an independent mathematics advisory group’s advice about how to release the results.
AI
In an exchange on X, tszzl argued mechanistic interpretability is a minimum requirement for turning AI alignment into an engineering discipline. Neel Nanda joked about the tradeoff, and Geoffrey Irving pushed back on calling any current subfield necessary.
AI
Elon Musk used the phrase ‘biological bootloader’; another poster recalled him linking a similar view from Larry Page to starting OpenAI.
AI
A post quotes AI as a 'superhuman specialist' that's 'sub-human at running itself,' then speculates about what that gap could lead to.
AI
A user calls the predicted wait the “Navier-Stokes effect,” saying Nobel committees won’t consider them for prizes anytime soon.
