AI Just Did Something Mathematicians Couldn’t Do for 27 Years Here Is Why This One Is Different.
中文摘要
AI利用2000美元算力解决了困扰数学家27年的10个难题，提供机器可验证证明，并获菲尔兹奖得主认可。
English Summary
AI solved 10 math problems unsolved for 27 years using machine-checkable proofs and $2,000 in compute, earning high praise from a Fields Medalist.
原文节选
Ten open problems. Machine-checkable proofs. $2,000 in compute. And a Fields Medal winner who said he would send one to a journal. The AI… Continue reading on Medium »