Loading activity…
@_onionesque
Cultivated Abandon. Twitter interests: Machine learning research, applied mathematics, mathematical miscellany, ML for physics/chemistry, books.
AI
The video's description claims safe delegation depends on whether the panel's utility functions cover the principal's.
YouTubeAI
OpenAI says its claimed refutation of the Exponential Time Hypothesis was formalized in Lean and made public.
AI
One poster links data companies' earnings to frontier labs' lack of access to what they call “product surface.”
AI
A user calls something “the future of coding agents” but does not identify what they mean.
AI
A user argues the effort would not be a months-long project and would require a large team.
AI
A user recalls McAllester discussing the topic in 2012–14 and praises his positive outlook.
AI
A user predicts more intense talk of a coming catastrophic AI event as credit-default-swap spreads get “more interesting.”
AI
A user welcomes the perceived change, recalling questions about whether someone 'respects language.'
AI
A poster says almost any Stage 4 cancer patient would find human understanding of a working cure's mechanism irrelevant.
AI
One post argues that the AI moment may be unusual in how it concentrates unresolved issues into worldviews.
AI
A user shared the statement; another criticized people they said were attacking it while defending OpenAI.
AI
An arXiv paper describes workflows in which a generator proposes candidates and a cheap verifier scores them.
AI
OpenAI says it drew on an independent mathematics advisory group’s advice about how to release the results.
AI
A user joked that every second word they heard in the background at an SF bar was “AI.”
AI
A paper on arXiv notes that connections between conformal prediction and permutation tests are already widely known in the literature.
AI
A researcher urges junior researchers to hone their writing and think carefully about what individual words mean and evoke in readers.
AI
In a sarcastic follow-up, the user jokes that AI rumor spreaders now have their own “credentialed professional community.”
AI
The user’s experience-based comparison includes academic labs that measure AI capabilities and risks.
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
A user calls V4.1 “very brittle,” claiming it can see “massive gains” when AGENTS.md instructions are optimized for a particular scenario.
