Axiom의 4개월 된 시스템은 Lean에서 인간의 개입 없이 Erdős 문제 124와 481을 해결했습니다. 증명의 코드는 라마누잔의 직관의 마법과 같이 실시간으로 화면에 나타납니다. 동료 과학자 여러분께: 수학적 발견의 미래가 여기에 있습니다. 여러분도 함께 하시길 바랍니다. (8)
오늘 아침 @WSJ에서 더 자세한 내용을 읽어보세요. https://t.co/Fpk9hKBIby (9)
스레드를 불러오는 중
깔끔한 읽기 화면을 위해 X에서 원본 트윗을 가져오고 있어요.
보통 몇 초면 완료되니 잠시만 기다려 주세요.