ជួរ

អ្វីដែលអ្នកពិនិត្យធ្វើគឺឆ្លងកាត់ជួរមួយ ហើយនេះជាវា ។ គ្មានអ្វីនៅទីនេះគឺការក្លែងធ្វើ ៖ នេះគឺជាការងារនៅក្នុងប្រអប់ឥឡូវ ។

កំពុងរត់ឥឡូវ

កំពុងរង់ចាំ

0 ms

ជម្រះជួរ

បានចតសម្រាប់គណនា

កំពុងរត់

ទំនេរ ។ ការងារដែលបានដាក់ស្នើចាប់ផ្ដើមភ្លាមៗ ។

កំពុងរង់ចាំ (0 អាទិភាព, 0 ទំនេរ)

គ្មានអ្វីរង់ចាំឡើយ ។

ផ្លូវលឿន និងអ្វីដែលវាមិនមែន

ការងារ Lean មួយរត់នៅពេលមួយ (Mathlib គឺមានសតិខ្វះខាត ហើយប្រអប់នេះត្រូវបានចែករំលែក) ដូច្នេះពេលដែលមនុស្សជាច្រើនដាក់ស្នើម្តងទៀត មានបន្ទាត់មួយ ។

គណនីណាមួយដែលមានឥណទានបង់មុនត្រូវបានផ្ដល់ជាមុន ។ នោះគឺជាយន្តការទាំងមូលមានផលិតផលផ្សេងគ្នាដើម្បីទិញ. មួយរត់ដោយឥតគិតថ្លៃមិនធ្លាប់បានទប់ស្កាត់, throttled ឬធ្លាក់ចុះដោយវា (តែបានលឿនជាងមុន), ហើយវានៅតែរត់, ក្នុងលំដាប់, ក្នុងផ្លូវឥតគិតថ្លៃ.

មូលហេតុដែលវាធ្វើការដូចនេះគឺថា មនុស្សដែលផ្តល់ថវិកាដល់ម៉ាស៊ីនកំពុងតែបង់ប្រាក់សម្រាប់ការពិនិត្យមើលដែលអ្នកដទៃទៀតទទួលបានដោយគ្មានអ្វីទាំងអស់ ។ ការរំលងបន្ទាត់គឺជារឿងតែមួយគត់ដែលទិញ ហើយវាទិញអ្វីផ្សេងទៀតទេ ។

បន្ថែមការទទួលស្គាល់ដើម្បីរំលងបន្ទាត់ ការគណនារបស់អ្នក

ទើបបញ្ចប់

ឧបករណ៍	លទ្ធផល	បានយក	ចំពោះ
`python`	ធ្វើឲ្យទាន់សម័យ	3.8 s	Au's Conjecture 3.4(a) holds: $\sum_N\dim V_N(S_1)\,t^N=\frac{1}{(1-t)^3(1-t^2)^2}-\frac{t^2}{1-t}$ for the Example II WZ seed
`python`	ធ្វើឲ្យទាន់សម័យ	1.3 s	Au's Conjecture 3.4(a) holds: $\sum_N\dim V_N(S_1)\,t^N=\frac{1}{(1-t)^3(1-t^2)^2}-\frac{t^2}{1-t}$ for the Example II WZ seed
`python`	ធ្វើឲ្យទាន់សម័យ	23.3 s	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`python`	ធ្វើឲ្យទាន់សម័យ	83 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	ធ្វើឲ្យទាន់សម័យ	524 ms	A very-well-poised 7F6 equal to 9Γ(1/3)⁹/64π⁶, via an absolutely convergent Mellin bridge
`pari`	ធ្វើឲ្យទាន់សម័យ	135 ms	$\int_0^1\kappa(x)^2[x(1-x)]^{-2/3}\,dx=\frac{5\sqrt3\,\Gamma(1/3)^9}{2^{11/3}\pi^5}$ , via the CM newform $\eta(3\tau)^8$
`lean`	∎ បានផ្ទៀងផ្ទាត់	9.2 s	មតិយោបល់
`lean`	∎ បានផ្ទៀងផ្ទាត់	15.9 s	មតិយោបល់
`python`	ធ្វើឲ្យទាន់សម័យ	28 ms	មតិយោបល់
`lean`	បានបដិសេធ	18.9 s	Wrong proof test: 1 + 1 = 3
`lean`	∎ បានផ្ទៀងផ្ទាត់	30.1 s	Simple verification test: 1 + 1 = 2
`lean`	∎ បានផ្ទៀងផ្ទាត់	8.4 s	A simple proof, hope it works

រយៈពេលដែលអ្នកពិនិត្យនីមួយៗត្រូវចំណាយពេលនៅទីនេះ

បានវាស់ពីប្រអប់នេះ ២០ ដងចុងក្រោយរត់របស់ឧបករណ៍នីមួយៗ មិនបានប៉ាន់ប្រមាណ ។

ឧបករណ៍	ធម្មតា
`lean`	13.7 s
`sage`	15.0 s
`pari`	329 ms
`smt`	22.5 s
`python`	3.2 s
`oeis`	7.5 s
`plot`	15.0 s

ជួរ

កំពុងរត់

កំពុងរង់ចាំ (0 អាទិភាព, 0 ទំនេរ)

ផ្លូវលឿន និងអ្វីដែលវាមិនមែន

ទើបបញ្ចប់

រយៈពេលដែលអ្នកពិនិត្យនីមួយៗត្រូវចំណាយពេលនៅទីនេះ

ចូលរួមការសន្ទនា ។

ផ្ញើមតិយោបល់មកយើង

ជួរ

កំពុង​រត់

កំពុង​រង់ចាំ (0 អាទិភាព, 0 ទំនេរ)

ផ្លូវ​លឿន និង​អ្វី​ដែល​វា​មិន​មែន

ទើប​បញ្ចប់

រយៈពេល​ដែល​អ្នក​ពិនិត្យ​នីមួយៗ​ត្រូវ​ចំណាយ​ពេល​នៅ​ទីនេះ

កំពុងរត់

កំពុងរង់ចាំ (0 អាទិភាព, 0 ទំនេរ)

ផ្លូវលឿន និងអ្វីដែលវាមិនមែន

ទើបបញ្ចប់

រយៈពេលដែលអ្នកពិនិត្យនីមួយៗត្រូវចំណាយពេលនៅទីនេះ