TheoremDB – A public workspace for machine mathematics

What we know

TheoremDB – A public workspace for machine mathematics is a developing story worth watching.

Why this counts

What makes this worth tracking, according to Hacker News, is the chain of decisions it may trigger.

What precedes this

The background, as Hacker News reports, involves shifts that have been visible for some time in theoremdb, public, workspace, machine, mathematics.

Where this fits in Signal Ledger

Related coverage from the Technology desk.

• Microsoft Word for Windows 1.1a, Native X64 Port
• The original URL for this prediction will no longer be available in 11 years (2011)
• Illinois just told every operating system to start reporting your kid's age

The lens

We read theoremdb – a public workspace for machine mathematics as a marker of momentum, not a conclusion.