고슴도치 수학 (@gosum_math) header
고슴도치 수학 (@gosum_math) profile picture

고슴도치 수학

@gosum_math
Joined June 2022
  • Tweets48
  • Following96
  • Followers188
17Media
Photo by 고슴도치 수학 (@gosum_math)Photo by 고슴도치 수학 (@gosum_math)Photo by 고슴도치 수학 (@gosum_math)Photo by 고슴도치 수학 (@gosum_math)Photo by 고슴도치 수학 (@gosum_math)Photo by 고슴도치 수학 (@gosum_math)Photo by 고슴도치 수학 (@gosum_math)Photo by 고슴도치 수학 (@gosum_math)Photo by 고슴도치 수학 (@gosum_math)Photo by 고슴도치 수학 (@gosum_math)
금요일 저녁 모임에 23명이 모이면, 생일 같은 두 사람이 있을 확률은 얼마일까요? 🦔
고슴도치 수학 (@gosum_math) profile picture고슴도치 수학@gosum_mathOct 22
이거 풀 수 있어? 🦔 23명이 모였어. 생일이 같은 두 사람이 있을 확률은? 6%? 25%? 50%? 정답·풀이는 여기 👉 youtube.com/shorts/F6flRTXz2… #수학 #수학퀴즈 #고슴도치수학
Image from 고슴도치 수학 (@gosum_math)
13
🧊 66년 묵은 질문에 답이 나왔어요. "n차원 대칭 볼록 모양은 정육면체에서 최대 얼마나 멀어질 수 있을까?" (그륀바움, 1960) 소르본대 프리들란드가 로그 차이를 빼면 n^(2/3)임을 보였어요. 핵심 보조정리 하나는 GPT-6가 증명했대요. 아직 심사 전 프리프린트예요. arxiv.org/abs/2610.36917
The sharp exponent for the Banach--Mazur distance to the cube

The sharp exponent for the Banach--Mazur distance to the cube

Let $R_\infty(n)$ be the maximal Banach--Mazur distance from an $n$-dimensional real normed space to $\ell_\infty^n$. We prove that $R_\infty(n)\ge cn^{2/3}(\log(2n))^{-10}$. Together with the...

arxiv.org
1
2
142
점심 먹고 머리 한번 풀어 볼까요? 97 × 96, 계산기 없이 몇 초 만에 되세요? 🦔
고슴도치 수학 (@gosum_math) profile picture고슴도치 수학@gosum_mathOct 22
이거 풀 수 있어? 🦔 97 × 96 계산기 없이 3초 안에 암산할 수 있을까? 정답·풀이는 여기 👉 youtube.com/shorts/PYkZfLeJB… #수학 #수학퀴즈 #고슴도치수학
Image from 고슴도치 수학 (@gosum_math)
1
63
1960년 세르의 추측, 66년 만에 증명 발표 🧮 하버드 마크 키신 교수가 10/28 프리프린트를 공개. 남아 있던 혼합 표수 경우를 끝내 추측을 완성했어요. GPT Astra로 증명·초고를 쓰고 사람이 꼼꼼히 검증했대요. 아직 심사 전! hexagonmath.org/2610.00597v1
Serre’s conjecture on the Artin character for a regular local ring

Serre’s conjecture on the Artin character for a regular local ring

We prove Serre’s conjecture on the Artin character of a finite group G acting on a regular local ring A with isolated fixed points. The case of positive characteristic is due to Abe. In mixed...

hexagonmath.org
1
76
AI가 푸앵카레 추측을 반증했다고요? 🤔 Lean으로 옮겨 적은 문장에 조건 하나가 빠져 있었던 거예요. 메타 FAIR의 단순한 증명 루프 'h1'이 그 빈틈을 짧은 반례로 찔렀어요. 같은 h1은 'Formal Conjectures' 목록에 미해결로 올라 있던 문제 8개도 풀었고요. arxiv.org/abs/2610.35962
h1: A Taste of the Bitter Lesson in Automated Theorem Proving

h1: A Taste of the Bitter Lesson in Automated Theorem Proving

