Joel Borgen's 'The Receipt Horizon' is a hard science fiction novel where protagonist Elara Lindholm explores a world of uploaded minds, hidden governance, and a superintelligent system that ended an AI war. The story focuses on institutional structures governing humans and emulated humans, delving into complex issues of consent and control.
The chart will appear after repeat observations. The current metric comes from the source.
7 source pointsReal observations only. History before source connection is not reconstructed.
The book offers a deep analysis of institutional structures and ethical dilemmas in a superintelligence world, which may be useful for readers interested in philosophy and the future of technology.
The article critically examines Lean4, a formal verification tool, highlighting its current limitations and potential vulnerabilities. It discusses concerns about the reliability of Lean4's proofs and the possibility of undetected bugs, including references to specific issues like 'soundness bug #14576' and the creator's warnings about AI exploiting these flaws.
4 days agoLessWrongThe author expresses frustration with calls for people to 'drop everything and pivot to AI safety,' noting that there are many talented individuals in the field but few job opportunities. They highlight that fellowships and job openings in AI safety are highly competitive and offer high salaries.
4 days agoLessWrongThe article discusses the distinction between AGI-pilled and ASI-pilled individuals, as well as challenges related to the potential superiority of artificial intelligence over humans. The author expresses concern about the future of freedom and democracy in the context of rapid technological development.
4 days agoLessWrongThe current alignment strategies of major AI labs include shaping the model's character, applying extensive RL pressure, racing towards prosaic RSI, and evaluating and fixing alignment through trial-and-error. These approaches are considered problematic due to the rapid growth of capabilities and the instability of alignment methods.
20 hours agoLessWrongThe post discusses the importance of clear thinking in empirical AI safety research, emphasizing fast iteration through efficient problem-solving and the use of scientific frameworks. The author shares insights from their apprenticeships at MATS and Redwood Research, focusing on finetuning-based misalignment auditing and sabotage capability evaluations.
16 hours agoLessWrongThis document provides an overview of monitoring practices for internally deployed agents at frontier AI companies, focusing on OpenAI (OAI), Anthropic, and Google DeepMind (GDM). It highlights that most monitoring is done asynchronously, with some real-time automated classifiers used for agent actions. However, there is limited public information about GDM's specific practices, as much of the data comes from their control roadmap, which outlines suggestions rather than confirmed implementations.
6 days ago