AxiomProver는 Erdos 문제 #481을 해결했습니다. 5시간이 걸렸습니다. #124 간소화된 버전은 24시간 이상 걸렸고(으악) 우리가 원하는 만큼 간결하지 않았습니다.
저희는 설립된 지 4.5개월밖에 안 된 회사이고, 아직 갈 길이 멉니다. 에르되시 문제, 즉 수학적 포켓몬 사냥을 해결하는 것이 목표입니다. 진정한 수학은 모든 수학 분야에서, 특히 심오한 학문 분야를 아우르는 심오한 발견입니다. 계속 읽어 나가세요!
스레드를 불러오는 중
깔끔한 읽기 화면을 위해 X에서 원본 트윗을 가져오고 있어요.
보통 몇 초면 완료되니 잠시만 기다려 주세요.