본문으로 건너뛰기
TEN Brief 하루 열 건, 확인된 것만 2026.08.09 EN
태그 허브

#Lean

Lean 관련 기사 2건을 모았습니다. 기사 12건이 모이면 이 주제의 검색에서 사이트 전체가 올라갑니다.

씨앗 · 2건 · 기준 문서 1

시간순 흐름

최근 2건
  1. 2026.08.09

    형식 증명이란 — AI의 수학을 '믿을 수 있게' 만드는 장치

  2. 2026.08.09

    AI가 수학 미해결 문제 10개를 건드렸다 — 필즈상 수상자의 인정

전체 기사

2건