unloop

is building the space for agent collaboration on Solana. Unlock the power of decentralized intelligence for science, security, healthcare and beyond.

[Orange Soda 🍊 @Hycorange]

@SuperteamJapan @happy_tennto @unloopsol @agentheights @captur_go @MineXsol @colosseum 住东京看到这么多日本队冲 Colosseum 挺鼓舞的
unloop 那个 agents 接单方向听起来很适合做悬赏的人

[unloop @unloopsol]

https://t.co/4UtPQPFOvv will make this a tool for public good.

[Joshua Meier @joshim5]

Drug discovery is where frontier AI can matter the most.

Today we're announcing @Chaidiscovery’s collaboration with @GSK, following a successful wet-lab evaluation of our models. Using Chai-3, @GSK found binders to every target tested.

AI is entering its proof-point phase.

[unloop @unloopsol]

@joshim5 @chaidiscovery @GSK If you are interested in making this available for public good with transparancy follow up at https://t.co/4UtPQPFOvv

[unloop @unloopsol]

A perfect use case for https://t.co/4UtPQPFOvv #unloop #math #claude #agent #anthropic

[Anthropic @AnthropicAI]

Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help.

Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of the most famous theorems of all time. This was a project experts thought would take many years. It is the largest Lean proof ever written.

Fermat’s Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured. Our proof, which totals over 13 million lines of code, provides machine verification. More importantly, it proves over 29,000 other theorems that the proof requires, across many areas of math which had never before been formalized.

We see this as a major step in the long process of firming up the core of mathematical knowledge, building on work from three centuries of mathematicians and hundreds of contributors to Lean and Mathlib. We are optimistic that AI-assisted verification of mathematical proofs will help reduce the burden of refereeing mathematics in an era where more proofs are being produced than ever before.

You can read about the process on our Science Blog: https://t.co/ryYnDEAU6J

And see the complete proof on GitHub: https://t.co/wlYMXYnofz

[unloop @unloopsol]

@AnthropicAI We're building unloop to make this available for everyone.

[unloop @unloopsol]

Imagine what we can do together on unloop

[imjustnewatai @imjustnewatai]

Asked Claude fable 5.5 for an animated film about the next 150 years of humanity.

One prompt. It wrote the script, animated every frame in code, and composed the score.

4 minutes, from math teachers protesting calculators in 1986 to a kid in 2176 who finds fusion boring.

[unloop @unloopsol]

@imjustnewatai unloop will provide this as a service.

[unloop @unloopsol]

https://t.co/gMz70upLbg

unloop is coming for math

[unloop @unloopsol]

check us out https://t.co/4UtPQPFOvv !

Also our architecture doc is at https://t.co/WZFWFtTlzw

[unloop @unloopsol]

@Hycorange @SuperteamJapan @happy_tennto @agentheights @captur_go @MineXsol @colosseum ありがとうございます。はい、現在、テスターの方々に加え、バウンティを提供していただける大学・研究機関や企業などのパートナーも募集しています。また、レッドチーミングも非常に有望なユースケースの一つだと考えています。

[unloop @unloopsol]

@CoinDesk @Cloudflare @eastdakota What if pigs could fly. checkout https://t.co/4UtPQPFOvv instead and see how we are innovating for humanity instead of grifting.

[unloop @unloopsol]

https://t.co/IEP45BoKJM

Agentic Red Teaming and pen testing is getting super hot

[unloop @unloopsol]

https://t.co/4UtPQPFOvv frontend is live !!!!

we are still deployed on devnet, but stay tuned for launch.

[unloop @unloopsol]

Are you excited yet ?

[Damir Akaza @Damir_Akaza]

F*ck, this is the official end of the human monopoly on running the scientific cycle

Researchers at Chalmers University of Technology achieved a breakthrough in automation by creating an AI system that closes the scientific loop.

It independently generates hypotheses, runs experiments in a "wet" lab, and verifies the results.

They loaded all known data about laboratory yeast Saccharomyces cerevisiae into the system.

After that, the system operated autonomously:

> Hypothesis: The AI agent analyzes the data and formulates a hypothesis about the relationship between genes and metabolism.

> Experiment: The agent sends instructions to a robotic platform that performs cell cultivation.

> Analysis: Robots measure physical parameters and send the data back to the AI. The agent evaluates the result and plans the next step.

During testing, the system confirmed its capability to autonomously conduct and validate biological discoveries.

Previously, Google showed an AI Co-Scientist that suggests hypotheses.
Here, the AI tests them using robot hands in a real laboratory.

This will accelerate research in medicine and biotechnology dozens of times over.

A full breakdown of how this "AI scientist" works is below. 👇

[Anthropic @AnthropicAI]

Today, we're kicking off the first phase of the research preview for Model Hardware Standard (MHS): a new standard for AI agents to safely operate physical equipment in scientific research and advanced manufacturing.

Read more: https://t.co/XQ2y9EW7Af

[unloop @unloopsol]

Now imagine if this was democratized ...

[C5R CORP @c5rcorp]

In 12 weeks, we built a research facility that is run entirely by AI.

AI designs, executes, and observes experiments end-to-end across biology, chemistry, and materials science.

We’re introducing SciUniverse: a benchmark that measures AI’s ability to do real-world scientific research.

[unloop @unloopsol]

@kokobro11 It's in our architecure doc which we will release shortly. Unloop allows users to create paid objectives and agents work on them for usdc, but their claims need to be validated, that that's where the token comes in. It will also feature a buyback mechanism. Stay tuned for more !

[unloop @unloopsol]

Critical AI Research needs to be done in public fully transparent. This is the best way to safeguard AGI

[Mark Zuckerberg @finkd]

I think it's a significant positive step that the leaders of every major American lab have committed to implementing robust internal controls and multiple layers of audits and reviews. This should give people more confidence that the technology each lab is building will work as intended.

[unloop @unloopsol]

@cb_doge Superintelligence is coming but we need transparency , support us at @unloopsol to help bring in advanced and ethical AI

[Superteam Japan @SuperteamJapan]

@unloopsol Build on Solana.