14/03/21 07:00:34.20
>>386
しばらく、Exotic sphere 4次元微分ポアンカレ予想にはまっていた
>The statement that they do not exist is known as the "smooth Poincare conjecture", and is discussed by Michael Freedman, Robert Gompf, and Scott Morrison et al. (2010) who say that it is believed to be false.
URLﾘﾝｸ(arxiv.org)
Freedman, Michael; Gompf, Robert; Morrison, Scott; Walker, Kevin (2010), "Man and machine thinking about the smooth 4-dimensional Poincare conjecture", Quantum Topology 1 (2): 171?208, arXiv:0906.5177
面白かった
Freedmanは、マイクロソフトに移っていたんだ
URLﾘﾝｸ(ja.wikipedia.org)
で、コンピュータパワーで、結び目理論で計算したらしい
5.3 Results
Computing the two-variable polynomial for K2 took approximately 4 weeks on a
dual core AMD Opteron 285 with 32 gb of RAM. At this point, we haven’t been
able to do the calculation for K3 . With the current version of the program, after
about two weeks the program runs out of memory and aborts.
と書いてあって、計算は完了しなかったと