Proof is an online document editor built for agents and humans to collaborate. Fast, free, and no login required.
Simon on Twitter / X
Can AI help connect theorems humans write in papers to proofs computers can check?We just released TheoremGraph (https://t.co/PQ8FcFQGat), and I made a 3Blue1Brown style video overview of the idea.This project was my first real research experience, and it meant a lot. Start… pic.twitter.com/yMUA0QziXM— Simon (@waskaja) June 29, 2026
Docs — Turn your team's content into knowledge
Docs is the open-source document editor that turns your team's content into knowledge: real-time collaboration, structured knowledge, and full data ownership. Self-host it anywhere, or try a public instance in seconds.
Your decentralised & privacy enhancing alternative to google docs
Decentralised Docs: peer-to-peer document editor that keeps your data secure with end-to-end encryption. Real-time collaboration, onchain.
suitenumerique/docs
Docs is an open-source text editor: web-native, made for real-time collaboration, cleanly structured documents and sub-documents with full ownership of your data. Built to scale with Django and React.
Docs as Code: The Best Guide for Technical Writers
Recently, my work has involved writing a lot of documentation and. Doing this has introduced me to...
Google for Developers Blog - News about Web, Mobile, AI and Cloud
An open specification for finding and verifying tools, skills, and agents across the web.Agents are ...
Google for Developers Blog - News about Web, Mobile, AI and Cloud
An open specification for finding and verifying tools, skills, and agents across the web.Agents are ...
Warp on Twitter / X
To make this possible, Oz-managed agents do the heavy lifting (coding, planning, testing). This lets community members focus on ideas, direction, and verification.We believe this workflow will let us build a better Warp, faster.https://t.co/bsVk3DE61V 🔖 pic.twitter.com/KqvR6jkZ40— Warp (@warpdotdev) April 28, 2026
Making Documentation Simpler and Practical: Our Docs-as-Code Journey — Squarespace Engineering Blog
In the fast-paced world of software development, documentation often gets a bad rap. It's perceived as a chore, a necessary evil, and sometimes, unfortunately, an afterthought. But what if writing documentation could be as dynamic and collaborative as writing the code itself? What if it could be si
Building Unforgeable Professional Endorsements with ATProtocol - Nick's Blog
Traditional professional endorsements on platforms like LinkedIn lack cryptographic proof—anyone could forge them, and the platform controls the truth. This article introduces a two-record architecture using ATProtocol's Content Identifiers (CIDs) and Decentralized Identifiers (DIDs) to create mathematically unforgeable mutual attestations. By separating proof creation from endorsement acceptance and leveraging the firehose for distributed validation, we build a system where both parties cryptographically consent and no central authority can manipulate the record.
Hyperlink Academy
It's a lightweight collaborative publishing tool for quick tiny docs that can grow into rich creative surfaces ✨🌱
Why good non-techie user documentation is vital for a wider embrace of the ATmosphere - Debbie's Blatherings - by Debbie Ridpath Ohi
Plus tips on writing good user documentation
Mathematics with large language models as provers and verifiers
During 2024 and 2025 the discussion about the theorem-proving capabilities of large language models started reporting interesting success stories, mostly to do with difficult exercises (such as problems from the International Mathematical Olympiad), but also with conjectures [Feldman & Karbasi, arXiv:2509.18383v1] formulated for the purpose of verifying whether the artificial intelligence could prove it. In this paper we report a theorem proving feat achieved by ChatGPT by using a protocol involving different prover and verifier instances of the gpt-5 model working collaboratively. To make sure that the produced proofs do not suffer from hallucinations, the final proof is formally verified by the lean proof assistant, and the conformance of premises and conclusion of the lean code is verified by a human. Our methodology is by no means complete or exact. It was nonetheless able to solve five out of six 2025 IMO problems, and close about a third of the sixty-six number theory conjectures in [Cohen, Journal of Integer Sequences, 2025].
Mathematics with large language models as provers and verifiers
During 2024 and 2025 the discussion about the theorem-proving capabilities of large language models started reporting interesting success stories, mostly to do with difficult exercises (such as problems from the International Mathematical Olympiad), but also with conjectures [Feldman & Karbasi, arXiv:2509.18383v1] formulated for the purpose of verifying whether the artificial intelligence could prove it. In this paper we report a theorem proving feat achieved by ChatGPT by using a protocol involving different prover and verifier instances of the gpt-5 model working collaboratively. To make sure that the produced proofs do not suffer from hallucinations, the final proof is formally verified by the lean proof assistant, and the conformance of premises and conclusion of the lean code is verified by a human. Our methodology is by no means complete or exact. It was nonetheless able to solve five out of six 2025 IMO problems, and close about a third of the sixty-six number theory conjectures in [Cohen, Journal of Integer Sequences, 2025].
The Transformation of Documents: Repositories Are the New Unit of Knowledge Work
How will documents evolve when AI agents become ubiquitous? In a world of AI agents, does the repository become the source of truth—where humans declare intent, agents turn it into executable artif…
