OpenAI, 수학 및 이론 컴퓨터 과학의 10 가지 획기적 진전 발표
Ten advances in mathematics and theoretical computer science
우리는 내부 모델 Astra 를 활용해 10 년 이상 미해결된 수학 및 이론 컴퓨터 과학 문제 10 가지를 해결했습니다. 고차원 기하학부터 양자 복잡성까지 다양한 분야에서 새로운 결과를 도출했으며, 모든 증명은 Lean 으로 형식화되어 검증되었습니다. 이 성과는 과학자와 수학자들이 발견을 가속화할 수 있도록 지원하는 우리의 책임 있는 접근 방식을 보여줍니다.
AI 시스템이 완전히 생성한 증명에 인간 저자권을 주장하는 것은 시스템의 기여와 진정한 인간 지적 작업의 본성을 모두 왜곡하는 것입니다.