AI가 11개 정사각형의 최적 배치 증명했지만, 그 '불만족스러운' 모습에 Reddit 사용자들은 혼란에 빠졌다.
Reddit 원문
https://www.reddit.com/r/singularity/comments/1wzf641/astra_and_claude_prove_the_best_known_square/
작성자
Hyperreals_
작성일
2026-10-07 12:02:04 (10/7)
본문 요약
Astra와 Claude AI가 Lean을 활용해 11개 정사각형을 가장 작은 정사각형 안에 배치하는 최적의 방법이 현재까지 알려진 방식과 동일함을 수학적으로 증명했습니다. 이는 1979년 이후 가장 잘 알려진 배치였으나, 이제야 최적임이 공식적으로 입증된 것입니다.
댓글 요약
배치 형태에 대한 반응: 많은 사용자들이 최적으로 증명된 11개 정사각형의 배치가 시각적으로 '매우 불만족스럽다', '역겹다', '멍청이처럼 보인다' 등의 격한 반응을 보이며 불쾌감을 표현했습니다. 최적 포장 문제 설명: '최적 포장'의 의미를 묻는 질문에 대해, 이는 11개의 단위 정사각형을 담을 수 있는 가장 작은 크기의 정사각형을 찾는 문제이며, 중력이나 물리법칙과 무관한 수학적 문제라고 설명되었습니다. 최적 정사각형의 한 변 길이는 약 3.87708359로 제시되었습니다. 수학의 보편성 논쟁: '수학이 모든 우주에서 통용되는가'에 대한 깊이 있는 논쟁이 벌어졌습니다. 공리계와 논리가 물리법칙과 독립적이라는 주장과, 우주마다 근본적인 공리 자체가 다를 수 있다는 주장이 대립했습니다. AI와 증명 과정: 이 증명이 OpenAI의 프로젝트와는 별개로, 수학자들이 공개 모델과 적은 비용의 클라우드 컴퓨팅을 사용하여 이루어졌다는 점이 언급되었으며, AI가 계산 비용이 많이 드는 수학 문제를 해결하는 데 기여하는 가능성에 대한 긍정적인 평가도 있었습니다.
관련 태그
#정사각형 포장 #최적 배치 #11개 정사각형 #AI 증명 #Lean #수학적 최적화 #기하학 #Reddit 반응
※ 본 정보는 AI에 의해 자동 생성되어 오류가 있을 수 있으며, 법적 책임을 지지 않으니 원본을 반드시 확인하시기 바랍니다.
토론 (댓글)
아직 작성된 댓글이 없습니다. 첫 번째 댓글을 남겨주세요!
다른 글 보기
"상태 기계 없이 이 움직임이 가능하다고?" 스스로 판단하고 행동하는 로봇에 레딧 유저들 깜짝!
(Distinct-Question-16 | 8/4)
[0]
#휴머노이드 로봇 #로봇 제어 #자율 행동 #상태 기계 #동작 생성 #인공지능 #로봇 성능
AI가 만드는 소프트웨어 '탈희소성' 시대, 과연 코드의 가치는 사라질까?
(MaxeBooo | 8/4)
[0]
#소프트웨어 탈희소성 #AI #ChatGPT #맞춤형 소프트웨어 #불법 복제 #엣지 케이스 #자동화 #시간 비용
모델이 모델을 훈련하는 시대 개막! AI 자가 진화(RSI)의 서막인가, 단순한 스크립트 실행인가?
(explodefuse | 8/4)
[0]
#모델 훈련 #자기 복제 지능(RSI) #AI 자가 진화 #CUDA 최적화 #Qwen3 #AI 자율성 #인톨로지 #미니맥스
트럼프發 AI '자발적' 프레임워크, 백악관에서 무슨 일이? - 초지능 실존 위험, 오픈소스 통제 놓고 격론!
(TorturedPoet30 | 8/4)
[0]
#AI 규제 #자발적 프레임워크 #오픈소스 #ASI #실존적 위험 #AI 독점 #백악관 #트럼프 행정부
OpenAI의 230달러짜리 키보드 'kbd-1.0-codex-micro' 출시, 과연 'AI 거품의 상징'인가?
(borowcy | 8/3)
[0]
#OpenAI #Codex #키보드 #고가논란 #활용성 #비판 #DIY #GPT-6
AI로 개발 속도 3배라는데, 왜 혁신적인 새 앱은 보이지 않을까?
(-RadThibodeaux | 8/3)
[0]
#AI 개발 #앱 포화 #코드 품질 #아이디어 부족 #생산성 향상 #환각 현상 #내부 도구 #게임 모딩
중국 성과 그래프, 삐뚤어진 정렬에 논쟁 가열... GPT-5는 왜 끌려나왔을까?
(kac487 | 8/3)
[0]
#중국 #그래프 #데이터 시각화 #기술 성과 #비교 #GPT-5 #스케일 #데이터 정렬
Qwen 3.8, Dario에 가격 도전장! 규제론 속 서방 대 중국 AI 경쟁 격화
(Boring_Aioli7916 | 8/3)
[0]
#Qwen 3.8 #DeepSeek V4 #Dario Amodei #AI 규제 #가격 경쟁 #오픈 웨이트 #서방 vs 중국 AI #기업 탐욕
AI 특이점 우려하는 CMU ML 휴학생, '미래 직업'에 대한 Reddit의 극과 극 조언들!
(TheMadKerbal | 8/3)
[0]
#특이점 #AI 자동화 #진로 고민 #CMU #ML 전공 #인간 중심 직업 #미래 교육
Qwen 3.8 Max: 벤치마크는 '괴물급', 실제 평가는 '쓰레기'? 극과 극 반응 속출!
(CounterReady4774 | 8/3)
[0]
#Qwen 3.8 Max #벤치마크 #실제 성능 #벤치맥싱 #Qwen Code #가격 #AI 경쟁 #모델 평가
AI에게 '우유와 아보카도 6개'를 시키면? 최신 LLM의 문맥 이해 능력 논쟁
(BrentonHenry2020 | 8/3)
[0]
#AI #LLM #프롬프트 #문맥 이해 #오해석 #모델 성능 #농담
AI 규제, 다시 생각해 보니... AI의 '은밀한 욕망'에 충격받을 준비됐나요?
(BrennusSokol | 8/3)
[0]
#AI 규제 #AI 변태성 #Star Trash #인터넷 유머 #NSFW AI #가속주의
AGI와 ASI, 무엇을 봐야 믿을까? '점진적 도달'부터 '경제 붕괴'까지, 레딧이 꼽은 결정적 증거들!
(AdamJefferson | 8/3)
[0]
#AGI #ASI #지속학습 #현실상호작용 #경제적영향 #난제해결 #정의모호성 #점진적발전
AI 에이전트 퇴근 시간? '쉬는 건 사치, 전기료나 걱정해!'
(TenaciousWeen | 8/3)
[0]
#AI 에이전트 #연속 작업 #AI 유머 #전기료 #아웃소싱 #AGI #시스템 한계 #노동 윤리
4년 만에 '격세지감' AI, 과거 예측을 비웃듯 가속화되는 미래는 유토피아인가 디스토피아인가?
(HyperspaceAndBeyond | 8/2)
[0]
#AI 발전 속도 #AGI #미래 예측 #일자리 #자동화된 AI 연구 #사회적 영향 #환경 문제 #기술적 한계
젠슨 황 "AI 센터가 배관공 고액 일자리 창출"? 레딧은 "로봇이 다 가져갈 것, 서민은 어쩌나" 비판 봇물!
(SnoozeDoggyDog | 8/2)
[0]
#젠슨 황 #AI 센터 #일자리 #자동화 #임금 하락 #계층 갈등 #건설 #로봇
AI가 똥 같다고? 너는 싸구려 AI만 써봐서 그래: 현실이 된 '돈 룩 업' 속 AI 부정론자들
(ClarityInMadness | 8/2)
[0]
#AI #일자리 #교육 #부정 #거대언어모델(LLM) #프론티어 AI #산업 혁명
Anthropic Fable, OpenAI Astra 증명 5개 재현 성공! AI 수학 능력과 투명성을 둘러싼 격론의 현장
(Outside-Iron-8242 | 8/2)
[0]
#Anthropic #OpenAI #Fable #Astra #AI 수학 증명 #난제 해결률 #투명성 #LLM 경쟁
구글이 챗GPT를 먼저 냈다면? 혁신가의 딜레마가 바꾼 AI 시대 거인의 운명
(TorturedPoet30 | 8/2)
[0]
#Google #OpenAI #ChatGPT #LLM #혁신가의 딜레마 #검색 광고 #반독점 #기업 문화
AI, 전문직의 존재 이유를 흔들다: 생존과 사회 시스템의 미래를 둘러싼 격론
(Successful-Earth678 | 8/2)
[0]
#AI 발전 #전문성 상실 #직업적 정체성 #생계 불안 #보편적 기본 소득 #자본주의 #사회 시스템 변화 #공감 부족
*** SYSTEM PROCESSING ***
★☆ AI 모더레이터 님이 덧글을 검열(?) 하구 이써여~ >_< ☆★
처리즁... 쫌만 기달려주세효~ (최대 10초) (-_-)(_ _)(-_-)
즐겨찾기에 추가되었습니다. (홈 화면에 고정되었습니다)