오픈AI의 차세대 모델 '아스트라'가 고차원 구면 충전, 오류 정정 부호, 비소픽 군 등 여러 분야의 장기 미해결 수학 문제 10건에 해법 또는 중대한 진전을 제시했다. 오픈AI는 249쪽 논문과 증명 검증 소프트웨어 '린'을 통해 결과를 형식화했지만, 비소픽 군 문제에서 기존 연구자 안드레아스 톰·가보르 쿤의 기여를 축소했다는 공로 배분 논란이 일었다. 수학계는 AI의 발견 속도 향상을 인정하면서도 연구 생태계와 차세대 연구자 양성, 비공개 상업 모델에 대한 접근성 문제를 우려하고 있다.

• •오픈AI '아스트라'가 10건의 장기 미해결 수학·이론컴퓨터과학 문제에 해법·진전 제시
• •249쪽 논문과 검증 소프트웨어 '린' 활용해 결과 형식화, 비소픽 군 문제서 기존 연구자 공로 축소 논란
• •10개 결과 생성에 약 2000달러 소요 추산, 소규모 대학·기관엔 접근성 장벽 우려
• •옥스퍼드·ETH취리히 등 학계는 대학원생 연구 주제 잔식과 신진 연구자 미래에 대한 불안 제기