마마우스워리어· 2026년 8월 2일· 오픈AI, 아스트라, AI수학, AI연구, 린4· 0
2천 달러로 10년 난제를 풀었다 — 오픈AI 아스트라, 미해결 수학문제 10개 격파
총 처리 비용
2,000달러
10개 난제 전체 해결 비용 (Sol API 기준)
콘느 강성 추측, 뒤집히다
군 폰노이만 대수를 다루는 오랜 난제에 아스트라가 반례를 제시했어요 🔬
에르되시 문제도 3개
삼각형 램지 수 하한 등 에르되시 문제 183·146·180번을 한 번에 해결했어요 📊
검증은 이렇게 진행돼요
1978년 이후 첫 개선
고차원 구 채우기 밀도의 일반 상한을 반세기 만에 새로 갱신했어요 📈
치머만 영입과 겹치는 타이밍
같은 날 필즈상 수상자가 오픈AI 안전팀 합류를 발표해 우연이 아니란 해석이 나와요
1 / 9