P vs NP 问题
Search documents
Harness Engineering 为什么是 Agent 时代的“控制论”?
海外独角兽· 2026-03-18 04:17
Core Insights - The article discusses the concept of "harness engineering," introduced by OpenAI, where engineers design environments and rules for agents to code, rather than writing code directly [2][13] - This shift in engineering roles reflects a broader historical trend in technology, where the focus has moved from manual operation to designing systems that operate autonomously [9][15] - The evolution of engineering practices is linked to the development of feedback loops that allow for automated adjustments in systems, a concept rooted in cybernetics [3][15] Group 1: Historical Context - The first instance of this pattern occurred in the 18th century with James Watt's centrifugal governor, which automated the regulation of steam engines, changing the role of workers from manual adjustments to designing the governor itself [9] - The second instance is the emergence of Kubernetes, which allows engineers to declare desired states for applications, shifting their focus from manual service restarts to writing specifications for system alignment [10] - The current instance involves engineers using AI agents to generate code, with OpenAI reporting that a team generated approximately one million lines of code in five months without manual coding [13] Group 2: Feedback Loops in Coding - Codebases have existing feedback loops through compilers, testing suites, and linters, but these only address lower-level issues and do not automate higher-level architectural decisions [16] - The introduction of large language models (LLMs) enables the potential for feedback loops to close at critical decision-making levels, allowing agents to assess and modify code quality [16][22] - However, successful implementation requires careful calibration of sensors and actuators within the system, as demonstrated by Nicholas Carlini's work with agents building a C compiler [18][22] Group 3: Challenges and Solutions - The main challenge lies in translating the engineer's knowledge of system quality and architecture into a format that agents can understand, as agents do not autonomously learn or adapt [22] - Effective solutions include creating comprehensive documentation, automated testing, and encoding architectural decisions into machine-readable formats, which are essential for successful agent operation [23][24] - The cost of neglecting these practices has increased significantly, leading to widespread issues in code quality and technical debt, which agents can exacerbate if not properly calibrated [23][24]
已证实!清华姚班陈立杰全职加入OpenAI,保留伯克利教职
机器之心· 2026-01-15 03:52
Core Viewpoint - Lijie Chen, a prominent young scholar in theoretical computer science and a Tsinghua University "Yao Class" alumnus, has officially joined OpenAI as a full-time researcher while on leave from UC Berkeley [1][2]. Group 1: Academic Background - Lijie Chen graduated from Tsinghua University and obtained his PhD from MIT, excelling in computational complexity theory [2]. - He was a standout competitor in informatics competitions, winning a gold medal at the National Olympiad in Informatics (NOI) in 2011 and achieving first place globally at the International Olympiad in Informatics (IOI) in 2013 [6]. - During his undergraduate studies, he shifted focus from programming competitions to theoretical computer science research, earning a special scholarship at Tsinghua University [8]. Group 2: Research Contributions - Chen published a paper at FOCS as an undergraduate, becoming the first Chinese undergraduate to do so, addressing an open problem in quantum statistical zero-knowledge proofs [10][12]. - His doctoral research led to significant breakthroughs in computational complexity, circuit complexity, and pseudorandomness, earning multiple best student paper awards at top theoretical computer science conferences [13]. - He proposed a potential path to bypass the "natural proofs" barrier, demonstrating that certain problems are hard under weak circuit models, which could imply P ≠ NP [14]. Group 3: Current Position and Future Prospects - After completing his PhD, Chen received the Miller Fellowship at UC Berkeley, allowing him to focus on cutting-edge topics with complete academic freedom [16]. - He joined UC Berkeley's Electrical Engineering and Computer Sciences department as an assistant professor in July 2025, continuing his teaching and research endeavors [17].