📡 #수학

11 개 글 · 이벤트

물건을 가장 공정하게 나누는 방법: 수학자들이 해결한 30년묵은 불균형의 난제

양자 파동은 프랙탈 미로도 가두지 못한다: 25세 MIT 박사과정생의 고차원 프랙탈 불확정성 원리 증명

2개뿐인 줄 알았던 마법 육각형, 알고 보니 무한히 존재한다

수학대중과학증명

단 2,000달러로 미해결 수학 난제 10개를 푼 OpenAI Astra

AI가 90년 된 수학 난제를 반증했다는 소동, 범인은 검증 도구의 버그였다

AI수학정형 검증

1294점을 받은 화제의 글: 버그는 수학적 숙명인가 아니면 인간의 실수인가

수학버그소프트웨어철학

수학에도 어두운 밤이 있었다: 이 학문을 재창조한 네 번의 위기

수학과학철학사상

수학 천재 타오(Terence Tao), ChatGPT와 함께 세기의 난제를 풀다

AI수학ChatGPT타오

AI의 반례 공세: 에르되시·그로텐디크·야코비안 추측이 두 달 만에 무너졌다

AI수학Lean형식 검증

GPT-5.6, 단 한 번의 프롬프트로 30년 된 알고리즘 한계를 증명하다

AIGPT-5.6수학형식 증명

수억 명이 16년간 못 찾은 버그, 수학은 20걸음 만에 찾아냈다

SQLiteTLA+형식 검증WAL