https://news.hada.io/topic?id=34910
722개의 수학 난제들에 대한 증명을 openai가 드랍했습니다. 거의 모든 수학난제의 거의 20퍼센트에 해당하는 내용이라고 하네요. 리만가설에 대한 엄청난 진전내용도 포함되어 있습니다.
내부모델로 풀었고 증명엔 하나의 에이전트로 3시간정도 걸린 수준의 것도 있었습니다. 프롬프트는 거의 한줄수준이었다는 얘기가 있습니다. 대략 이문제 증명해봐 였을려나요.
작년 11월에 ai가 난제 풀었던 소식에 제가 글을썼는데
반응이 아직 멀었다는 반응과 과장이고 호들갑 스캠이라는 반응이 꽤 있었는데요. 이제 그런분들은 없을 것 같군요.ㅎㅎ
https://www.clien.net/service/board/park/19102364CLIEN
lean으로 증명되었고
피어리뷰 검증은 이제 시작일 것 같습니다만 대체로 lean으로 증명되면 오류는 거의 없는 것으로 알고 있습니다.
그래서 수학계가 난리가 난거죠.
재밋는것과 영광은 ai가 다 가져가고 뒤치닥 거리가 산더미처럼 생겼으니까요
그 고통을 말로 다 못하겠네요 참
몇십년간 해당문제를 풀려고 고민하던걸 반복했던 수학자는
헤어진 연인이 사망했다는 소식을 들었다는 느낌과 비슷했다고 합니다.
허망하다는 느낌이지 않을까 싶습니다.
그런가봅니다 gpt님 충성충성ㅎㅎ
제 생각을 솔직히 말씀드리자면 인간의 개입은 생산에 병목입니다.
그냥 ai가 다 하는게 아마도 생산성이 더 높을 겁니다.
바둑은 AI에게 져도 인간끼리의 경쟁은 계속 가지만
여긴 목표 자체가 사라져버리니...
마지막으로 인공지능을 이긴 허준이
한국인들요.
마지막 선진국 진입이라는 퍼즐이 맞춰지고 이제 지구는 사람이 살기 힘든 곳이 점점 되어가는거 아닌가 라는 생각이 드네요
이 우주의 고도화된 문명은 다 멸망하고 우리만 마지막으로 남은거 아니냐는 과학자들의 얘기가 있었는데 ...
내가 수천만번의 시뮬레이션을 해 봤는데...
결국은 약품이나 시술등의 방법으로
뇌를 비롯한 신체의 능력향상을 꾀할거라고 봅니다
조만간 초파리 뇌 지도 처럼 사람 뇌 지도도 완성될텐데 그 이후엔 어떻게 될지 감도 안오네요.