Hacker News가 주목한 Leanstral, Mistral의 Lean 4용 open verified coding agent
2026년 3월 16일 Hacker News에서는 Mistral의 Leanstral 공개가 277 points와 49 comments를 기록했다. Lean 4 proof engineering에 맞춘 Apache 2.0 open model과 FLTEval benchmark 결과가 커뮤니티의 관심을 끌었다.
카테고리
Insights의 LLM 기사
2026년 3월 16일 Hacker News에서는 Mistral의 Leanstral 공개가 277 points와 49 comments를 기록했다. Lean 4 proof engineering에 맞춘 Apache 2.0 open model과 FLTEval benchmark 결과가 커뮤니티의 관심을 끌었다.
NVIDIA는 March 11, 2026 Nemotron 3 Super를 공개했다. 120-billion-parameter hybrid MoE 구조와 12 billion active parameters, 1-million-token context, high-accuracy tool calling을 결합한 open model이라는 설명이다.
OpenAIDevs는 2026년 3월 16일 Codex에 subagents가 추가됐다고 밝혔다. 이 기능은 메인 context를 가볍게 유지하면서 specialized agent에 작업을 병렬 분산하고, 실행 중인 각 thread를 따로 steer할 수 있게 해주며, 공식 문서에는 PR review와 CSV batch fan-out 패턴까지 이미 정리돼 있다.
2026년 3월 13일 r/singularity에서는 Anthropic이 Opus 4.6과 Sonnet 4.6에 1M context를 일반 공개하고, 별도 long-context premium 없이 표준 토큰 가격을 적용한다는 발표가 주목을 받았다.
2026년 3월 12일 LocalLLaMA 게시글은 4x RTX PRO 6000 Blackwell 환경에서 Qwen3.5-397B NVFP4의 지속 decode 최고값이 Marlin 기준 50.5 tok/s라고 주장했다. 이유는 SM120에서 CUTLASS grouped GEMM 경로가 실패하거나 느린 fallback으로 떨어지기 때문이라는 설명이다.
OpenAI는 2026년 3월 10일 IH-Challenge를 공개하며 frontier LLM의 instruction hierarchy 동작을 개선하면 safety steerability와 prompt injection 저항성을 함께 높일 수 있다고 밝혔다. 회사는 추가 연구를 위해 데이터셋도 Hugging Face에 공개했다.
Perplexity는 2026년 3월 11일 Agent API를 공개하며 search, tool execution, multi-model orchestration을 하나의 managed runtime으로 묶겠다고 밝혔다. 이번 출시는 Perplexity를 단순 답변 인터페이스보다 production agent workflow용 인프라에 더 가깝게 위치시킨다.
Perplexity는 2026년 3월 12일 X에서 Computer를 Pro 구독자에게도 개방했다고 밝혔다. 회사는 20개 이상 advanced model, prebuilt/custom skills, 수백 개 connectors 접근을 내세우며, Max 구독자는 월별 credit과 더 높은 spend limit를 받는다고 설명했다.
GitHub는 2026년 3월 13일 X에서 Copilot SDK와 Remotion을 연결해 WhatsApp 메시지 하나로 5분 안에 홍보 영상을 만드는 데모를 공개했다. GitHub 공식 blog는 Copilot SDK를 앱 안에 planning, tool invocation, file edit, command execution을 내장할 수 있는 programmable layer로 설명한다.
GitHub는 2026년 3월 15일 X에서 Copilot CLI의 `/fleet` 명령을 전면에 내세웠다. GitHub 공식 Copilot CLI 소개는 `/fleet`를 여러 sub-agent가 같은 작업을 병렬 수행한 뒤 하나의 결과로 수렴하는 workflow로 설명한다.
LocalLLaMA의 release post는 OmniCoder-9B를 425,000개 이상 agentic trajectory로 학습한 Qwen3.5-9B 기반 coding agent로 소개했고, 댓글은 read-before-write 같은 실제 작업 습관에 주목했다.
Sebastian Raschka의 LLM Architecture Gallery는 최근 open model 계열을 한 페이지의 비교 가능한 다이어그램으로 묶어 dense, MoE, hybrid design 차이를 빠르게 파악하게 해 준다고 HN에서 호응을 얻었다.