수능수학 AI SOLVIX 1.0 출시 예정!
게시글 주소: https://orbi.kr/00074286680
안녕하세요, TEAM SOLVIX입니다:)
우선 수능 D-100이 깨지며 목표를 향해 달려가는 수험생 여러분꼐 응원과 격려의 말씀을 보냅니다.
수개월 간 SOLVIX 개발팀이 밤낮을 지새며 완성한 SOLVIX 1.0이 세상에 나옵니다
아직 많은 개선이 필요하나 여러분들의 피드백과 함께 나아가기 위해 공개하겠습니다.
우선 출시 동기부터 말씀드리겠습니다.
사실 AI와 관련하여 여러 프로덕트가 쏟아지는 가운데
유독 수능판에서는 AI가 천대 받고 있다는 생각이 들었습니다.
왜 학생들이 AI를 사용하지 않는가에 대해서도 깊은 고민을 해보았습니다.
우선 가장 크게 생각나는 점은 AI가 수능에 최적화되지 않았다는 점입니다.
이제 gemini와 gpt 추론 모델이 대수롭지 않게 수능 정답을 맞추고 있습니다.
하지만 수능 수학을 공부하는 학생입장에선 답만 맞는 풀이는 의미가 없기에
한국 수능에 최적화된 문제풀이 AI를 개발하고자 하였습니다.
* "서울대학교 컴퓨터공학부 출신 AI 팀"으로 정정합니다.
그렇게 모인 최고의 팀이 수개월 간 연구하며 만들어낸 것이
바로 SOLVIX 1.0입니다.
우선 서두가 길었으니 바로 성능으로 들어가보도록 하죠,
M사 6모 대비 K모의고사(미적분) 기준 SOLVIX는 타 AI 대비 강력한 성능을 보여주었습니다.
수험생들에게 중요한 것은 정확도뿐만이 아니기에
LLM이 가장 빠른 답변을 내놓도록 몇십차례의 제로샷 테스트를 거쳐
정확도와 시간 모두 기존 LLM 대비 압도적으로 높은 성능으로 개발하였습니다.
다음과 같이 사진을 올리기만 하면,
SOLVIX가 풀이를 고민합니다.
이후 10초~3분 내로 SOLVIX는 수능 수학만을 위한 풀이를 내놓게 됩니다.
(문항 난이도에 따라 분류 후 추론 모델 선택이 들어갑니다)
이렇듯 SOLVIX 1.0은 수백번의 테스트를 통해 오직 수능 수학을 위한 AI로 태어났습니다.
실제 SOLVIX가 내놓은 답변 예시(251130)]
1. 문제 분석 및 전략수립 (조건 해석)
함수 f(2)= Sin(aa +6+sin a)가 주어졌으며, a는 1≤ a≤ 2인 상수,
6도 상수입니다.
(가) 조건: f(0)= 0 및 f(2)= 2πa+ b 입니다. f(0) = sin(a*0+6+ sin0) = sin(b).
f(0) = 0이므로 sin (6) = 0입니다. 따라서 b= kπ (단, k는 정수)의 형태를 가집니다.
f(2pi)= sin(2πa + b+ sin2π) = sin(2πa + 6). 주어진 조건에 의해 sin(2πa + b) = 2πa+ 6가 됩니다.
sin x = x가 성립하는 유일한 실수는 x = 0일 때이므로, 2a+ b = 0이어야 합니다.
이 두 결과를 종합하면 b=-2πa이며, k= -2a (단, k는 정수)라는 중요한 관계를 얻습니다.
a의 범위 1≤ a≤ 2를 적용하면 4≤-20≤ -2이므로, 정수 k는 {-4,-3,-2} 중 하나가 됩니다.
(나) 조건: f'(0)= f'(t)인 양수 t의 최소값이 4π입니다. f'(x)= cos(ax+ b+sinx) (a+cosx)입니다 (합성함수 미분).
f'(0)= cos(b)(a+cos0) = cos(b)(a+ 1) 입니다.
6= kπ 이므로 cos(B)=(-1)k입니다.
a ≥ 1이므로 a+1> 0입니다.
이 조건은 f'(x)의 그래프의 대칭성 또는 주기성에 대한 정보입니다. t= 2π와 같은 지점에서는 f'(t)=f'(0)이 성립하지 않아야 한다는 뜻으로 해석하여 a, b를 특정할 수 있습니다.
극대점 집합 A: f(x)가 2= s 에서 극대인 s 값들 중 열린구간 (0, 4ㅠ)에 속하는 모든 값들의 집합입니다.
극대점은 f'(a)= 0이면서 f'(a)의 부호가 양에서 음으로 바뀌는 지점입니다.
f(x)= (a+ cosx) cos(ax + 6+ sina)에서 a+ cos x 의 범위를 고려해야 합니다.
a = 3/2일 때 3/2+ cos 2는 항상 양수( (1/2,5/2)임을 활용하면, f'(x)의 부호는 cos(ax+ b+ sinx)의 부호에 의해 결정됩니다.
(개념 연결)
삼각함수 특수성질: sin x= x <=> x= 0이라는 강력한 성질을 이용하여 a와 b 사이의 관계를 확정합니다.
미분과 극값: 도합수 f'(x)를 구하고, f'(a)= 0인 점들을 찾은 후 도함수의 부호 변화를 통해 극대점을 판별합니다.
함수의 그래프 및 대칭성: 조건 (나)의 '최솟값 4π'라는 정보를 통해 f'(x)가 특정 주기를 가지거나 특정 대칭성을 가지지 않음을
역으로 이용하여 a, b를 확정하는 것이 핵심입니다. a+ Cos a의 범위를 파악하고, Cos(x)의 값을 통해 f'(x)의 부호를 추론하는
'직관이 필요합니다.
치환을 통한 간소화: 복잡한 ax+ b+ sin x를 새로운 함수 h(x)로 치환하여 f(x)의 형태를 간소화하고, h(x)의 증가성을 활용하여 극대점 조건을 체계적으로 분석합니다.
(풀이 전략)
1. 조건 (가)를 이용하여
b=-2πa 및 k =-2a (단, K는{-4,-3,-2})를 확정합니다.
2. k의 각 경우(a= 1,a= 3/2, a= 2)에 대해 f'(0)을 계산하고, f'(a)=f'(0)을 만족하는 양수 t의 최소값이 47임을 이용하여 올바른 a, 6 값을 찾아냅니다.
특히 t= 2ㅠ에서 f'(2pi)= f'(0)이 되어야 함을 검증합니다.
3. 확정된 a, 6값을 이용하여 f(a)=-sin(h(2)) 형태로 f(a)를 재정의합니다.
(여기서 7(2)= 0a+ sin ar)
4. f'(2)를 통해 1(2)의 증가성을 확인하고,
f' (a)의 부호 변화를 분석하여 극대점 조건을 (z) = 2mㅠ+ 용 형태로 찾습니다.
5. mE(0,4ㅠ) 범위에서 h(a)의 범위를 계산하고, 이 범위 내에서 극대점 조건을 만족하는 h(a) 값들의 개수 n을 찾습니다. 6. 가장 작은 h(a) 값에 대응하는 2r 값을 1으로 결정합니다. 7. 구해진 m, 01, , 6값을 최종식 701 ab에 대입하여 계산하고, P+ 9를 구합니다.
2. 상세 풀이
1. a, b 값의 확정 조건 (가)로부터 b=-2aπ 및 k=-2a E {-4,-3, -2}를 얻었습니다.
함수 f'(x) 는 f(x)= Cos(aa+6+sina)- (a+cosz) 입니다. f(0)= cos(6)(a+ 1) 입니다. 각 & 값에 따라 a, 6를 대입하여 조건 (나)를 검토합니다.
경우 1: k=-4 , a=2, b=-4ㅠ f(0) =cos(-4π)(2+1) =1.
.... 중략
*줄바꿈 태그 없이 개발 중인 화면입니다. 출시될 모델은 더욱 향상된 모델을 함양합니다.
현재 개발과 웹 구현이 거의 완성된 상태이며 빠를 시
이번주 토요일 출시 예정입니다.
현재 성능은 매우 다중적인 경우가 함양된 케이스 외에 97%의 정확도를 보이고 있습니다.
마지막으로 명예의 전당 시스템을 구현해두었습니다:)
여러분들의 참신한 풀이가 SOLVIX를 더욱더 똑똑하게 만듭니다!
추후 전당 시스템과 함꼐 다양한 이벤트를 진행할 예정이니 많은 참여 부탁드립니다!
SOLVIX와 함께,
수능 수학 100점을 향해 나아가세요!
NeoQ, Solvix 1.0
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
왜 1 2 3회가 아니고 0 1 2회로 나오죠
-
안녕하세요 9
반갑습니다
-
폭주기관차
-
처음 앎..잇올 다녀서 신청했는데 현장응시도 안되고 OMR처리가 줄가능해서 성적표도...
-
으흐흐
-
입결 보고 대학 가지마 20
2010초 나노과 붐 -> 통폐합 2010후 컴공 붐 -> AI 발전으로 개발자...
-
사문 도와주실분 6
헤드마스터님 n제 문제입니다 아이패드로 글쓰고있어서 오타 많으니 유의해주새요ㅠㅠ ㄹ...
-
나눠서 들어도 되나 지금 미적 김기현 교재 사기엔 돈이 아까워서 별로면 걍 현우진커리 유지함
-
다들 화이팅
-
꿈같은 현실 2
현실같은 꿈 나는 누구고 여긴 어디인가 어디에서 와서 어디로 가는가 모르겠도다 아무...
-
왜냐면 이제부터 기다림이 24시간이 넘을 때마다대가리를 존나 쎄게 쳐서 제 머릿속을...
-
재능인가요
-
여태 과금목록 블아 1,263,720원원신 1,876,958+원붕스...
-
나 현역때 과탐 종료시간 5분인지 7분인지 순간 당황해서 문제 풀다가 쓸때없이...
-
멘탈 갈렸는데 정오사항이…
-
D-92 3
저녁은 쌀국수
-
안녕하세요 현역 국어 관련 질문입니다..ㅠㅠ 한번만 꼭 봐주세요 4
제가 평가원 지문이나 리트, n제를 한 지문씩 따로 풀 땐 정확도나 이런건 높은거...
-
ㅈㄱㄴ
-
여기 23수능 현장에서 보신 통통이 선배님 계시나요 4
있으면 안되는거 같긴 한데 수학 직접 풀때 느낌이 어떠셨나요
-
:) 1
-
발목 아작났네 3
내일 알반데 ㅅㅂ
-
당연히 고정 100이면 언매가 더 미친놈이긴한데 애초에 공부 존나하는 미적->을...
-
풀고 채점 풀고 채점 이거만 하는거임? 저는 다 풀고 답지 간단하게 비교 해보고...
-
사문 처음인데 윤성훈쌤이 더 낫나요 임정환쌤이 더 낫나요?
-
내가 맹들어 먹을거임
-
정당한 운임 요금을 지불한 후 개찰구를 통해 나와 계단을 통해 5번 출구로 나갈...
-
찍맞도 대부분 2개일거라서 운좋아봐야 2~3점 올라가는거라서 독해력 약한 애들...
-
어제 찍은곳
-
안녕하세요, TEAM Solvix 입니다. Solvix 1.0 정식 출시에 앞서...
-
사회문화 커리 4
재수생이고 원래 생지하다 7월에 사탐런해서 지금 윤성훈 개념완성 기출분석 끝났는데...
-
성적표 온라인으로 보려고하는데 대성학력개발연구소 사이트에서 아무리 뒤져도 16자리...
-
ㄹㅇ이해안되는거 9
수학 개념 노트정리 하는 년들 ㄹㅇ뭐임?엌ㅋㅋㅋㅋㅋㅋ
-
화작 1컷 85점 언매 1컷 84점 유불리 완전히 없애버림. 정상화 올해 드가나?
-
성능자체는 ㄱㅊ은데 뭘 얘기해도 내 생각 좀만 섞으면 "정확합니다" "탁월한...
-
Tqtqtqtqtqtqtqtqtqtqqqqqㅆㅂㅃ!!!! 2
어느 한적한 베드타운의 고등학교에서 우리반에 고양이가 들어와 인분과 물을 뿌리고...
-
-
언매<이샛기 10
담요단st 공부법 말고는 시발 못하겟는데 ㄹㅇ어케함 언매 말고도 암기과목은 ㄹㅇ...
-
맛점 2
오늘의 메뉴는 우동
-
기출 복습시키려는 의도가 강하게 느껴짐요
-
1. 공부 더 많이 한다고 수면패턴 깨지않기 2. 9모 때 잘치거나 못쳤다고 공부...
-
난이도 어떰? 낼부터 1회씩 풀건디
-
정병호두 6
-
-
기출 풀었는데 거의 다 맞길래 비문학만 하는중인데 이러면 ㅈ됨?
-
고2 모고는 2-3 뜨고 학원에서 고3 모고 보면 또 2는 뜨는데 네추럴프리덤이랑...
-
지문 읽다가 잠든지도 몰랐네... 어쩐지 문제 갔는데 기억이 하나도 안나더라 ㅅㅂ
-
지금까지 15 22는 거들떠도 안봤는데 실력이 안오르는 이유가 킬러를 걸러서 그런가 싶어요
-
강기원t vs 박종민t vs 김현우t, 중에 누구 듣는게 좋을까요 강기원t 많이 어려운가요?
-
늦게일어나서
-
수능때 문제지에 샤프외에 다른 색깔이 있으면 안된다라는 규정은 없고, 수능장에서...
댓글에 많은 피드백을 남겨주세요!
여러분의 응원과 비판이
Solvix 1.0을 더욱더 똑똑하게 만듭니다!
+ 좋아요 좀 눌러주세요ㅜㅜ 핫게 가고싶어요
이런게 필요했어요와 좋은데요
제가보기엔 이거 발전시켜서 강사들한테 해설지 외주 맡아서 한다고 하면
진짜 사업 잘될듯요
맞아요! 저희도 B2C 검증 이후 각 현강 강사별 특수풀이를 탑재하여 B2B로 나아갈 생각입니다!
구독형에는 광고X, 해설 첨삭 등 사용자가 자신의 해설을 입력하면 AI가 해설 판단 후 첨삭하는 기술 탑재 예정입니다!
오오 정말 수험생들을 위해 자발적으로 만드셨다기에는 너무 큰 노고가 들어갔을거같네요...ㅎㄷㄷ 출시되면 감사히 사용하겠습니다!
감사합니다:) 응원은 정말 큰 힘이 돼요!바로 스크랩
오 문제 만들고 이거로 오류검사 해봐야겠다 ㅋㅋ
발견적으로 문제를 풀어줄까요?
Q사와 가장 큰 차이점입니다. 통계를 참고하여 푸는 것이 아닌 AI 자체 성능을 키웠습니다.
210921(가) 풀이가 궁금하네요... 발견적 과정으로 푸는 문제의 극치인데
한 번 테스트 해보도록 하겠습니다.
아무래도 현재 기본적 transformer기반 LLM 자체가 귀납적 성격이 강하다 보니 그 부분을 중점적으로 줄이려 노력했으나 발견적 풀이만큼의 사고가 나올 진 미지수입니다.
발견적 추론=귀납 추론=개연 추론이라서요. 귀납적으로 푸는 것이 좋을뿐만 아니라 오히려 평가원이 발견적으로 푸는 것을 권장하고 있다고 생각합니다.
이런 피드백이 너무나 좋습니다ㅜㅜ
개발할 때 방향성에 큰 도움이 됩니다.
최대한 평가원스럽게 만들어 볼게요!
벡터나 공간도형 같은 기하 문제 넣어서 풀려보고 싶네요기하는 아직 공통 미적 확통에 비해 월등한 성능은 안나오지만 최대한 그래프 최적화를 하려 노력중입니다..!
기술뿐 아니라 수능 컨텐츠들도 세월이 흐를수록 발전해간다는 걸 느낍니다.감사합니다:)
와아ㅏ 멋있네요
와ㅏㅏ
제 자작문제 오류 있는지 확인할 때 요긴하게 쓸 수 있을 거 같애요!!
감사합니다!
(그런데 solvix 이름은 멋있는데요
구글에 쳐보니까 이미 이름있는 동명의 외국 ai 업체가 가장 상단에 뜨던데 알고 계셨어요?
디게 좋은 사이트 같은데 검색에서 묻힐까봐 조금 걱정되네요ㅠ
국내 타겟이라 상관 없으려나요)
네 맞아요! 상표권상 문제 없다는 답변 받았습니다.
현재 초기 개발 서버 열어 놓았습니다:)
지피티로 수능 수학 돌려보면
답은 맞지만 풀이 과정에서 사람은 할 수 없는 풀이를 구사하거나, 쌍곡함수, 역삼각함수를 도입하여 교육과정을 벗어나는 경우가 많았는데
이건 어떨지 몰라도 제대로 작동한다면 큰 도움이 될 듯하네요
유용한 도구가 되기를 기원해 봅니다
감사합니다:) 많은 도움이 되도록 노력하겠습니다
기존에 정립된 좋은 풀이들은 충분히 구사할 수 있겠지만 해설지 보다보면 기존에 없던 참신한 풀이들이 빈번한데, B2B로 방향을 잡아 성공하게 된다면 N제, 모의고사 등의 해설지에서 참신한 풀이들이 사라지고 해설지 질의 저하가 일어나진 않을까요?
저희가 생각중인 B2B는 각 강사별 특화 풀이를 학습하여 대형 학원의 새벽 조교 인건비를 아끼는 것입니다.
각 학원별로 자신의 강사풀이를 AI로 학습하고자 합니다.
어디까지나 계획입니다:)
얼마인가요??
가격 정책은 고민중입니다.
마음 같아선 무료로 풀고 싶지만
토큰 비용이 상당히 나가서
아마 구독자 여러분들께
더 좋은 서비스를 제공하는 쪽으로 갈 것 같네요.
확실한건 부담스럽지 않은 가격으로 하고자 합니다.
무료 베이직 프로 세 단계로 나뉠 것 같습니다.
토큰 비용이나 서버 비용을 고려하면 구독료가 있어야 하긴 하겠지만, 모든 수험생에게 개인용 최적화 해설지를 제공한다는 점에서 정말 매력적이네요!
감사합니다:) 최대한 부담되지 않는쪽으로 노력해보겠습니다!
아마 광고로 어느정도 적자는 매울 수 있을 것 같습니다!
교육과정 해설서나 수학 교육과정 총론을 보면 고등학교 수준에서 요구되는 수학적 사고방식이나, 용어와 개념의 한계가 명시되어 있어서 사전 학습 단계에서 가이드로 삼을 수 있을 것 같아요
정확하시네요, 자세한 개발 과정은 알려드리기 어려우나 그 부분이 중점적으로 들어갑니다.
이러면 인강강사가 필요 없겠는데
과찬이십니다ㅎㅎ
인강이 있는 이유는 정보전달의 매체의 특성도 크다 생각합니다:)
직접 모델 서빙도 하시는건가요?
여러 방식으로 구축해서 가장 나은 방식을 택했습니다.
자세히 알려드리긴 어려우나 경량 모델 사용 등에서 self, external 혼합형입니다.
유료버전인가용
무료 유료
둘 다 풀 것 같습니다!
제발야무지게개발해주세요수학문제검토도하고해설도써야하는데지금일밀린건오지게많아서답이없는상태에요흑흑
기대에 맞는 성원으로 보답드리겠습니다!
와 미쳣다... 아니 안그래도 확률과통계 문제 지피티한테 문제 물어보면 한번도 답이 맞은 적이 없어서 왜이러나싶었는데 ㅠㅠ넘기대돼용!!
감사합니다 ㅎㅎ:)
구독형 쓰면 풀이 첨삭도 해준다는건가요?
맞습니다:)
멋지다..
논술 문제도 풀수있나요?
가능은 하나 저흰 초기모델은 수능에 초점을 잡았습니다. 스킬들을 탑재하려 노력해서 아마 논술 문제 질문 시
논술에 완벽한 답안이 나올지는 미지수이나 개발 진행 중입니다. 아마 논술 버전은 추후 출시될 것 같습니다.
오.. 새로운 도전 응원합니다.
저도 머리속으로만 상상해보고 한달동안 독학해서 비슷한 서비스를 한번 만들어봤었는데
아무리 생각해도 '유료'로 gemini를 구독하는 것보다 더 경제적인 옵션을 제공할 수 있을까? 에 대해 의문이 들어 개발을 포기했었습니다..아무래도 비 전공자가 하려다보니 좀 한계가 있더라구요..
어둠의 대치동스킬도 넣고싶었는데 흑흑 교과서식 풀이만 가능하더군요.
맞아요, 사실 대치동 스킬이야 넣을 수 있다만 저흰 저작권이 제일 문제라 그 경계를 찾는 것이 굉장이 어려웟어요, 또한 RAG 기반 개발 중이신 것 같은데 아마 한계가 있고 토큰 비용도 감당하기 어려우셨을겁니다.
이를 위해 저희도 매일 고민하며 발전시키고 있어요!
관심과 격려 감사드립니다!
와 이정도면 그냥 개인조교쌤아닌가 ㄷㄷㄷ
감사합니다 ㅎㅎ
아직 발전시킬 부분이 많아요
사람을 완전히 대체하긴 어렵겠지만
시공간적 제약을 없애는것이 목표입니다:)
이정도면 인강 강사까진 아니어도 최소한 대학생 조교쌤 이상은 될거같아요 ㄷㄷㄷ
혹시 몇가지만 여쭤바도 될까요?
1. 혹시 유료버전은 토큰 n개를 구매하는 형태인가요? 아니면 월정액처럼 한번 구매하면 그 기간동안은 무제한사용?
2. 사진 화질이 떨어지는 경우에는 그 숫자를 추론하나요, 아니면 사용자에게 다시 질문을해서 재확인하나요? (개인적으로 후자였으면 좋겠네요.)
3. 사진을 보면 이미지만 넣고 글을 못적는 거 같은데 그 기능 만들어주실 수 있나요? (ai의 풀이 중 이해가 안되는 부분을 질문하고 싶습니다.)
4. 사진을 찍어서 넣다보면 본인이 연필로 끄적인 부분도 같이 찍히는 경우가 들어갈텐데 그 부분은 알아서 거르나요?
1. 저희 가격결정 회의에서 가장 많이 나오는 점입니다.
무료 사용자들의 적자를 유료사용자들의 흑자로 메꿔야합니다. 그런데 사용량이 매우 많을시 대규모 적자가 나게 됩니다. 이를 위해 대규모 SaaS 사용자에게 충분한 월 사용이후 상급 추론모델 이용량에 이용량 과금을 하는 방안이 있습니다.
생각해본 방안으론 여러가지가 있으나 서비스 품질과 토큰 비용은 비례하는 것이 정론이라 이를 저희가 개선하기 위해 최대한 노력할 것입니다.
2. 유사도 검정 기능을 탑재하여 어느정도는 걸러지나 그 기준이 매우 주관적입니다. 우선 어느정도는 걸러지나 서비스 품질을 위해 깔끔하게 찍기를 권장드립니다.
3. 프로, 울트라 모델에선 첨삭기능과 질문 챗봇을 탑재하려합니다. 자세한 정보는 추후 다시 알려드리겠습니다.
4. 전처리 과정에서 어느정도는 거르지만 모델 특성상 완전히 거르긴 힘듭니다.
개선해보겠습니다.
우왕... 정성스러운 답변 감사합니다! 출시될 solvix 기대댑니다...!
제 수학 선생님이 곧 만들어진다니 두근두근하군요 ㅇㅅㅇ
제 돈을 갖다바치겟습니다 ㅋㅋㅋ
한국 점유율 챗지피티를 제치고 1위가 되는 그날까지 응원드리겟습니다!
감사합니다ㅎㅎ
개발자분들과 팀원분들 모두 댓글 유심히 읽으며
피드백에 반영중입니다:) 이런 질문 정말 감사합니다
요즘 ai 통해 수많은 가치 창출이 발생하고 있는데 ,Solvix 팀의 카테고리는 수능 수학이네요!
생각만 해본 내용을 구현시키시다니 멋집니다 응원할게요!
감사합니다:) 아직 상용화가 안된 곳에서 해보고 싶었습니다:)