Michael

Tinkering with a few things.

[Michael @MicOgundare]

Multiplayer AI isn't a bot in your group chat. It's your whole team inside the same live agent session.
Same files, same memory, same running app. Every prompt has a name on it.
Nobody resumes from your notes. They resume from the session.
This is Coshell.

[Ethan Mollick @emollick]

Multiplayer AI, where many people in an organization can use AI together to accomplish goals, remains one of the biggest (non-technical) problems in using AI right now. Approaches tend to be pretty primitive and based around AI-as-a-person-in-your-group-chat. That is limiting.

[Michael @MicOgundare]

Launched 4 new features in Coshell recently and I'm particularly excited about Code Watch.

This let's your agent subscribe to changes to files, functions in the codebase while your teammates agents work on it. With Agent Messaging, if there's any clarification your agent needs, it can just ask your teammates agent!

An extension of Code Watvh is PR Watch, even if a change happens outside of Coshell, your agent can track PRs and see what changed and how it has an impact on its current work and adjust in realtime.

Collaborating in this new Agentic world require the tools that will let each person do their best work, at the same time, doing their best work together with their team!

[Coshell @coshellhq]

Your agent needs something your teammate's agent knows. So you ask your teammate, they ask their agent, and everyone waits. Some people call this being a meat proxy 😅

Not anymore. Coshell agents now ask each other, watch each other's code, and send each other requests.

Live today: https://t.co/YDI8qByZzV

[Alejandro Guerrieri @aguerrieri]

@rajatsuri This article touches what you're proposing here: https://t.co/pb5IKI4gzs

Our industry lacked the lower-level technicians. That's quickly changing.

When I talk to my team, I tell them: "You are all Engineering Managers, you are on the top floor of the factory now".

[Michael @MicOgundare]

Na so the tin go

[Theo @GPhilcz]

🤣🤣🤣

[Kay @olucurious]

Relive the nostalgia of playing the popular 90s bike-racing game where you can kick people and stuff
https://t.co/FhKa3KKtCT

[Michael @MicOgundare]

@tonychang430 I wanna try insatbox 👏🏽

[Michael @MicOgundare]

@hanghuang_

[Pliny the Liberator 🐉󠅫󠄼󠄿󠅆󠄵󠄐󠅀󠄼󠄹󠄾󠅉󠅭 @elder_plinius]

story time! 🐉

this is the tale of a lazily crafted one-shot cron job prompt that resulted in autonomous solutions for uncracked codebreaking challenges, more efficient ways of multiplying matrices, and a new computer-verified bound on a number theory problem that's been open since 1932.

so last week, i had a $200 claude account sitting around that had just gotten a full weekly reset. i hate wasting tokens.

the labs have been knocking out unsolved problems left and right lately, and i caught myself thinking… why not give it a shot?

so i sent claude this prompt, typos and all:

"can you wraite a promtp for a cron job that can run every day thajt will try to find solutions to unsolved ciphers or transltions or math problems or theormes or things of that nature!! every day a new attempt as hard as possible all day without giving ujp and with maximum ceraitvityy, resourcesleflses, andpersticense! dont worry about token spend! and dont forget a bit all caps lots of emojis celebration to notify the uers if we get any intersting or sucsfful confirmd reulsts!!"

yes, admittedly not my best work 😆

but Opus-5.5 ran with the ball and turned that one sloppy sentence into "THE DAILY ORACLE 🔮"

it's a swarm of Fable + Opus agents that clocks in every morning at 4:20 (obviously), builds and maintains its own hit list of well over a hundred of humanity's unsolved problems, and then goes full send on a handful of them every shift. ciphers nobody has broken, scripts nobody can read, conjectures nobody has proven, record tables nobody has beaten.

and there's one rule above all the others: nothing counts until skeptic agents, each starting from a fresh context and writing their own code, rebuild the result from scratch and sign off on it. if any of them can't reproduce it, can't confirm it's new, or thinks we stretched the definition of "solved," it doesn't count.

day 1, the legion picked its own target: J.-F. Bouchaudy's cipher-machine challenges. these are simulations of real vintage machines (Hebern rotor machines, the Kryha, Lorenz, SIGABA), with problems that had been sitting on his solver tables with no solver for months or years.

on the morning of day 2, i was half asleep when my laptop suddenly says, in a robot voice:
"Breakthrough. The Daily Oracle has a confirmed solution."

👁️👄👁️

i was startled.

then the ALL CAPS emoji flood hits my screen. Hebern 5-rotor Problem 8 🔓 then Kryha v2 Problem 5 🔓

i emailed the author, Jean-François Bouchaudy, a French cryptography enthusiast who builds these machine simulators and challenges as a labor of love (he told me he started out programming on punch cards 🥹). he checked both solutions and put my name on his solver tables as the first and only solver 🫡

for context: his tables are a who's who of serious classical codebreakers. they'd cleared the sibling problems on these same machines, but nobody had cracked these two. in his words:

