misc. LM

m.s.s.

NotebookLM에서 정리한 다양한 주제를 팟캐스트로 모아 듣는 개인 아카이브입니다.

  1. 2 dgn geleden

    도널드 커누스와 클로드의 해밀턴 순환 분해 연구

    오늘 에피소드에서는 12년 된 대수학 난제를 80시간 만에 증명하고 도널드 커누스의 미해결 과제까지 해결하며 국제수학올림피아드(IMO) 금메달 수준에 도달한 최신 AI의 놀라운 수학적 추론 능력을 다룹니다. 이러한 눈부신 성과들은 AI가 단순한 코딩 보조 도구를 넘어, 스스로 논리적 추론을 거쳐 증명을 수행하고 자율적으로 알고리즘을 발견하는 진정한 과학 연구 파트너로 진화하고 있음을 보여줍니다. 하지만 동시에 기존 학습 데이터(MathLib)의 틀을 벗어난 새로운 수학적 정의나 낯선 연구 환경(TaoBench) 앞에서는 AI의 성능이 급격히 저하된다는 흥미로운 한계점도 함께 짚어봅니다. 이를 통해 AI가 일방적인 패턴 인식을 넘어 진정한 자율적 수학 및 과학 연구의 주역으로 자리 잡기 위해 앞으로 넘어야 할 과제와 그 혁신적 가치를 깊이 있게 조명합니다. 🔗 참고 소스 및 출처 'Essentially no human intervention': Chinese AI solves 12-year-old math problem in just 80 hours — and even proves it - TechRadar: 원문 바로가기AI Math Startup Cracks Four Long-Standing Unsolved Mathematical Problems: 원문 바로가기AI 추론·수학 성능 순위 2026 - AI인사이트: 원문 바로가기Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad - Google DeepMind: 원문 바로가기From AI Assistant to AI Scientist: Autonomous Discovery of LLM-RL Algorithms with LLM Agents - arXiv: 원문 바로가기TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib? - arXiv: 원문 바로가기https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf: 원문 바로가기

  2. 4 dgn geleden

    무한과 역설: 언어와 수의 계산적 복잡성

    이번 에피소드에서는 보르헤스의 '바벨의 도서관'에서 시작해 현대의 대규모 언어 모델(LLM)과 암호학의 난수 생성 알고리즘에 이르기까지, 무한과 무작위성이 교차하는 흥미로운 지적 여정을 떠납니다. 유한한 자원을 가진 시스템이 어떻게 무한을 모방하고 통제하는지, 수학적 역설과 자기 참조가 정보의 한계와 의미를 어떻게 규정하는지를 깊이 있게 파헤칩니다. 이를 통해 끊임없이 쏟아지는 데이터의 혼돈 속에서 기계와 인간이 어떻게 질서를 세우고 가치 있는 의미를 건져내는지에 대한 깊은 철학적, 계산적 통찰을 얻으실 수 있을 것입니다 🔗 참고 소스 및 출처 Algorithmic complexity - LessWrong: 원문 바로가기Large Language Models of Babel - ML@B Blog - Substack: 원문 바로가기Reality in Conclusion in - Brill: 원문 바로가기Simplicity and Complexity in Combinatorial Optimization - PMC - NIH: 원문 바로가기The Beautiful Deception: How 256 Bits Pretend to be Infinity - metafunctor: 원문 바로가기arXiv:1712.03113v1 [physics.hist-ph] 8 Dec 2017: 원문 바로가기보르헤스의 '바벨의 도서관'과 빅데이터 시대의 정보 관리: 정보 과잉 속 의미 찾기: 원문 바로가기붙여넣은 텍스트: (로컬 문서 파일)수학에서의 역설: 원문 바로가기알고리즘 정보 이론 - 위키백과, 우리 모두의 백과사전: 원문 바로가기제 13 장 난 수: 원문 바로가기

Info

NotebookLM에서 정리한 다양한 주제를 팟캐스트로 모아 듣는 개인 아카이브입니다.