Researchers are already significantly improving on OpenAI’s recent math results, verified in Lean
OpenAI의 수학적 성과가 무용지물이라던 비판을 비웃듯, 연구자들이 며칠 만에 Lean으로 검증된 개선안을 내놓으며 성과를 입증하고 있음.
"이런 쓰레기 같은 증명들에서 배울 게 하나도 없다!"는 변명은 이제 끝난 듯하네.
OpenAI의 수학적 증명 결과가 빠르게 개선되고 있다는 점에 대해, 그 실용성과 증명의 가치를 두고 사용자들 사이에서 활발한 논의가 이어지고 있음.
아무것도 배울 게 없다던 사람들 다 어디 갔냐, 사람들이 며칠 만에 경계값을 좁히고 있는데.
정신승리 진짜 대단하네. 결과 깎아내리려고 별소리를 다 함.
걔네는 수학 박사 학위 가진 사람들이 이제 기하학 수업 듣는 학생 같은 경험을 다시 하게 돼서 빡친 거임.
"여기 지식 다 있다!" 아니 이걸 다 읽고 한꺼번에 받아들이라고??
그래서, 뭘 배웠다는 건데? 결과 그 자체 말고.
내가 경계값을 5.9* 10^-10으로 개선함 https://github.com/jamesyc/integer-mult-bounds
이거 어디에 쓰이는 건지 궁금하네?
며칠 만에 했다는 게 대단하려면 원래 경계값 구하는 데 훨씬 오래 걸렸어야지. 이거 개선되기 전에 OpenAI가 원래 결과 내는 데 얼마나 걸렸는지 아는 사람?
'이런 쓰레기 같은 증명에서 배울 게 없다'던 말이 일주일 만에 우유처럼 썩어버리는 거 보니까 웃기네. Lean으로 검증까지 됐으니 이제 아무도 대충 얼버무릴 수 없을걸.
사실 하루밖에 안 됐음
인상적이네! 이제 사람들이 분명히 이런 식으로 말하기 시작할 거임: "1조 비트짜리 숫자 두 개를 곱할 때, 수학적 증가율의 개선은 거의 체감되지 않을 거다." 맞는 말이긴 함. 하지만 어쨌든 이건 우리가 이전엔 몰랐던 증명임.
순수 수학이지. 거의 쓸모는 없지만 그래도 흥미로움.
솔직히 아무도 안 그러지. 다들 그냥 AI에 넣고 개선되는지 확인하는 중임.
무슨 AI만 있으면 아무나 다 할 수 있는 것처럼 말하네. 내가 보기엔 그냥 똑똑한 사람들이 AI 써서 더 효율적으로 일하는 것뿐인데.
하하! 맞음. 음... 미안한데, 이 증명에서 뭘 배웠음? 아니면... 음... 그 증명들 중 뭐라도? 설마 다 읽고 최소한 하나는 이해한 거겠지? 아니면 이해도 못 하는 거에 어떻게 의견을 낼 수가 있음?
준소수(semiprimes)를 거의 선형 시간에 소인수분해하는 방법이 툭 튀어나오기 전까진 다 쓸모없지. 그러고 나면 사람들이 갑자기 엄청나게 관심을 가질걸 😄
OpenAI의 수학 문제 해결을 비판하는 성명에 대해 수학계의 권위주의적 태도라며 반발하는 여론이 지배적입니다.
OpenAI의 수학 문제 해결을 비판하는 성명에 대해 수학계의 권위주의적 태도라며 반발하는 여론이 지배적입니다.
Claude Code에서 비용 효율적인 Haiku 5.5를 서브에이전트로 활용하는 방법과 설정 팁을 공유합니다.
Claude Code에서 비용 효율적인 Haiku 5.5를 서브에이전트로 활용하는 방법과 설정 팁을 공유합니다.
AI로 생성된 워크래프트 영상에 대한 반응으로, 이전의 고양이 영상이 더 감동적이었다는 의견과 캐릭터 디자인에 대한 논의가 주를 이룸.
AI로 생성된 워크래프트 영상에 대한 반응으로, 이전의 고양이 영상이 더 감동적이었다는 의견과 캐릭터 디자인에 대한 논의가 주를 이룸.