요약:
열흘도 채 되지 않아 수학의 세계는 최고의 롤러코스터를 경험하게 되었습니다! 지난 10월 6일 OpenAI는 AI가 준리만 가설을 입증했다고 주장했습니다. 수학자 알렉스 콘토로빈(Alex Kontororvin)은 다음과 같이 직설적으로 말했습니다: 만약 누군가 이 결과를 발견한다면 그는 긴장하지 않고 즉시 필즈상을 받을 것입니다!
그는 나중에 Siegel이 없으면 0점을 획득하면 '필드 메달 2개'로 간주될 수 있다고 덧붙였습니다.
다른 학자들도 긍정적인 평가를 내렸습니다.
이것은 실리콘 기반 생명체가 인간에게 차원을 감소시키는 타격일 뿐입니다!
그러나 일부 사람들은 항복하거나 물러나지 않았습니다.
이제 AI의 도움으로 수학자들은 일반화된 리만 가설의 일부 형태를 입증했습니다!
며칠 만에 좋은 소식이 연달아 들어왔습니다.
이 준리만 가설의 결과는 중요한 계산 복잡성 결과를 가져옵니다.
Burgesser는 Valiant의 추측을 입증했습니다. 복잡한 분야에서는 VP입니다! = VNP
그 후 세 명의 인간 수학자들이 궁극적인 승리를 거두며 19년 동안 풀리지 않았던 고전적인 문제를 완전히 풀었습니다.
그리고 그들은 다음과 같은 성명도 남겼습니다:
이 작업에는 인공지능 도구가 사용되지 않았습니다.
이 작업에는 인공지능 도구가 사용되지 않았습니다.
밤새 공격하세요! 인류가 주도권을 되찾았습니다
10월 6일, OpenAI는 어떤 영감이나 깨달음도 얻지 못했습니다. 그들의 AI는 마치 슈퍼 불도저 같았고, 준리만 가설을 격렬하게 증명했습니다.
정수 이론가인 Hector Pasten은 OpenAI가 Landau-Siegel 0을 제외한 결과에 대해 명백히 놀라움을 표하며 이것이 단순한 진전이 아니라 '해결된 문제'임을 강조했습니다.
일부 네티즌들은 Claude Fable 5.5에게 OpenAI의 199페이지에 달하는 준리만 가설에 대한 증명을 설명해 달라고 요청했고 평가는 매우 높았습니다.
이것은 제로 포인트가 없는 최초의 고정 간격입니다.
이것이 리만 가설 자체는 아니지만, 이 진술이 사실이라면 현재로서는 리만 가설에 가장 가까운 결론입니다.
그러나 AI가 이러한 수준의 기본 구조까지 꿰뚫어 볼 수 있다면 인간 수학자에게는 어떤 가치가 있을까요?
공황이 수학계에 퍼졌습니다.
그러나 진정한 주인은 한탄하지 않을 것입니다. 이제 길이 깨끗해졌으니 액셀을 밟고 전진하세요!
단 6일 후인 10월 12일, 사전 인쇄 플랫폼인 헥사곤(Hexagon)에 갑자기 새로운 논문이 등장했습니다.
저자는 인간 수학자 Cureton과 Thorner입니다.
링크: https://hexagonmath.org/2610.00200v1
봄과 가을을 애도할 시간도 없었다. 대신 그들은 극도로 사악한 눈빛으로 대담한 행보를 보였다:
팬.
AI가 다듬은 도구를 더 광범위하고 복잡한 수학적 객체인
유한차 Hecke L 함수
에 직접 적용했습니다. .L 함수란 무엇인가요? 리만 제타 함수의 "궁극적으로 진화한 버전"입니다.
현대 정수론에서는 페르마의 마지막 정리와 같은 훌륭한 증명이 거의 불가분의 관계에 있습니다.
Cureton과 Thorner는 AI가 제공하는 준리만적 혁신을 사용하여 놀라운 결과를 얻었습니다.
모든 유한차수 Hecke L 함수는 "1-1/6000"의 오른쪽에 0이 전혀 없습니다.
링크: https://hexagonmath.org/pdf/2610.00200v1
이해가 안 되셔도 상관없습니다. 비유를 사용하려면.
0점은 바다의 암초와 같습니다.
과거 이 해역은 안개로 가득 차 있어 선박의 이동이 어려웠습니다. 이제 두 명의 수학자들이 AI 레이더를 이용해 강제로 '안전지대'를 그렸다.
이 지역에는 암초가 전혀 없습니다.
안전지대가 설정되었습니다. 첫 번째 영토는 인간에게 빼앗겼습니다.
하지만 재미는 이제 막 시작되었습니다.
익스트림 퓨리: 1/6000부터 1/32까지의 극도의 목 졸림
1/6000이 등장한 순간, 전 세계 수학광들의 DNA가 움직였습니다.
너무 작습니다. 너무 보수적입니다.
이미 문틀이 헐거우니 벽도 철거해 보는 건 어떨까요?
오픈소스 해커톤이 전 세계를 휩쓸며 순식간에 폭발했습니다.
세계에서 가장 똑똑한 두뇌는 인터넷을 통해 연결되어 이 상수를 한계까지 압박하기 시작합니다.
집단 교살이 시작되는 현대 수학의 가장 열정적인 장면이다.
논리가 무자비하게 간소화되었습니다. 오류는 뼈가 벗겨지고 구체화됩니다. 경계는 계속해서 바깥쪽으로 밀려납니다.
1/1000. 1/500. 1/100.
상수는 자유낙하처럼 급격하게 줄어듭니다!
결국 전체 커뮤니티는 이 "제로 포인트 프리 존"의 보안 경계를 극도로 과장된 숫자인
1/32
로 고정했습니다. .
안전지대가 수백배 확대되었습니다!
실수를 두려워하시나요? 인간의 직관이 신뢰할 수 없을까 봐 걱정되시나요? 상관없습니다. 기계로 직접 가서 확인하세요!
오픈소스 커뮤니티는 가장 무자비한 심판을 사용했습니다.——
린 정리 증명자
.이것은 데드 로직만 허용하는 형식적 검증 언어입니다. 작은 논리적 공백이 있으면 프로그램이 중단됩니다.
관련 증명은 오픈 소스 Github에 있는 수학 에이전트 AxiomProver가 생성한 공식 Lean 증명입니다.
https://github.com/AxiomMath/DedekindZetaZeroFree
1/32의 경계는 인간에 의해서만 추론되는 것이 아니라 기계 논리에 의해서도 설정됩니다.
부산물은 이것뿐만이 아닙니다.
검 하나로 목을 봉쇄하라! 19년간의 미해결 문제가 청산되었습니다
모든 준비, 모든 카니발이 오늘 이 순간을 기다리고 있습니다.
arXiv 사전 인쇄 플랫폼에서 Frei, Somos 및 Widmer가 공동 서명한 블록버스터 논문이 나왔습니다.
https://arxiv.org/abs/2610.18491
OpenAI가 촉발한 학문적 쓰나미가 마침내 가장 단단한 바위를 산산조각냈습니다.
대상:
2007년 엘렌베르그-벤카테시 경계.
이것은 대수적 정수론 측면의 가시입니다.
2007년에 두 명의 수학 거물이 숫자 필드 그룹 ℓ-비틀림에 대해 매우 완벽한 극한을 제시했습니다.
그러나 여기에는 치명적인 결함이 있습니다.
조건부라는 점입니다.
이른바 '공중의 성'이다.두 거인의 증명은 '일반화된 리만 가설(GRH)이 성립한다'는 전제에 기초해야 합니다.
전제가 무너지면 결론은 즉시 무효가 됩니다.
지난 19년 동안 수많은 최고 학자들이 이 목발을 제거하고 일어서려고 노력했습니다. 모두 실패했습니다. 도구가 없기 때문이죠. 왜냐하면 밑에 있는 암석이 아직 파헤쳐지지 않았기 때문입니다.
오늘까지.
프레이, 소모스, 위드머는 앞의 일행이 장악한 '1/32 안전지대'를 보았다.
이것이 그들이 19년 동안 기다려온 기지입니다!
세 검객은 망설임 없이 88개의 검을 뽑았다.
그들은 최신의 0이 없는 영역 결과를 이전 방정식에 적용했습니다. 한때 끊어졌던 논리적 사슬은 강력한 새 이론의 지원으로 즉시 연결됩니다!
파생. 단순화하십시오. 살인자. 결론은 눈부시다:
2007년에 Ellenberg-Venkatesh의 숫자 필드 그룹의 ℓ-비틀림 경계가 무조건적으로 증명되었습니다.
더 이상 가정하지 마세요! 더 이상의 전제조건은 없습니다! 공중에 떠 있던 성은 갑자기 땅바닥에 무너져내려 무적의 강철 요새로 변했습니다!
19년의 유령이 소멸되었습니다.
대수학 정수론의 핵심 퍼즐 조각이 인간에 의해 꽉 눌려졌습니다.
AI는 쓸모가 없어요
여기서 이야기가 끝난다면, 이것은 매우 성공적인 학술 릴레이일 뿐입니다.
그러나 이 논문을 정말 마술처럼 만드는 것은 마지막 문장입니다.
19년 문제의 종식을 알리는 장의 마지막 부분에서 프레이, 소모스, 위드머는 AI에 대해 장황한 탄식이나 아첨을 표하지 않았습니다.
그들은 차갑고 유머러스하며 다소 무자비한 발언만을 남겼습니다:
본 작업에는 어떠한 인공지능 도구도 사용되지 않았음을 선언합니다.
물론이죠.
이 문장은 뺨을 크게 때리는 것과도 같으면서도 길고 경쾌한 포효와도 같습니다.
댓글