📡 #수학

18 개 글 · 이벤트

OpenAI가 수학 논문 722편을 쏟아내고도 3분의 1에 물음표를 남긴 이유

AI가 1테라와트 핵융합로 설계도를 내놓았을 때, 누가 안전 허가증에 서명할 것인가

AI수학안전 심사

1만 개 AI가 푼 90년의 수학 난제, 100만 달러 상금 심사에 3년이 걸리는 이유

필즈상 수상자 25인의 공동 경고: AI의 수학 벤치마크 경쟁이 지식의 토양을 메마르게 한다

AI수학기술 논쟁

100만 달러 밀레니엄 난제 해결 선언, AI 연산력이 연구자의 미발표 초안을 가로챘는가

인공지능수학OpenAI

테렌스 타오의 경고: AI의 나비에-스토크스 밀레니엄 난제 무차별 대입 해결이 수학을 오염시키는 이유

수학AI테렌스 타오

인간이 5년 걸릴 페르마의 마지막 정리, AI가 11일 만에 완벽 검증한 이유

AI수학자동화

물건을 가장 공정하게 나누는 방법: 수학자들이 해결한 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