01
Observe
문서, 정리, 실험값과 현장 데이터를 읽습니다.
MATHEMATICAL INTELLIGENCE
세상의 문제를수학이 다루는 형태로.
RYUL은 흩어진 법칙·정리·현장 데이터를 연결해 질문을 만들고, 구조화하고, 검증 가능한 답을 도출하는 수리지능을 개발합니다.
REASONING SIGNALSYSTEM COHERENT
R
관찰
구조
추론
검증
f'(xt) = t
H''(t) > 0
P(answer) = 1
carrier / 04paths / 17checks / pass
RYUL / STATUS 2026
2026 울산창업 L-Series 선정 · UNIST 기술 고도화 · 기업 현장 PoC 협의
01—0401 / TECHNOLOGY
WHY RYUL
더 큰 모델보다, 더 선명한 구조.
좋은 답은 계산량만으로 만들어지지 않습니다. 어떤 법칙이 연결되고, 어느 조건이 결과를 바꾸며, 무엇으로 답을 검증할지 먼저 구조화해야 합니다.
02
Structure
공유 상태와 인과 관계를 수학적 구조로 엮습니다.
03
Reason
가능한 질문과 해법을 생성하고 경로를 추론합니다.
04
Verify
정확성·유일성·우회 경로까지 독립적으로 검증합니다.
02 / PRODUCTS
WHAT WE BUILD
하나의 코어, 세 개의 현장.
RYUL의 수리지능 코어는 교육 콘텐츠부터 연구·산업 문제, 기업의 반복 업무까지 각 현장의 언어로 구현됩니다.
01
RYUL / EDU
교육용 수리지능
대학 수학의 정리와 메커니즘을 고교 교육과정의 표면으로 변환하고, 풀이·난도·정답 유일성을 함께 검증합니다.- 모의고사 문항 생성
- 블라인드 풀이 검증
- 문항 통계
02
RYUL / LAB
연구·산업 PoC
논문, 물리 법칙, 관찰 데이터를 연결해 연구자가 실제로 검증할 수 있는 가설·계산·의사결정 구조를 설계합니다.- 수리 데이터 형식화
- 도메인 모델
- 연구 워크플로
03
RYUL / LOCAL
로컬 AI 에이전트
기업 내부 문서와 업무 규칙을 외부 유출 없이 연결해 견적·자재·검토 같은 반복 업무를 자동화합니다.- 문서 표준화
- 온프레미스
- 업무 자동화
03 / SYSTEM
FROM SIGNAL TO RECEIPT
문제가 들어오고, 검증 가능한 구조가 나옵니다.
RYUL은 답만 출력하지 않습니다. 어떤 입력이 어떤 법칙과 경로를 거쳐 결론이 되었는지, 다시 확인할 수 있는 검증 기록까지 함께 설계합니다.
01 / 05
Input
논문·정리·문서·관찰값을 원래 맥락과 함께 수집합니다.
04 / APPLICATIONS
IN THE FIELD
교실과 연구실, 기업 현장은 같은 질문에서 시작됩니다.
무엇이 반복되고, 어떤 구조가 빠졌으며, 성공을 무엇으로 증명할 것인가.
01EDUCATION
문항이 계산 연습으로 무너지지 않게
“어떤 구조가 없으면 이 문제는 풀리지 않는가?”
대학 수학의 이름은 숨기고, 핵심 인과 구조와 난도는 끝까지 보존합니다.
Lemma corpusMechanism DAGStudent surfaceBlind audit
02LAB · INDUSTRY
관찰 데이터가 다음 질문을 만들게
“어떤 법칙과 경계조건이 현상을 갈라놓는가?”
문헌·수식·측정값을 연결해 연구자가 반증할 수 있는 작은 PoC부터 만듭니다.
LiteratureObservationsHypothesisExact check
03LOCAL AGENT
문서가 실제 업무 흐름 안에서 움직이게
“어떤 필드와 규칙이 사람의 반복 판단을 붙잡는가?”
사내 데이터를 밖으로 보내지 않고 기존 견적·자재·검토 양식에 맞춰 자동화합니다.
HWP · ExcelSchemaLocal modelOriginal format
05 / PRINCIPLES
OPERATING PRINCIPLES
검증할 수 없는 지능은 배포하지 않습니다.
01CAUSAL
인과 구조
함께 등장하는 정보가 아니라, 한 경로가 다른 경로의 상태를 실제로 바꾸는 구조를 찾습니다.
02EXACT
정확한 검증
생성 모델의 자기평가에 의존하지 않고 기호 계산, 반례 탐색, 독립 풀이로 결론을 확인합니다.
03LOCAL
데이터 주권
민감한 기업 문서와 연구 데이터는 가능한 한 현장 안에서 처리하도록 설계합니다.
ABOUT RYUL
수학적 구조를 데이터와 모델 사이의 공용어로.
RYUL은 고교 수학 문항 생성에서 시작해, 연구와 산업의 복잡한 문제를 작고 검증 가능한 단위로 바꾸는 수리지능을 개발하고 있습니다.
NOW
교육용 수리지능 · 기업 현장 PoC
NEXT
도메인별 수리 데이터 · 경량 모델
VISION
연구·산업용 Mathematical Foundation
06 / CONTACT
START WITH ONE BOTTLENECK
현장 문제를 하나 가져오세요.
30분 동안 현재 작업, 보유 데이터, 성공 기준을 함께 쪼갭니다. 수리지능이 적합하지 않다면 억지로 만들지 않습니다.
연락 채널이 정해지면 그대로 전달할 수 있는 간단한 미팅 요청문을 만듭니다.