[🏆베스트] o1 mini로 수학 증명에 성공한 수학자의 후기

[익명(121.178)]

너무 길어서 핵심만 가져옴

나머지 부분은 4o, 3.5 sonnet, gemini로도 같은거 해봤는데 다 실패했다는 내용들이  주를 이룸

현재 모델은 추론할 수 있다

- dc official App

[익명(shore1232)]

하지만 그럼에도 불구하고 수학적 결과의 진정한 깊이에 도달하기엔 갈 길이 멀다고 생각하는구만

[et(evgz6v8f9z)]

미니만으로도 저정도면 o2에서는.. - dc App

[익명(landofooo)]

진짜 자율연구 할듯

[익명(110.10)]

싹 다 가속시켜

[MoonChild(aowlr2001)]

[익명(1.237)]

근데 저 짤만 보면 다 비참하게 실패해서 한숨나온다는거아님? 현업이 보기엔 부정적인가본데?

[익명(121.178)]

3짤 참조

[익명(121.149)]

비참하게 실패했다는 내용인데 시발 ai로 수학 증명에 성공한 수학자 제목 주작으로 념글 ㅋㅋ

[익명(115.21)]

제발 미니 말고 프리뷰 쓰라고 병신 수학자야..

[익명(121.178)]

프리뷰는 실패했다함

[익명(115.21)]

난 난독이 맞는듯 ㄱㅅ

[익명(112.185)]

대체 뭘봄?

[익명(110.10)]

난독증 있는 사람들이 이렇게 많구나

[익명(222.110)]

“진정한 깊이에 도달하기까지는 갈길이 멀다” 라는데 “어떻게 증명에 성공한”이됌? 정말 몰라서 그럼

[익명(121.178)]

좋아... 방금 처음으로 "거룩한 +" GPT-o1 경험을 했어...클로드가 발명한 병목 이중성 증명을 살펴보게 했는데:버그를 발견했어버그를 고치려고 했는데 부등식 오류가 발생했어내가 이걸 지적하자, 새로운 접근 방식을 제시했어새로운 접근 방식이 영리하고 놀랍도록 우아해내 생각에는 맞는 것 같은데, 설령 틀렸더라도 정말 인상적이야===이 결과의 증명을 얻기 위해 문자 그대로 몇 주를 보냈어. 좋은 AI에서 - 그들은 계속 같은 아이디어들을 반복하면서 훈련 데이터에 의해 명백히 편향되어 있어, 패턴 매칭을 시도하는 것 같았어. 이건 이 결과를 증명하는 방법에 대한 진정으로 새로운 아이디어야.그리고 이건 o1-mini에서 나온 거야. 그들의 새로운 약한 모델이라고!

[익명(121.178)]

4짤 이미지 내용 번역임 걍 너무 길어서 일부분만 짤라온건데 전체적으로는 o1 mini에 깊은 인상받았다는 내용임

[도치도치(kabmmde28t8a)]

선형충 념글주작 - dc App

[익명(121.178)]

정보가져왔더니 주작소리듣노 ㅋㅋ

[도치도치(kabmmde28t8a)]

-선- - dc App

[익명(121.178)]

-난-

[도치도치(kabmmde28t8a)]

[익명(vain1419)]

두근거리는 마음으로 방명록을 들어가니 아니나다를까 나와 같은 생각을 한 반고닉이 보이는구나

[익명(210.205)]

보통 가정환경 씹창난 앰생들이 패드립 쓰면서 열내던데.. ㅋㅋㅋ

[도치도치(kabmmde28t8a)]

미안한데 너보다 우월한 인생인건 확신함. 비열한 분탕이랑 엮이는것도 불쾌하니까 차단박음 댓글더 달아도 의미없음 ㅂㅂ - dc App

[ㅁㄱㅌㅊ(39.122)]

에휴..........................

[익명(59.7)]

손바닥으로 하늘을 가린다고 가려지냐? 지 듣기에만 좋은 소리 골라 듣는 꼬라지 봐라 ㅅㅂ ㅋㅋㅋㅋ

[해삼이(jwp518048)]

뭐 경계선 지능장애 그런거냐

[익명(1.249)]

특평

[익명(219.251)]

증명했다는거 아님?

[익명(121.159)]

실패하다가 결국엔 증명햇다는 내용아님? 난독들 욀케많지?

[익명(119.207)]

얘들 대충 보고 부정적인 내용 같으면 다 안 읽고 내림

[익명(121.165)]

특갤 욕맥이는 주범임

[익명(jazz8881)]

불행하지만 이게 특갤의 현 주소임

[익명(1.222)]

특이점안오면 고독사밖에 안남은 저지능 무직백수들이 갤에 많아서 그럼

[ㄱㄴㄷㄹ(211.104)]

claude 3.5 : 수고했다