Documenting AGI (@DocumentingAGI) header
Documenting AGI (@DocumentingAGI) profile picture

Documenting the milestones and breakthroughs on the road to AGI.

T-? to AGI
Joined November 2016
Photo by Documenting AGI (@DocumentingAGI)Photo by Documenting AGI (@DocumentingAGI)Photo by Documenting AGI (@DocumentingAGI)Photo by Documenting AGI (@DocumentingAGI)Photo by Documenting AGI (@DocumentingAGI)Photo by Documenting AGI (@DocumentingAGI)Photo by Documenting AGI (@DocumentingAGI)Photo by Documenting AGI (@DocumentingAGI)Photo by Documenting AGI (@DocumentingAGI)Photo by Documenting AGI (@DocumentingAGI)
Canva launches Brush, a vision-language model built specifically for design editing. It restyles designs, adapts them to new formats, and applies consistent changes across multi-page designs. Craft, Canva’s first image model, debuted earlier this week at #4 on DesignArena’s leaderboard. In internal testing, Brush matched or exceeded the quality of Canva’s previous setup.
🤝 Paid partnership
Introducing Brush: Our first vision-language model for design. 🖌️ Brush sees your design’s layout, layers and vibe the way you do, and edits alongside you. Fix one line of text, restyle a whole deck or build from a blank page. See what Brush can do 👇
6
12
3
182
15,522
Robyn just opened invite-only access. You describe what you need in one sentence and it spins up agents that already have your context. No setup. Text or web. It comes back with finished work (decks, market maps, briefings) instead of advice. This just killed Instinct.
🤝 Paid partnership
Meet Robyn, the personal agentic platform built around your life and work. - Tell her what you need in one sentence. No setup, ever. - Spin up a fleet of agents preloaded with your context that work while you sleep. - Access it on the web or just text it. - 20hrs/week saved per user. I’m Jenny, and I spent 3 years working with Nobel Laureate Eric Kandel, who mapped out memory in the human brain. We built all of that into Robyn, making it the first AI capable of taking intelligent action. Invite only access opens today. We’re giving out 1000 invite codes. Link in first comment. Comment "Robyn" for 100 free credits.
13
12
4
174
16,578
Rime raised $24 million series A to build the world's first AI voice model that's indistinguishable from a real human called Prism. 2x faster than ElevenLabs, 4x cheaper than OpenAI's GPT-Live and has a 300 ms response time.
🤝 Paid partnership
introducing prism, the world’s first speech-to-speech model you can’t tell from a human in conversation prism has: > 300ms response time, 4x faster than OpenAI GPT-Live > outperforms every other s2s model on intelligence (with NO reasoning) > the first s2s model customizable through reinforcement learning we’re a team of 35 with $35M in funding, and we’re unlocking s2s model adoption faster than openai, google, and x. the first 100 people to sign up here get 1 month free: rime.ai/prism?utm_campaign=p…
5
11
6
170
13,477
Dalet Labs raises $7M pre-seed to launch Scene, an app that generates a personalized feed of lifelike images based on how you browse. It targets low-intent discovery: people who don’t yet know what they want can explore products in context (not just thumbnails), then buy what they see across brands without leaving the app. Built by researchers from Google, Runway, and MIT.
🤝 Paid partnership
We raised a $7M pre-seed to make shopping fun again. @daletlabs generates media just for you: like walking into a mall built around your taste. And you can buy everything in-app. Built by researchers from Google, Runway and MIT. Backed by @lightspeedvp and amazing angels.
5
13
2
201
15,624
Superintelligent Care is here. Concurrence, formerly Amigo, launches what it calls the foundation for Superintelligent Care: a hospital that remembers every patient. Its AI agents call patients on behalf of their hospital, catch what the chart missed, and carry out the plan the doctor chooses. Every outcome feeds a "Health World Model," so each hospital learns from the patients it has already treated. The company has raised $24M. The agents never diagnose, and patient data never leaves the hospital.
🤝 Paid partnership
Today, we’re introducing the next chapter of Concurrence and the world’s greatest leap toward Superintelligent Care. When I was 13 I lost my mom to cancer that should’ve been caught earlier. We’re building a system that sees every patient’s future in time to change the outcome
17
22
5
352
29,658
Mecka is bringing a group of elite engineers and researchers to the League of Legends Worlds finals in a private suite at Barclays Center. Their cofounder and founding engineer are both Challenger (top 50). The invite is open to people with demonstrated high-level skill in any domain, treating strong gaming performance as one indicator of executive control and strategic ability relevant to technical work.
🤝 Paid partnership
The league of legends championship is in the usa this year.. and we booked the largest private box in the stadium @MeckaAI cofounder @jasontheutopian and first engineer Anthony, both ranked challenger as top 50 players in the world So we’re inviting 30 elite engineers, researchers and operators to join us in the ownership suite to watch the finals front and center Anyone with world-class skill in a video game, not just in league, send us your rank or evidence of exceptional ability in what you do The championship is nov 14 at the barclays center in new york Apply by Nov 8. Link in comments
4
9
2
153
15,500
Liquid AI releases LFM3, a family of ~2B-parameter models covering text, vision, audio, omni, and decision tasks, built on a shared tri-hybrid architecture. The models support single-GPU fine-tuning, a 256K context window, and on-device inference with roughly 1 GB memory footprint at 4-bit, with the vision model matching Gemma 4 12B on a set of vision benchmarks despite the size difference. Smaller models that can be specialized and run locally expand options for agent workloads that do not depend on large cloud models.
🤝 Paid partnership
Introducing 𝙻𝙵𝙼𝟹: our new generation of Liquid Foundation Models. With a new tri-hybrid architecture and new multimodal encoders, the LFM3 family is the ideal model suite for specialized intelligence. > 6 model instances, across text, audio, vision, and omni modalities, generative and decision models. > 𝙻𝙵𝙼𝟹-𝟷.𝟽𝙱: text, 256k context window. > 𝙻𝙵𝙼𝟹-𝚅𝙻-𝟸𝙱: vision-language model with video-input support for spatial understanding > 𝙻𝙵𝙼𝟹-𝙰𝚞𝚍𝚒𝚘-𝟸𝙱: tool calls, voice chat, reasoning in 18 languages. > 𝙻𝙵𝙼𝟹-𝙾𝚖𝚗𝚒-𝟸𝙱: an omni model combines vision, audio, and language. > 𝚍𝟷-𝟸𝙱 and 𝚍𝟷-𝙾𝚖𝚗𝚒-𝟸𝙱: decision models with typed outputs and calibrated probabilities in a single pass. Omni adds audio input. > fine-tune on 1 GPU. > a new tri-hybrid architecture > architecture optimized for 14 processor classes across GPUs, CPUs, and NPUs. > 𝙻𝙵𝙼𝟹-𝚅𝙻-𝟸𝙱 is a beast. It performs competitively with Gemma 4 12B (6x larger), and Gemini 3.5 Flash Lite, and GPT-5.6 Luna, with 1.9B parameters. > 𝙻𝙵𝙼𝟹-𝟷.𝟽𝙱 is #1 on the Pareto frontier of device intelligence 𝚙𝚒𝚙𝚎𝚝𝚝𝚎.𝚕𝚒𝚚𝚞𝚒𝚍.𝚊𝚒 Every modality for specialized intelligence. Pick the one that fits your use case, customize it, and run it on-device. 1/ 🧵
9
20
4
258
26,423
Axiom has completed the first full computer-verified proof of the Classification of Finite Simple Groups in Lean, the longest proof in mathematics. AxiomProver’s agent swarm generated about 40 million lines of Lean in 24 days. Agents claimed tasks, audited one another, and merged through GitHub. Every handoff was a proof, so the result is fully trusted. The swarm also found a decades-old flaw in a core pillar of the proof and produced a replacement that experts reviewed. This is one of the strongest demonstrations yet that agent swarms can handle large, correctness-critical work.
🤝 Paid partnership
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.
23
31
7
436
41,673
Colare raised a $2.5M pre-seed for the first technical assessment platform built for hardtech hiring. Candidates solve real problems in CAD, PCB, thermal, and FEA tools in the browser before any interview. Rubrics from domain engineers score the process and trade-offs, not just the final answer, so hiring teams see how people actually approach the work. One wrong hire can mean a failed launch or lost contract. This gives teams a scalable way to see how engineers actually work - from early startups to large aerospace and manufacturing companies. As agents move into the physical world, evaluating the people who build the systems matters more than résumés.
🤝 Paid partnership
We’ve raised a $2.5M pre-seed to fix hardware hiring. The most reliable way to know if an engineer can do the job is to watch them work. In hardware, that’s been almost impossible to do at scale. Colare runs simulation-based assessments that show how candidates actually work, in the tools they’d use on the job, before anyone books an interview. We assess across: - Mechanical (CAD, DFM, FEA) - Electrical (PCB, schematics) - Systems - Manufacturing, & more. Candidates solve problems from first principles. Hiring teams see that across their whole pool, so engineers only interview people who’ve already cleared the bar. We're already working with everyone from seed-stage startups to multi-billion-dollar aerospace manufacturers. If you’re hiring hardware engineers, let’s talk: colare.com/
8
16
6
230
25,057
Eon is launching the Data Resilience Initiative after last week’s PHP2Shell disclosure showed how quickly AI can move from vulnerability to widespread exploitation. As the only data protection company built for the current environment, it is offering three months of agentless, read-only coverage at no cost - resource discovery, classification, ransomware scanning, and daily air-gapped backups - while inviting other security vendors to join with their own tools.
🤝 Paid partnership
I believe we'll look back at this past week as a turning point in cybersecurity. AI is fundamentally changing the speed and scale of cyber threats, and the industry needs to move faster. Today, @Eon_io_ is launching the Data Resilience Initiative, helping companies find and protect their most sensitive data immediately. Eon is the only data protection company founded this decade, and the only one that can be deployed in a day. That's why we feel a responsibility to act. While the cybersecurity industry races to address these new threats, companies can't afford to wait to protect their most critical data. Traditional data protection solutions were built for a different era. They still rely on paradigms from the on-prem world, often taking months to deploy. Eon was built differently. We help companies quickly discover their most sensitive data, identify protection gaps, secure it with air-gapped backups, detect ransomware, and recover rapidly from attacks. As part of the Data Resilience Initiative, any company can start deploying Eon today. To remove barriers to getting protected, we're making Eon available at no cost for the first three months. We're also calling on other cybersecurity and data protection companies to join the initiative.
8
11
3
160
16,643
Nace AI launched Drex for Search, which uses decision models to route document retrieval instead of returning fixed top-k chunks. Across 529 queries on six professional benchmarks, it reports 62% fewer agent steps, 56% fewer input tokens, and a 4-point gain in accuracy.
🤝 Paid partnership
Introducing Drex for Search 🔍 Supercharge your agentic search with Decision-powered retrieval Standard file search holds AI agents back. Drex changes that: • 62% fewer steps to find answers • 56% tokens saved • +4% performance boost across Claude Code, Codex, OpenCode, Hermes, and PI Validated across 6 professional work benchmarks like OfficeQA (529 real-world queries) Upgrade your agentic workflows with the File Search API Try for free: console.nace.ai Faster agents. Cheaper runs. Sharper accuracy.
7
13
2
201
16,405
Strawberry launches 1.0, an AI-native desktop browser with built-in companions that handle parallel research, tab management, meeting notes, and shared team context. Most knowledge work still happens in browser tabs, not terminals or chat windows. Strawberry puts persistent agents directly in that surface - better scraping and automation, isolated sub-agents that can research hundreds of accounts in parallel, and multiplayer context that syncs across a team. Practical step toward agents operating where the work already lives.
🤝 Paid partnership
Delete Chrome Delete Granola Delete Claude Strawberry 1.0 is here, the AI browser that saves your team >100h/week
10
15
3
213
18,721
Over 1,000 mathematicians joined the Assn. for Human Mathematics, pledging to avoid commercial AI and AI-written work. Of them, 654 reject AI for proofs or research ideas. The group condemned OpenAI’s release of 700+ AI math papers as a display of power.
38
32
8
433
40,883
Anthropic and OpenAI devote about 20% to public benefit; Anthropic founders pledged 80% of equity.
8
12
4
171
16,895
Mubit launches a platform that turns repeated agent tasks into small models you own. Change one base URL (or connect existing traces). It identifies recurring work, trains specialized models on it, and refreshes them frequently, while frontier models handle everything else. They also released Banyan Sapling (Apache 2.0), an open model for checking claims against policy and evidence with calibrated probabilities that can say “unsure,” and latte/bench, a benchmark that tests whether agents actually improve from feedback.
🤝 Paid partnership
We started Mubit in Aberdeen. No network, no lab, nobody knew us. We just wanted AI systems that actually work. Today we work with some of the best companies and engineers in the world. And the thing we kept seeing: you and your competitor run the same AI. It should be yours. 🧵 Comment "SAPLING" in the next 48 hours for $100 free credits. Enterprises get the first month free.
13
16
5
255
26,942
Envato launches MonoDesk, a connected workspace for creative freelancers and small teams that runs the full client cycle in one place: leads, proposals, projects, planning, time tracking, client approvals, and invoicing. Accepted proposals become projects automatically. Work is delivered through a client portal, and invoices are generated from the agreed scope, so context doesn’t have to be re-entered across tools. It includes an AI Co-Worker (with MCP support for Claude, ChatGPT, and others) that can draft proposals, status updates, and handle admin steps on top of that workflow. Free in beta.
🤝 Paid partnership
You know us as your creative asset toolkit. Now meet @_MonoDesk, a whole new app from our team, built to handle the boring bits of creative work. Less time on proposals, chasing approvals and sending invoices. More time on the creative side of your business.
9
13
3
198
21,654