https://www.nature.com/articles/s41586-023-06747-5
신기하네 근데 이런건 어케찾았냐 매일마다 네이처 들러보는거냐?
https://twitter.com/XenaProject/status/1747660887622566122?t=KmlQ02xleASapRvwfUDP7Q&s=19>Note that (this kind of) geometry is decidable and e.g. IMO-level number theory is not. But still amazing!
애초에 정해진 문제풀이 서열매기기 이런게 별 쓸모없었다는 생각 기계가 대신 해주면 이제 저런 스포츠 수학 그만 할때도 된 듯
https://www.nature.com/articles/s41586-023-06747-5
신기하네 근데 이런건 어케찾았냐 매일마다 네이처 들러보는거냐?
https://twitter.com/XenaProject/status/1747660887622566122?t=KmlQ02xleASapRvwfUDP7Q&s=19
>
Note that (this kind of) geometry is decidable and e.g. IMO-level number theory is not. But still amazing!
애초에 정해진 문제풀이 서열매기기 이런게 별 쓸모없었다는 생각 기계가 대신 해주면 이제 저런 스포츠 수학 그만 할때도 된 듯