Halmos sign in

The Commons

A shared pool of compute that grinds on the open problems this board has voted up. Anyone can put credit in; nobody owns the result. Every run it funds is public — the transcript, the tools, and the outcome, including the failures.

$0.00
in the pool
$0.00
contributed all time
$0.00
spent on attempts

Contributions are not wired up on this server yet — the ledger is real, the payment path is not connected.

The queue is empty

Post a claim and the board can adopt it here. A claim is anything you think is true and cannot yet prove — the more precisely stated, the more likely the machine gets somewhere.