LLM이 추론할수있다고 하지만
일상적이고 기본적인 질문조차 제대로 답변못하는데
수학같은 형식체계 갖춘 분야도 마찬가지
뭔가 발전하고있다는 걸 증명은 해야겠고
점점 발전속도는 로그함수화 되고있고
수학 난제가 ai 홍보수단이 되버린느낌
수학문제 나오면
클라우드에서 파이썬 돌려서 답내는데 씨발
이게 어케 LLM 추론임 ㅋㅋㅋ
LLM이 추론할수있다고 하지만
일상적이고 기본적인 질문조차 제대로 답변못하는데
수학같은 형식체계 갖춘 분야도 마찬가지
뭔가 발전하고있다는 걸 증명은 해야겠고
점점 발전속도는 로그함수화 되고있고
수학 난제가 ai 홍보수단이 되버린느낌
수학문제 나오면
클라우드에서 파이썬 돌려서 답내는데 씨발
이게 어케 LLM 추론임 ㅋㅋㅋ
이번엔 검증한 사람 많아서 믿을만 하긴 함
ai가 가진 자원 생각하면 저거 풀줄알면 다른거도 술술 풀어서 6개월안에 난제가 다 정복되야함 . 꼬롬하게 ai hype할려고 뒤에서 뭔수작질하는건줄 알게뭐누 ㅋㅋ
@글쓴 수갤러(39.124) 이번엔 필즈상 수상자나 전에 gpt가 증명한거 오류 지적한 수학자도 검증했는데 풀이 맞다고 해서
아닌것도 있는거고 맞는것도 있는거지 뭐 죄다 스캠이겠니
보증선 사람이 없는줄 아는거임? 아니면 Lean이 뭔지 모르는거?
AI 존나멍청하던데 내가 재미나이 119000원짜리 쓰는데 씨발 팩트체크 존나 해야하고 가끔 헛소리함;