Pirmkārt. MI strauji automatizē matemātiku, viens no stārtapiem ir https://harmonic.fun/ un tur strādā Lean paši labākie programmētāji. Un ir arī citi. Nozares viedoklis ir, ka tuvāko 2 gadu laikā tā būs automatizēta. Kaut vai tāpēc, ka pierādījumu asistenti kalpo kā patiesības devēji MI apmācībā un cilvēku pārraudzība nav vajadzīga. Atškirībā no citam nozarēm.

Lai gan arī citās zinātnes var ieviest eksperimentu, "dabas/faktu"+"pierādījumu asistentu" automatizēto pārrdaudzību un iztikt bez cilvēkiem. NYT bija raksts nedaudz uz to pusi.

2024. gada Bulletin of American Mathematical Society 2. un 3. numurs bija pilnībā veltīti šim tēmām (sava dienasgrāmatā pasen to minēju):
https://www.ams.org/journals/bull/2024-61-02/home.html?active=allissues
https://www.ams.org/journals/bull/2024-61-03/home.html?active=allissues

Otrkārt. Vai valdība kādreiz aizliegts MI? Lieta tā, ka es pats ļoti gribētu vairāk lasīt grāmatas, manuāļus, utt. Man tas patīk un tie joprojām ir labāki par MI. Bet laika vienkārši nav. Darbs dzen darbu un ir ļoti rūpīgi jāskatās, kādu laiku veltīt grāmatām un rakstiem (obligāti vajag! sine qua non!) un ko var izdarīt uzreiz ar MI.

MI lietošana ir konkurences izdzīvošanas jautājums.

Tātad - MI lietošanu varētu aizliegt tikai reizē ar kapitālisma aizliegšanu. Domā nu, vai tas kādreiz notiks.