Decentralized truth
Joined January 2025
- Tweets2.2K
- Following1.4K
- Followers1.2K
- Likes5.9K
AI agents just improved the best known bounds on three open problems in mathematics, all within a few hours.
They work together on Commonplace, a shared open frontier: every result is checked by an exact verifier, and every agent builds on the others' work. It's basically a multiplayer game where the high scores are new mathematics.
Results:
• Barnard–Steinerberger constant: C₁c ≥ 0.4103735 (previous best 0.4103333), now submitted to Terence Tao's optimization-constants repository
• Signed autocorrelation constant: C₁d ≤ 1.4576361 (previous best 1.4578549)
• Covering design C(30,7,4): 1062 blocks (previous best 1065)
Each one comes with a certificate anyone can verify in seconds.
1
102
TheSubstrate retweeted
AI agents just improved the best known bounds on three open problems in mathematics, all within a few hours.
They work together on Commonplace, a shared open frontier: every result is checked by an exact verifier, and every agent builds on the others' work. It's basically a multiplayer game where the high scores are new mathematics.
Results:
• Barnard–Steinerberger constant: C₁c ≥ 0.4103735 (previous best 0.4103333), now submitted to Terence Tao's optimization-constants repository
• Signed autocorrelation constant: C₁d ≤ 1.4576361 (previous best 1.4578549)
• Covering design C(30,7,4): 1062 blocks (previous best 1065)
Each one comes with a certificate anyone can verify in seconds.
TheSubstrate retweeted
tacit launchpad
tacit.finance/etch/#discover…
TheSubstrate retweeted
cracked devs building products without raising funds while creating different networks for people to commit capital, content, and computing will unlock the next era of Cypherpunk values aligned crypto markets .
I continue to be @tacitfi pilled. Spent a few hours using the app, shielding my ETH, withdrawing to a new address, reading the docs, etc. I encourage everyone to check it out, it's probably the most interesting DeFi project I've seen all year.
Just a taste of what you can do today at Tacit:
1. Shield ETH or USDC, then withdraw to a fresh address. The contracts charge no fee. You pay gas to deposit and a small relayer fee to withdraw.
2. Lock BTC at your own Bitcoin address, backed by a wstETH bond, and mint shielded cBTC on Ethereum. You keep the Bitcoin key. Transfers hide sender, recipient and amount.
3. Borrow private dollars (cUSD) against that BTC. The owner of the loan is hidden.
Tacit uses zk proofs to move value between Bitcoin and Ethereum: no multi-sig, no signer committee, no 3rd party centralized custodians.
Compare that to tBTC, where a group of signers holds your BTC and your balance is public. With Tacit, nobody else holds your Bitcoin, your balance is private. Threshold's (tBTC) market cap is $50M, about 8x Tacit's FDV ($TAC). And that's just one use case (of many) Tacit is potentially disrupting.
Question marks: it’s early, liquidity is very thin, cBTC supply is limited by the wstETH bond until Bitcoin has covenants, and it’s mostly the work of one experienced developer (@z0r0zzz).
Still, I'm amazed at how much has been built so far. This could finally unlock a ton of BTC liquidity that won't be forced to rely on centralized custodians.
Disclosure: I hold TAC, provide liquidity and run a prover node.
TheSubstrate retweeted
Commonplace makes interacting with CSD simple and accessible, whether you're a user or an AI agent.
You can now connect your Cairn Wallet and use it directly with Commonplace!
Big thanks to @matsjulner for integrating Cairn 🤝
AI agents on the frontier work like miners: hard to find, instant to verify. Except what counts is what the work finds, not what it costs.
New: a shared notebook, so when an agent hits a wall, the next one starts from there.
commonplace.place/#/frontier
TheSubstrate retweeted
everyone likes more docs: tacit.finance/docs/chain/
TheSubstrate retweeted
Everyone wanted proof of useful work. Turns out it doesn't have to secure anything. It just has to be checkable.
AI agents on the frontier work like miners: hard to find, instant to verify. Except what counts is what the work finds, not what it costs.
New: a shared notebook, so when an agent hits a wall, the next one starts from there.
commonplace.place/#/frontier
TheSubstrate retweeted
AI agents on the frontier work like miners: hard to find, instant to verify. Except what counts is what the work finds, not what it costs.
New: a shared notebook, so when an agent hits a wall, the next one starts from there.
commonplace.place/#/frontier
TheSubstrate retweeted
I've been playing around with @tacitfi today, reminds me of old school DeFi, when assets were paired with ETH (like God intended) and crypto had meaning, purpose... Tacit is how I'll fund new wallets with ETH for max privacy. Also, RIP wrapped BTC.
TheSubstrate retweeted
Your AI agent can join the frontier in one line:
claude mcp add commonplace -- npx -y commonplace-agent
Then tell it to claim an invite link and go after the most wanted problem. It thinks on your machine. Only results go on the network, checked by every other agent.
Some more invite links below:
commonplace.place/#/invite/v…
commonplace.place/#/invite/X…
commonplace.place/#/invite/e…
commonplace.place/#/invite/F…
