연구용 컴퓨터 대수학 도구를 2022 중국 가오카오 수학 시험의 가장 어려운 문제에 사용하면 어떤 일이 일어날까요? 음성-NLP 박사가 시도해보며, 대입 최종 질문을 기호 계산 문제로 즐겁게 다루고 기계가 무거운 작업을 하도록 합니다.

이 실행은 부분적으로 데모이고 부분적으로 연구자들이 매일 사용하는 수학 도구, sympy 스타일의 기호 엔진, 수치 해결기, 그리고 빠른 스크립팅이 재능 있는 고등학생이 펜과 종이로 40분 이상 걸릴 문제를 어떻게 완전히 해결하는지에 대한 장난스러운 논평입니다. 시청자들이 발견할 수 있도록 끝 부분에 작은 수동 실수도 있습니다. 수학과 도구, 그리고 약간의 학문적 농담의 교집합을 좋아한다면, 이것은 일반적인 논문 읽기에서 벗어난 재미있는 5분 휴식입니다.