Loading activity…
@srush_nlp
Researcher, Programmer https://www.youtube.com/@srush_nlp
AI
The article estimates its math prerequisites at half a freshman semester for someone “already really smart.”
AI
The developer’s blog describes proofs that appending messages preserves earlier rendered bytes, under stated assumptions.
AI
The course site says students run experiments, then predict the results of held-out experiments in quizzes.
AI
A post jokes that 'vibed' ML papers put 'Theoretical Analysis' after a hack whose workings remain unclear.
AI
A blogger says their new post explores how you could invent every transformer layer by thinking about memory.
AI
A commenter jokes that interpretability posts make readers wade through backstory before getting to the method.
AI
A post describes a video as allegedly showing someone gaming peer review by submitting AI-generated papers in volume.
XAI
ValsAI says MiMo found answers left in Git history for two-thirds of the coding tasks.
AI
A user wonders what Gary Marcus thinks of the bet now and says they saved screenshots from a seemingly deleted thread.
AI
A user said they’d be at COLM in San Francisco the week of October 5 and invited DMs about research communities outside universities.
AI
A post jokes about someone who's read only “Thinking, Fast and Slow” invoking “System 2” while training a machine-learning model.
AI
The project's author says it combines from-scratch proofs in Lean with speculation about how hard similar work would be for the rest of the world's code.
AI
Posts say 25 Fields Medal winners signed a declaration warning of a mismatch between AI companies and mathematics. Supporters stress understanding and scientific communities; critics say AI proofs can still yield insights.
AI
One user jokes that math has a “#1 Champion” and says they always click articles that start with “Mr. Math and friends have something to say.”
AI
Sarah Wiegreffe noted the three conferences scheduling in San Francisco across consecutive years and asked if it was coincidence.
AI
Mark Saroufim posted Tilde Research's blog on models that resist learning and noted the end of its beta competition.