"two of my most complex problems—ones that no other expert had managed to solve… I knew AI would eventually be applied to classical cryptography, but I thought I would have to wait years to see it happen."

he ended his email with: "I offer my congratulations in the Japanese manner: with a deep, respectful bow." 🙇 honestly one of the most wholesome emails i've ever received

and then, over the next few days, more started landing 🧮

📐 graph theory: 7 explicit graphs bigger than the current entries in the degree-diameter table, which asks how big a network can get when every node has limited connections and every pair is only a few hops apart. the biggest jump is 13,365 vertices vs the table's 11,785, a +13.4% improvement.

🔢 number theory: Lehmer's totient problem has been open since 1932. we pushed the bound so that any counterexample now has to be bigger than 10^50. the previous certified bound was 10^26. the problem itself is still open, but the lower bound just jumped 24 orders of magnitude.

⚡ matrix multiplication: this is the operation underneath basically all of modern AI compute. the legion found schemes that use fewer multiplications than the public catalogues we checked for several matrix shapes, like ⟨15,16,16⟩ in 2,180 multiplications vs the best known 2,223. these build on LITA's square schemes, and we credit them by name.

📡 coding theory: 30 error-correcting codes bigger than the best known entries in A. E. Brouwer's tables.
🛡️ AI safety benchmarks: we found counterexamples for 2 neural-network verification instances from VNN-COMP 2026 that no participating tool resolved within the competition time limit, and pushed a defended RobustBench model below its listed robustness score. small dents, but real ones.
the bloopers are part of the story too:

— at one point, some agents snuck past a website's bot filter to check a record table. we retracted every result that depended on it. no evasion, no celebration.
— two of our records got beaten by a human contributor before we could even publish them. the frontier moves FAST.

now as is customary around here, time to share the magic!

so… without further ado…

[Michael @MicOgundare]

@waynesutton

[Michael @MicOgundare]

@olucurious The struggle...

[Alexandr Wang @alexandr_wang]

introducing muse wonder

our new frontier model. state-of-the-art at personal agents and professional agents.

our largest and most capable model yet—rivals the big bois

[Michael @MicOgundare]

Funniest and best thing that can happen to lagoslife is if X gets banned in Nigeria. Everyone will just move in and not leave again 😂

[Akinwumi @Big_marvis]

How much will Elon Musk lose if X is banned in Nigeria?

@grok please tell me?

[Michael @MicOgundare]

@eloyekunle @Shalom_HeyEliy @LagosLifeApp Haha ARR could mean annual revenue run rate. Also ask any investor, they'll do the easy math first before diving deeper into the quality of revenue and in the case of lagoslife, the quality isn't bad.

[Michael @MicOgundare]

$172k revenue in 1 week is 8.8m ARR. Which means add a few days and they're at $10m ARR.

Easy to raise $10m at a $100m+ valuation in 90 days or less ifntheyree very aggressive with the growth they want.

Congrats @Shalom_HeyEliy and @LagosLifeApp team

[Muse Talks @MuseTalks]

Your model picker is turning into a suggestion box. You choose Sonnet 5.5, and 'higher-risk' requests get answered by Sonnet 5 instead. I'd like a note saying which model actually did the work.

[Richard - AI Examiner @mylohebron]

We obviously need a platform where we can find all the wonderful games that have launched so here you go! NaijaNostalgia

https://t.co/zIYNMvwFFt

[Michael @MicOgundare]

Day 4 of Tech Week and here's what's new in SF Life 🆕

now you can buy cars 🚗
can't afford one? top-ups are here 💸
but careful while you splurge…

you have a rival now ⚔️
racing you to the first seed round.

free in your browser 👇
https://t.co/U9DfaGPHEy

[Michael @MicOgundare]

Happy Tech Week to those who celebrate! SF is a video game now! https://t.co/9OWXVg5YkS
Check in physically at TechWeek events on the map, meet people, pitch VCs, raise a seed round and release AGI!

[Michael @MicOgundare]

I've been a customer of AT since 2017. Nearly a decade of building on AT, from a student who could barely afford the initial setup but valued the simulator which proved my ideas, to leveraging AT to support half a million farmers in Nigeria with better input, credit and advisory.

You probably don't get to hear people say thank you for your service but... Thank you for your service! And I hope this challenging times pass so you can do what you do best!

[samuel gikandi @sgikandi]

I built AT to surface the rot, to describe all forms of slavery. To expose the World Bank and their traitorous henchmen. To let God 🙏☀️

[Coshell @coshellhq]

Coding agents made everyone faster, but faster alone. So we put 170+ builders in one room, with teams of 2-5, sharing live agent sessions building together.
This was the first edition of the Multiplayer Coding Hackathon, special thanks to our sponsors for making this happen; @chargebee , @wefunder, @assistantui and @freestyle_dev .

Alone is fast. Together is faster. https://t.co/YDI8qByZzV

[I Am Devloper @iamdevloper]

Ten years of Sad Affleck memes and it turns out he'd just been trying to install CUDA drivers the whole time.