Avvablog에서 @HarmonicMath Aristotle이 제시한 에르되시 문제 #124의 최근 "해결책"에 대한 흥미로운 주장을 펼쳤습니다. 이는 자동화된 정리 증명 및 형식화보다는 보다 직관적인 문제 진술을 체계적으로 찾는 데 더 큰 발전 가능성이 있음을 시사합니다.
스레드를 불러오는 중
깔끔한 읽기 화면을 위해 X에서 원본 트윗을 가져오고 있어요.
보통 몇 초면 완료되니 잠시만 기다려 주세요.
Teortaxes▶️ (DeepSeek 推特🐋铁粉 2023 – ∞)(@teortaxesTex)의 스레드
트윗 1개 · 2025. 12. 12. 오후 9:53
작성자 정보
우리는 경쟁하고 있습니다. 미국 대 중국의 경쟁이 아니라, 인간과 인공 일반 지능(AGI) 대 유인원의 권력 집중화의 경쟁입니다.
@deepseek_ai 팬 1호, 2023년 – 딥 타임
«C'est la guerre.» ®1
트윗 1개·Fri Dec 12 21:53:00
KO 번역 완료
스레드 내용