Patrick과 Radhia Cousot 부부가 함께 만든 Abstract Interpretation을 떠올리게 함. 이 기법은 유용하며, 형식 검증 수업에서 배운 적이 있음
"이렇게 어려운 문제에 몰두하는 것이 그녀의 학문적 경력에 해가 될 위험이 있었지만, Späth는 모든 시간을 그것에 바쳤음"이라는 문장은 이유가 있어서 모든 기사에 있는 것 같음. 이런 집착적인 사람들이 있어서 다행이며, 언급되지 않는 반사실들에 건배를 보냄
부부가 결과를 발표했을 때, 동료들은 경외감을 느꼈음. Stanford University의 Persi Diaconis는 "퍼레이드가 열리길 바랐다"고 말했음. "수년간의 힘든 작업 끝에 그녀가 해냈고, 그들이 해냈다"는 긍정적인 지원은 조합론 문제를 다루는 데 있어서 내가 정말 좋아했던 요소 중 하나였음. Persi Diaconis와 D.J.A. Welsh 같은 사람들은 매우 친절하여 이 분야를 더 매력적으로 보이게 함
McKay 추측은 다음과 같음. 복소수로 행렬로 그룹을 표현하는 데 관심이 있다고 가정함. 이를 수행하는 방법은 여러 가지가 있으며, 각각은 그러한 표현의 지문과 같은 캐릭터를 가짐. 또 다른 측면에서는 모든 그룹이 소수의 거듭제곱인 순서를 가진 큰 부분 그룹을 포함하고 있음이 알려져 있음. 이를 P라고 부름. 이 그룹은 P가 정상인 정규화자를 가짐. 놀라운 점은 G의 캐릭터 수와 N(P)의 캐릭터 수가 같다는 것임. 여기서 N(P)는 G의 작은 부분임
기술적 주의: 두 경우 모두 p의 배수인 차수의 표현은 제외함
어젯밤 Apple TV에서 "Prime Target"을 시작했는데, 이 이야기의 전제가 익숙하게 들렸음. 주인공이 소수 문제에 집착함. 관련 없는 이야기지만, 이 부부가 형식 수학 문제에 AI 도구를 사용하는 것에 대해 어떻게 생각하는지 궁금함. 지난 2년 동안 이 문제를 해결하는 데 AI 도구를 사용했는지 궁금함
우연의 일치로, 최근 HN에 게시된 후 Infinite Napkin의 그룹 부분을 읽고 있었음. 정의 등을 이해하지만, 여전히 그룹의 중심 중요성을 파악하지 못했음. 예를 들어, 기사에서는 72차 그룹이 50개 있다고 말함 (chatGPT는 50개의 비가환 그룹과 5개의 가환 그룹이 있다고 말함). 이것이 중요한 통찰인 것 같지만, 무엇에 대한 것인지 궁금함
대단한 헌신임. 개인적인 이야기가 정말 마음에 듦. STEM 분야에서는 항상 이런 이야기를 볼 수 있는 것은 아님. 그들의 주된 목표가 달성된 지금, 그들의 관계가 새로운 현실을 잘 다루기를 바람
Hacker News 의견