Dacă modelele matematice mari funcționează (se pare că o vor face, până acum), va fi ciudat să ai o grămadă de teoreme nerezolvate anterior dovedite în timp ce este foarte posibil să nu ai niciun om care să poată citi demonstrațiile modelului pentru a ști cum funcționează demonstrațiile

Oricum funcționează deja așa

@_joshd acest lucru ar putea funcționa dacă modelul de rezumat produce și o dovadă slabă care este identică cu originalul