On the mechanical creation of mathematical concepts
이 논문은 문제 해결을 신념 업데이트 루프로 모델링하고, 기존 어휘 내에서의 탐색 최적화 (암묵적 개념) 와 새로운 이동 수의 도입 (명시적 개념) 을 구분하며, 명시적 개념의 창안이 수학적 발견의 핵심이자 현재의 AI 가 달성하지 못한 영역임을 주장합니다.
🔢 Category
math.HO
14 편의 논문
Research projects and Moscow Mathematical Conference for high school students
이 논문은 과학적 새로움을 목표로 하지 않는 연구 프로젝트를 통해 고등학생이 실수 수정, 투명한 익명 동료 검토, 그리고 상을 통한 인정을 거쳐 자연스럽게 과학 연구의 기본 과정을 경험할 수 있도록 하는 모스크바 고등학생 수학 회의의 경험과 원칙을 공유합니다.
Estimating with a Coin
이 논문은 동전 던지기를 통해 를 추정하는 간단한 몬테카를로 방법을 제시하며, 기존 확률론 문헌에 암묵적으로 존재하던 카탈란 수 항등식을 바탕으로 한 에 대한 새로운 해석을 제공합니다.
Mathematical Proof
이 논문은 미적분학 계산에서 추상 수학으로 전환하는 학부생을 대상으로 논리, 증명 기법, 집합, 실수의 완비성 등 수학적 증명 기초를 다루는 한 학기 분량의 강의 노트를 소개합니다.
Celebrating Women in Mathematics
이 논문은 여성 수학자들을 기념하고 격려하기 위한 전 세계적 '5 월 12 일' 이니셔티브의 기원과 주요 행사, 그리고 메리암 미르자카니부터 잉그리드 도부치에스까지 수학 분야에서 획기적인 업적을 남긴 여성들의 업적을 간략히 소개하고 있습니다.
A catalog of interesting and useful Lambert series identities
이 논문은 람베르트 급수 생성 함수의 주요 성질과 그 일반화를 개관하고, 다양한 특수 경우에 대한 항등식과 표를 수록한 종합적인 카탈로그를 제공하며, 해석학적 수렴 조건보다는 수열의 형식적 성질과 조합론적 응용에 중점을 둡니다.
Invariants of almost embeddings of graphs in the plane
이 논문은 평면 내 거의 매장 (almost embeddings) 그래프의 불변량들 간의 관계를 증명하고, 이를 그래프의 삭제된 곱 (deleted product) 의 호몰로지와 연결하며, 대수적 및 기하학적 위상수학의 핵심 아이디어를 비전문가도 이해할 수 있는 언어로 제시하고 있습니다.
Semantic Search over 9 Million Mathematical Theorems
이 논문은 arXiv 등 920 만 개의 수학적 정리를 대상으로 자연어 설명을 활용한 대규모 의미 기반 정리 검색 시스템을 구축하고, 전문가가 작성한 평가 세트를 통해 기존 방법보다 뛰어난 검색 성능을 입증했습니다.
English translation of Sophie Kowalevski's "On the problem of the rotation of a rigid body about a fixed point"
이 논문은 1889 년 프랑스어로 발표된 소피 코발레프스카야의 고전적 연구인 '고정점 주위의 강체 회전 문제에 대하여'를 영어로 번역하고 디지털화한 것입니다.
Peacock's Principle as a Conservative Strategy
이 논문은 페어콕의 영속성 원리가 비가환 대수에 의해 무효화되었다는 주장을 반박하고, 이를 휴메의 사고 법칙 개념에 기반한 보수적 전략으로 재해석하여 해밀턴이 쿼터니온 개발 시 이 전략을 따랐음을 입증합니다.
Hyperbolic elliptic parabolic disks approximated by half distance bands
이 논문은 쌍곡 기하학의 벨트라미 - 케일리 - 킬링 모델에서 정의된 타원 포물선 원판이 반 거리 띠에 근사되는 정도를 면적과 둘레를 기준으로 정밀하게 분석하고 있습니다.
Blackwells Demon: Postdiction and Prediction in Random Walks
이 논문은 통계적으로 균질한 시스템에서 불균질성을 활용하여 동전 던지기로 생성된 랜덤 워크의 방향을 1/2 보다 높은 확률로 예측할 수 있는 '블랙웰의 악마'라는 새로운 개념을 소개하며, 이는 두 봉투 문제의 변형에서 발생하는 직관에 반하는 상황을 보여줍니다.
Discovering mathematical concepts through a multi-agent system
이 논문은 실험, 증명 시도, 반례 탐구 등의 상호작용을 모방한 다중 에이전트 시스템을 통해 폴리헤드론 데이터와 선형대수 지식을 바탕으로 호몰로지 개념을 자율적으로 재발견하고, 이러한 국소적 과정들의 최적 조합이 수학적으로 흥미로운 개념을 효과적으로 도출할 수 있음을 입증합니다.
Mathematicians in the age of AI
이 논문은 AI 가 수학 연구 수준 정리를 증명할 수 있게 됨에 따라 수학자들이 최신 기술을 파악하고 연구 방식의 변화를 고려하여 새로운 도전과 기회에 적절히 대응해야 한다고 주장합니다.