태그

수학 기술 블로그 글

수학 태그가 달린 국내 IT 기업 기술 블로그 글을 최신순으로 모았습니다.

전체 3개최신 3개 표시

수학 분야 AI 진전 공유

Sharing AI progress in mathematics

OpenAI가 내부 프론티어 모델의 신규 수학 결과를 GitHub와 Lean 형식화로 공개했습니다. Simons Foundation에 500만 달러를 기여해 수학자의 검토와 후속 연구를 지원합니다.

2026년 8월 1일

Ten advances in mathematics and theoretical computer science

OpenAI가 내부 Astra로 수학·이론 컴퓨터 과학의 장기 미해결 문제 10건 성과를 공개했습니다. 논증은 인간이 원고화하고 Lean 인증서로 형식화했으며, 추론 과정도 함께 제공합니다.

2026년 6월 17일

매 세션 초기화되는 AI의 한계를 넘어 자율 성장하는 에이전트 프레임워크 GNOSIS를 소개했습니다. 설계 원칙, 구현 사례, 검증과 안전 보장 논점을 함께 다뤘습니다.