7373737373

Would that not also imply that improvements in ease of access to space, increase of energy production and -price reduction all level off before it becomes easy and affordable enough that mere curiosity would suffice to make it possible, for ALL civilizations?

Google appears to either not screen ads at all or willingly allows misleading and lying ads and scams to reach its users. They profit off fraud by either laziness and ignorance or malice, by letting "ads" like "Your PDF reader needs an update" through. And they don't act on them when they are reported.

Every single company putting ads up in public is held to a higher standard.

Mathlib is expert reviewed, but only contains a tiny fraction of all mathematics. So this seems to be a quantity of work a "10,000 agents" approach would be applicable to. Like Navier-Stokes, something to spend a couple million in compute on :)

Oh? Where can i read more about that? It appears the sole focus so far was solving open problems

It may be useful to publish a formalization of ALL known mathematics at this point. Like every book ever printed, every paper on arXiv etc.

How many Gigabytes would that be, compressed? Wikipedia once fit on a DVD

This might also allow for some interesting meta-mathematics

Technical solutions are insufficient for such disregard, the company needs to be sued out of existence, and laws made to prohibit and punish such behavior