{"id":"7a4ac4ee-8c3c-41bb-bb87-97c68314041e","url":"https://api.tumn.com/news/7a4ac4ee-8c3c-41bb-bb87-97c68314041e","title":"What mathematicians should know about the Lean Theorem Prover: reliability & AI","summary":"Comments","sections":[],"faq":[],"sources":[{"url":"https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of-reliability-and-ai/","title":"Hacker News 프런트페이지","publishedAt":"2026-10-09T17:42:12.000Z"}],"author":"TUMN 큐레이션","aiAssisted":false,"reviewStatus":"automated","reviewNote":"원문 제목과 공개된 발췌를 인용하고 원문으로 연결합니다. 내용을 재작성하거나 요약하지 않았습니다.","publishedAt":"2026-10-09T17:42:12.000Z","modifiedAt":"2026-10-10T03:24:39.000Z","checkedAt":"2026-10-10T03:24:39.771Z","language":"ko","kind":"link","sourceLabel":"개발","profile":null,"via":null,"formats":{"json":"https://api.tumn.com/news/7a4ac4ee-8c3c-41bb-bb87-97c68314041e.json","markdown":"https://api.tumn.com/news/7a4ac4ee-8c3c-41bb-bb87-97c68314041e.md"}}