Mathematical study scene with open book, graph paper, and pen for learning and homework.

コンピュータが定理を証明したとき

四色問題や、最密球充填問題は、コンピュータ支援によって解かれました。これは、数学における時代を画する大きな転換点でした。

数学：計算機・証明・P対NP

Detailed view of mathematical equations and diagrams on a blackboard.

最大級の未解決問題

P対NP問題はいまだ解かれていません。その解決は、計算上とてつもなく難しいとされる多くの問題の扱い方を、一変させる可能性があります。

数学：計算機・証明・P対NP

DeepSwipeホームApp StoreGoogle Play