AI의 다음 장면을 가장 빠르게 읽는 법

스타트업 배틀필드 200 참가마감 임박! 5월 27일까지 신청하세요!

스타트업 배틀필드 200에 참가하거나 추천받으려면 5월 27일까지 신청해야 합니다. 이 기회로 VC 접근, 전 세계적인 가시성, TechCrunch 보도, 10만 달러를 받을 수 있습니다. 지금 신청하세요!

교황의 AI 선언서가 사실은 AI에 대해 이야기하는 것이 아니야.

교황 레오 14세의 첫 번째 교서에서 인공지능(AI)을 통해 오래 전부터 존재하던 문제를 진단한다. 그 문제는 집권력이 집중되기 시작하고 민주주의가 약화되며, 기술 엘리트가 자신만의 이익을 위해 세상을 조종하고 있다.

클릭업의 대규모 해고가 우리에게 말하는 것

클릭업은 9년 동안 성장한 스타트업으로, 최근 대규모 해고를 발표했습니다. 이 해고는 수천 명의 인력을 대신할 수천 개의 인공지능 agent를 투입하기 위해 이뤄졌습니다. 이는 향후 직장의 미래에 대한 중요한 시사점을 제공합니다.

인공지능 시대에서 '깊이 인간다운' 삶을 살자

교황 레오 14세는 14일 발표한 첫 번째 주요 교황문서에서 인공지능(AI)과 무제한 기술력의 위험성을 경고했다. '인공 지능 시대의 인간을 보호하기 위한 선언'은 인공지능(AI)으로 장비된 전쟁의 위험성, 인공지능(AI)이 노동에 미치는 영향, [...]

GENSTRAT: Toward a Science of Strategic Reasoning in Large Language Models

arXiv:2605.23238v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly deployed as economic agents in marketplaces, auctions, and bidding settings. Anticipating their behavior i

Foundation Protocol: A Coordination Layer for Agentic Society

arXiv:2605.23218v1 Announce Type: new Abstract: Autonomous agents are moving from tools into a layer of social infrastructure: they browse, purchase, deploy software, manage systems, and increasingly

연구 5월 25일

AutoResearch AI: Towards AI-Powered Research Automation for Scientific Discovery

arXiv:2605.23204v1 Announce Type: new Abstract: Scientific research is being reshaped by AI systems that move beyond isolated assistance toward longer-horizon workflows spanning literature grounding,

Redrawing the AI Map: A Theory of Accountability Boundaries in Agentic Ecosystems

arXiv:2605.23179v1 Announce Type: new Abstract: Agentic AI orchestrators reduce the interface and assembly costs of composing information systems capabilities across organizational boundaries, seeming

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems

arXiv:2605.23109v1 Announce Type: new Abstract: AI agents increasingly excel at generating, testing, and refining code. However, they fall short on tasks requiring formal guarantees of full coverage t

PathCal: State-Aware Reflection-Marker Calibration for Efficient Reasoning

arXiv:2605.23074v1 Announce Type: new Abstract: The emergence of Large Reasoning Language Models (LRMs) has paved the way for tackling complex reasoning tasks through test-time scaling by generating l

The Deterministic Horizon: Impossibility Results as Design Specifications for Trustworthy AI Systems

arXiv:2605.23024v1 Announce Type: new Abstract: Large language models now write software, draft legal documents, and produce clinical notes, yet fundamental limits, from Turing and Arrow to the No Fre

EVE-Agent: Evidence-Verifiable Self-Evolving Agents

arXiv:2605.22905v1 Announce Type: new Abstract: Self-evolving agents should not train on examples they cannot justify. Data-free self-evolving search agents offer a scalable route to systems that gene

Mediative Fuzzy Logic: From Type-1 Foundations to Type-2, Type-3 and Quantum Extensions

arXiv:2605.22900v1 Announce Type: new Abstract: Mediative Fuzzy Logic was conceived as a practical scheme for reconciling hesitant or conflicting assessments in fuzzy control and decision-making. Howe

ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization

arXiv:2605.22885v1 Announce Type: new Abstract: Formal mathematics libraries are rapidly expanding, creating a growing need to refactor verified proofs for maintainability and to improve training data

Energy per Successful Goal: Goal-Level Energy Accounting for Agentic AI Systems

arXiv:2605.22883v1 Announce Type: new Abstract: Current AI energy benchmarks measure consumption at the granularity of a single model invocation or training run. For classical single-turn workloads th

SciAtlas: A Large-Scale Knowledge Graph for Automated Scientific Research

arXiv:2605.22878v1 Announce Type: new Abstract: The exponential growth of global academic output has confronted researchers and AI agents with an unprecedented ``information explosion,'' where fragmen

RMA: an Agentic System for Research-Level Mathematical Problems

arXiv:2605.22875v1 Announce Type: new Abstract: We present $\textbf{Research Math Agents (RMA)}$, an agentic framework for automated reasoning on research-level mathematical problems. Unlike prior stu

연구 5월 25일

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic

arXiv:2605.22874v1 Announce Type: new Abstract: Effectively translating between natural language (NL) and formal logics like Linear Temporal Logic (LTL) requires expertise that limits formal verificat

BOHM: Zero-Cost Hierarchical Attribution for Compound AI Systems

arXiv:2605.22866v1 Announce Type: new Abstract: Compound AI systems route tasks through hierarchies of specialised components. Attribution is dominated by Shapley-based methods (SHAP), which decompose

Everyone is navigating AI security in real time — even Google

We're in the transition period -- all of us.

Ubisoft reportedly testing generative AI in Far Cry 7, insider says it 'looks like sh*t' — company recently posted a record €1.3 billion loss

Ubisoft is using an early build of its unannounced Far Cry 7 as a testbed for generative AI tools, according to Tom Henderson of Insider Gaming.

I tried Amazon’s Bee wearable and am both intrigued and slightly creeped out

Like other AI wearables, Amazon's Bee offers an odd combination of convenience and privacy anxiety.

Hackers are learning to exploit chatbot ‘personalities’

This is The Stepback, a weekly newsletter breaking down one essential story from the tech world. For more on AI mischief, follow Robert Hart. The Stepback arrives in our subscribers' inboxes at 8AM ET