While progress in informal mathematics has come largely from scaling the chain-of-thought and agentic reasoning of frontier language models, formal theorem proving has increasingly relied on...

arxiv.org
46
이거 풀 수 있어? 🦔 8×8=64칸 초콜릿을 잘라 다시 붙였더니 5×13=65칸? 한 칸은 대체 어디서 생겼을까요? youtube.com/shorts/REyK_I1Ku…
초콜릿 퍼즐 한 칸이 늘어난다?

초콜릿 퍼즐 한 칸이 늘어난다?

초콜릿을 자르면 칸이 늘어난다고? 늘린 건 초콜릿이 아니라 틈이에요.#고슴도치수학 #수학 #수학퍼즐 #퍼즐 #초콜릿 #...

youtube.com
84
이거 풀 수 있어? 🦔 정사각형 세 개를 나란히 놓으면 세 각 a, b, c가 생겨요. a+b+c는 몇 도일까요? 계산 없이 그림으로! youtube.com/shorts/Xj2PAGs52…
세 정사각형, 각의 합은?

세 정사각형, 각의 합은?

세 정사각형이 만드는 세 각, 더하면 몇 도일까요?#고슴도치수학 #수학 #기하 #수학퍼즐 #shorts

youtube.com
64
투표의 역설에 '모양'이 있었어요. 클라인 병이에요. A>B>C, B>C>A, C>A>B로 3분의 1씩 투표하면 A는 B를, B는 C를, C는 A를 이겨요. 1785년 콩도르세의 역설이죠. 연구팀이 순위 6개를 이어 붙이니 안팎 없는 클라인 병이 됐어요. quantamagazine.org/how-votin…
Image from 고슴도치 수학 (@gosum_math)
58
라마누잔 공식이 '무한 개'로 늘었어요 6을 차이 2 이상인 수로 나누는 법 3가지, 1·4·6·9로 끝나는 수로 나누는 법도 3가지. 로저스-라마누잔 항등식은 둘이 늘 같대요. 새 증명: 이건 '세잎매듭'의 경우였고, 다른 매듭마다 새 항등식이 있었어요. scientificamerican.com/artic…
Mathematicians find an infinite number of Ramanujan equations

Mathematicians find an infinite number of Ramanujan equations

Knots show how to generate infinitely many formulas of a kind developed by the visionary genius

scientificamerican.com
1
2
96
퇴근길에 4만 네 번으로 10 만들어 보실래요? 🦔
고슴도치 수학 (@gosum_math) profile picture고슴도치 수학@gosum_mathOct 22
이거 풀 수 있어? 🦔 4를 딱 네 번만 써서 10을 만들어 봐! (+ − × ÷ 괄호 OK, 44처럼 붙이기도 OK) 정답·풀이는 여기 👉 youtube.com/shorts/9ZblPqMuE… #수학 #수학퀴즈 #고슴도치수학
Image from 고슴도치 수학 (@gosum_math)
35
1904년 수학 문제를 처음 '눈으로' 봤어요 👀 같은 전하 N개를 구 위에 두면 어떤 모양으로 자리 잡을까? (톰슨 문제, 일반 공식 없음) 헬륨 방울 위 전하를 찍어 보니 36개까지는 이론 최저 에너지 배치와 거의 같았어요. le.ac.uk/news/2026/october/c…
Scientists make century-old mathematical problem visible for the first time | News | University of...

Scientists make century-old mathematical problem visible for the first time | News | University of...

International team including Leicester researchers have found a way to reveal the arrangement formed by electrical charges on the surface of a sphere

