Ви можете просто налаштувати qwen3, знайти гарну назву, відкрити «компанію автоформалізації, орієнтовану на математичний суперінтелект» і залучити випадкових математиків, щоб зібрати кошти, до речі, ще кілька місяців, перш ніж цей трюк зникне

У грі вже близько 5 компаній, і є місце для ще кількох, особливо якщо з 5 3-5 мають точно такий самий підхід, інструменти та ремені. Почніть свій «апеляцію до більшої мети» вже сьогодні!

Пам'ятайте, для більшості з них немає різниці між цим і «прагненням до бухгалтерського суперінтелекту» — їм достатньо скористатися колективним відчуттям, що «математика важлива» і «важливі люди говорили про формалізацію математики», щоб отримати трохи $$

Мало хто з компаній у цій грі має іншу мету, окрім придбання