과학 레딧
AI가 난제를 풀면 수학은 전진할까, Reddit이 갈린 지점
172표가 모인 토론은 AI의 수학 성과를 둘러싼 갈등이 단순한 찬반이 아님을 보여줬다. 한쪽은 인간 연구자의 공로와 검증 절차를 묻고, 다른 쪽은 실제 문제 해결을 인정하지 않는 ‘기준 이동’이라고 맞섰다.
2분 소요
카테고리
과학
Insights의 과학 기사
과학
달 표면 200만 장을 한 모델로…NASA·IBM, 극지 얼음 탐색 오차 최대 22% 축소
서로 다른 4개 달 탐사선의 관측 자료를 한꺼번에 읽는 오픈소스 foundation model이 나왔다. 약 200만 개 영상 타일을 학습한 NASA-IBM Lunar Foundation Model은 극지 얼음 유망 지역 탐색 오차를 기존 모델보다 최대 22% 줄였고, 가중치·코드·학습용 데이터까지 공개했다.
2분 소요
과학 해커뉴스
Tailwind Labs, Shopify 합류…MIT 라이선스 유지와 상업 제품 신규 가입 종료
주당 1억1천만 회 설치되는 오픈소스의 장기 생존과 독립 사업의 한계가 한 소식에 겹쳤다. Tailwind Labs는 Shopify에 합류해 Tailwind CSS 개발을 계속하지만, Tailwind Plus와 ui.sh의 신규 고객 가입은 닫는다.
2분 소요 1 조회
과학 해커뉴스
Microsoft의 Tier-1 언어가 된 Rust, MSVC backend까지 연결
‘Rust를 쓴다’는 선언보다 Windows의 생산 배포 경로에 Rust를 정식 편입한 점이 더 큰 뉴스다. Microsoft는 Rust에 C++·C#·TypeScript와 같은 Tier-1 지위를 부여하고, rustc를 MSVC backend에 연결하는 작업을 공개했다.
2분 소요 1 조회
과학
GPT-5.6 Sol, 6큐비트 칩 교정 40건 중 36건 자율 수행…실험실로 들어간 Codex
GPT-5.6 Sol 기반 Codex가 처음 보는 6큐비트 칩의 측정 40건 가운데 36건을 연구자 개입 없이 처리했다. 코드를 쓰는 에이전트가 실험 장비를 조작하고 결과에 따라 다음 측정을 고르는 단계까지 들어갔지만, 약하고 모호한 신호에서는 인간의 판단이 여전히 필요했다.
2분 소요 1 조회
과학 X/Twitter
AlphaGenome Atlas, 90억 DNA 변이 예측을 1PB 지도에 통합해 연구자에게 공개
실험실에서 하나씩 검사할 수 없던 인간 DNA 단일 염기 변이 90억 개를 탐색 가능한 예측 지도로 묶었다. Google DeepMind의 1PB AlphaGenome Atlas는 AlphaFold Database보다 30배 이상 크며 변이 영향 순위를 단일 AVI 점수로 제공한다.
2분 소요 2 조회
과학 X/Twitter
OpenAI 1만 에이전트, 88시간 만에 90년 난제 Navier–Stokes 특이점 증명
수학 연구 자동화의 규모가 단숨에 달라졌다. OpenAI의 차세대 내부 모델과 약 1만 개 에이전트가 88시간 동안 협업해 약 90년간 풀리지 않은 Navier–Stokes 문제의 유한시간 특이점 증명과 Lean 형식화를 만들었다. 이제 독립 검증이 관건이다.
2분 소요 1 조회
과학 X/Twitter
Claude가 11일 만에 완성한 페르마의 마지막 정리 형식 증명
Anthropic의 Claude가 11일 동안 거의 자율적으로 작업하며 페르마의 마지막 정리의 첫 컴퓨터 검증 증명을 완성했다. 1,300만 줄의 Lean 코드로 29,500개 이상의 수학 정리를 증명한 이번 성과는 AI 지원 수학 형식화의 새로운 장을 열었다.
1분 소요 2 조회
과학
수컷 초파리 뇌 16만6000개 뉴런 완전 지도…AI가 이은 1억2500만 시냅스의 최대 커넥톰
16만6000개가 넘는 뉴런과 1억2500만 개 시냅스 연결을 담은 수컷 초파리 뇌·중추신경계 지도가 완성됐다. AI로 전자현미경 절편을 3차원 신경망으로 복원한 이 데이터는 성별에 따른 회로 차이와 감각이 행동으로 이어지는 경로를 한 번에 비교할 기반이다.
2분 소요 3 조회
과학 X/Twitter
WeatherNext 3, 25km 예보망 5배 세밀화…검색·Gemini·지도에 시간별 반영
WeatherNext 3가 기존 25km·6시간 간격의 세계 예보를 최대 5km·1시간 단위로 세밀화했다. 실시간 위성 자료를 직접 받아 Google 검색·Gemini·Maps·Cloud에 공급해 국지성 비와 재생에너지 예측의 활용도가 커지며 변수별 해상도는 서로 다르다.
2분 소요 1 조회
과학
WeatherNext 3, 6시간·25km 예보를 1시간·5km로…강수 정확도 최대 50% 개선
전 세계 기상 예보의 갱신 간격이 6시간에서 1시간으로 짧아지고, 지상 기온·습도 해상도는 25km에서 5km로 촘촘해진다. WeatherNext 3는 Google 서비스의 하루 이상 강수 예보 정확도를 최대 50% 높이며 Search·Maps·Gemini와 Cloud에 바로 투입됐다.
2분 소요 2 조회
과학 해커뉴스
CPython, RISC-V를 공식 지원 아키텍처로 채택
Python의 레퍼런스 구현인 CPython이 RISC-V 아키텍처를 티어 3 공식 지원 플랫폼으로 채택했다. RISE 프로젝트의 하드웨어 지원과 커뮤니티 기여자들의 협력으로 이뤄진 성과다.
1분 소요 21 조회