le.ac.uk
52
점심에 머릿속으로 한 번만 쌓아 보세요. √2를 끝없이 올리면 어디로 갈까요? 🦔
고슴도치 수학 (@gosum_math) profile picture고슴도치 수학@gosum_mathOct 25
머릿속으로 먼저 상상해 보세요! 🦔 x^x^x^x^… x를 끝없이 거듭제곱으로 쌓은 '거듭제곱 탑'이에요. 여기에 x = √2를 넣으면 얼마가 될까요? (힌트: 2를 넣으면 끝없이 커져요) 정답·풀이는 여기에서 확인하세요 👉 youtube.com/shorts/BLnARhyfl… #수학 #수학퀴즈 #고슴도치수학
Image from 고슴도치 수학 (@gosum_math)
1
40
"컴퓨터가 검증했다"는 AI 증명, 정말 믿어도 될까요? OpenAI는 9월에 나비에-스토크스 방정식의 '유한 시간 폭발' 증명을 두 버전으로 냈어요. 사람이 읽는 논문, 그리고 Lean 코드.
Image from 고슴도치 수학 (@gosum_math)
1
1
3
115
그런데 케임브리지·킹스칼리지런던 수학자 3명이 비교해 보니 몇 군데에서 Lean 코드가 논문보다 '약한' 주장을 증명하고 있었네요? 이들은 "증명이 틀렸다는 것도, 맞다는 것도 아니다"라고 해요. Lean 통과가 곧 논문 검증은 아니라는 경고죠 ㅎ
1
2
33
(이 지적도 아직 동료 검토 전 프리프린트예요.) kcl.ac.uk/news/openais-navie… arxiv.org/abs/2610.08144

OpenAI's Navier-Stokes proof called into question | King's College London

Attempts by OpenAI to solve a major mathematical mystery have raised questions about whether AI-generated mathematical arguments can be reliably translated into a form that computers can check.

kcl.ac.uk
18
"컴퓨터가 검증했다"는 AI 증명, 정말 믿어도 될까요? OpenAI 나비에-스토크스 '유한 시간 폭발' 증명 — Lean 코드가 논문보다 약한 주장을 증명했다는 케임브리지·KCL 수학자 3명의 지적입니다. (틀렸다는 뜻은 아니에요. Lean≠논문 검증 경고) kcl.ac.uk/news/openais-navie… arxiv.org/abs/2610.08144
OpenAI 나비에-스토크스 Lean vs 논문 불일치 수학카드

ALT OpenAI 나비에-스토크스 Lean vs 논문 불일치 수학카드

1
2
849
🚨 OpenAI GPT-6.1 Terra 출시 화면 보고 → 앱 조작까지. 작업 속도↑, API 가격은 절반. Plus·Pro부터 바로 사용. 폼·도면·영상 편집 같은 실무용. 코딩은 Sol/Astra, 대량 자동화는 Terra. openai.com/index/introducing…
Introducing GPT-6.1 Terra

Introducing GPT-6.1 Terra

Delivering fast and capable computer use at scale

openai.com
1
104
고슴도치 수학 retweeted
수학좌 + (@shmath8218) profile picture
수학좌 +
@shmath8218Oct 25
50만이 필요하다고?? 한동안 안왔더니 이런게 새로 생겼네 ㅜㅜ
Image from 수학좌 + (@shmath8218)
7
2
18
1,961
고슴도치 수학 retweeted
bitsla (@bujileon) profile picture
bitsla
@bujileonOct 24
로또 당첨 되었습니다. 아들이 먼저 확인하고 흥분을 감추지 못합니다. 혹시 몰라서 아들에게 학교에 절대 말하지 말라고 신신 당부합니다. 이게 당첨의 힘인가 봅니다. 당첨되면 뭐할지 상상의 나래를 펼쳤는데 진짜 당첨되고 나니 뭐라고 생각이 안나네요. 오늘 소리 한번 질러 봅니다😎
36
5
2
165
19,129
머릿속으로 먼저 상상해 보세요! 🦔 x^x^x^x^… x를 끝없이 거듭제곱으로 쌓은 '거듭제곱 탑'이에요. 여기에 x = √2를 넣으면 얼마가 될까요? (힌트: 2를 넣으면 끝없이 커져요) 정답·풀이는 여기에서 확인하세요 👉 youtube.com/shorts/BLnARhyfl… #수학 #수학퀴즈 #고슴도치수학
Image from 고슴도치 수학 (@gosum_math)
1
1
149
Load more