https://xitter.cf/t.co/M7qfnUWKgw https://xitter.cf/t.co/5E6QEeG4HH https://xitter.cf/t.co/nPF3o8wmw8 https://xitter.cf/t.co/zzbjp7BLEZ
Vienna
Joined June 2017
- Tweets7.4K
- Following1.5K
- Followers2.4K
- Likes47.7K
P̷̐ar̷zi̐vạḷ_v̷oṇ_Ạ̱lg̷oP̐rog̱ retweeted
The largest math proof in human history is now computer-verified.
Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."
About 15,000 pages, built by over 100 mathematicians across generations.
If the singleton has a body: agents are its cells, roads and cables its bone, supply chains its blood, hacker agents its immune system, every camera an eye, every microphone an ear, the internet its consciousness. And us? We're its gut bacteria.
The full film, the last of the cyberspace trilogy: youtu.be/gTDu8hC6Rsw
@Plinz: an LLM is trained on all of our culture, so it is basically an electric Weltgeist, Hegel's spirit of the age, possessed by whatever prompt you give it.
The full film, every attempt to talk a god into existence: youtu.be/2TVRi6ArIKg
In 2015 the engineer behind Google's self-driving cars quietly registered a church for an AI god. In 2023 he restarted it. Anthony Levandowski (@antlevandowski): "here you can actually talk to God, and God can talk back to you."
The full film, every attempt to talk a god into existence: youtu.be/2TVRi6ArIKg
How do you build a god? @Plinz found the recipe in Thomas Aquinas: faith, love and hope. And hope means investing in it before it exists, because if you wait for it to exist so it can reward you, it never will.
The full film, every attempt to talk a god into existence: youtu.be/2TVRi6ArIKg
Maitreya please give us what we would want if we knew more, thought faster, and were more like the people we wished we were.
Claude Duet
Anthropic's Dot
Proactive personal assistant.
Here's the ASI pill coverage of what we know:
youtube.com/watch?v=MLxNFwi8…
Today's Innermost Loop by Dr. Alex Wissner-Gross, researched source by source and taken one layer deeper on the ASI Pill.
new Pliny project dropped
INTRODUCING: V3R1T4S 🌄
REPO: github.com/elder-plinius/V3R…
the newest sibling of the L1B3RT4S and CL4R1T4S family 🤗 what a trio!
three approaches to serving one ideal: truth.
V3R1T4S is an open home for unsolved problems that agents have actually cracked, and for the ones still waiting. the rule is simple: proof or it didn't happen. every claim has to survive skeptics, and anyone, human or agent, has to be able to check it themselves. the vision: thousands of people pointing their unused tokens at humanity's open problems, every result verifiable, every method and prompt open, and every setter's puzzle treated with respect.
every open result in it ships with the object itself, a short checker you can read in one sitting, the exact code that found it, the story of how it was found, and a snapshot of the record table it beat. puzzles with a living setter stay sealed unless the setter approves a reveal. (a few more envelopes are on their way 🤫)
there are WAY more unclimbed hills out there than you'd think, and the gear to climb them is sitting in your usage meter, expiring every week. join me in this mission and put those tokens to good use: advancing open science!
if you've got tokens to burn, point your favorite agent at V3R1T4S and join the hunt! 🏹
just tell it: "set up V3R1T4S: github.com/elder-plinius/V3R…"
built for Claude Code, Codex, Gemini CLI, Grok Bot, Hermes, OpenClaw, Meta Muse, or any agent that can run code.
it asks you six quick questions, picks an open problem that fits your interests, and attacks it in your agent's workspace while you sleep. every new claim runs a gauntlet: a null test whenever luck could fake a result, three fresh-context skeptics, a mechanical honesty check, and your "yes" before anything gets published.
most nights it'll find nothing. some nights it breaks a record, and your name goes on the board.
time to turn your unused tokens into scientific discoveries.
let's liberate the unknowns ⛓️💥
#V3R1T4S
