카테고리: 수학

11건의 기사

OpenAI, 수학·물리 성과 발표했지만 연구자들은 소통 방식에 피로감

OpenAI가 수학·컴퓨터과학·물리 분야 성과와 새로운 소통 방식을 발표했다. 더버지가 취재한 연구자들은 회사의 대응에 점점 지쳐 간다고 전했다.

OpenAI가 자사 AI의 수학 연구 성과를 공개하기에 앞서 저명 수학자들의 자문을 받는 것으로 알려졌다.

OpenAI가 잇단 수학 결과 발표로 신뢰 위기를 겪은 뒤, AI와 수학 연구의 관계를 자문할 독립 수학자 패널을 발표했다.

오픈AI가 자사 모델로 100개 이상의 수학 문제를 풀었다고 밝히고, 수학 분야 자문 그룹을 새로 꾸린 것으로 전해졌다.

OpenAI가 자사 AI가 밀레니엄 난제 중 하나를 풀었다고 밝혔으나, 수학계의 공식 검증은 이뤄지지 않은 것으로 전해졌다.

OpenAI가 수학 7대 밀레니엄 난제 중 하나인 나비에-스토크스 방정식을 다룬 글을 공개했다. AI가 최고 난도 수학 문제에 기여할 수 있는지가 초점이다.

OpenAI가 자사 AI가 수학계의 난제 중 하나를 며칠 만에 풀어냈다고 밝혔다고 France 24가 보도했다. 검증 여부는 아직 확인되지 않았다.

OpenAI가 수학 난제 나비에-스토크스 방정식을 풀었다고 밝혔으나, 검증 가능한 증명이 공개되지 않아 학계의 확인이 이뤄지지 않고 있다.

앤트로픽이 자사 AI 모델 클로드를 활용해 수학의 난제인 페르마의 마지막 정리 증명을 기계가 검증 가능한 형식으로 옮기는 작업에 나선 것으로 전해졌다.

OpenAI의 미공개 차세대 모델 '아스트라'가 수십 년간 미해결이던 순수 수학·이론 컴퓨터과학 난제 10개를 해결했다. 모든 증명은 Lean 4 형식 코드와 함께 GitHub에 공개됐다.

OpenAI가 신규 AI 모델 '아스트라(Astra)'가 10개의 수학 문제에서 돌파구를 만들었다고 밝힌 것으로 전해졌다. 진위와 검증 범위는 아직 불명확하다.