Isaac

Physics

[Isaac @Tekalign3773]

This is huge! I am curious to know how you are using agents. It never worked for me. @DavidTurturean

[David Turturean @DavidTurturean]

I solved my 3rd Erdős problem, #870, with ChatGPT-5.5-Pro, then verified it by formalizing the whole proof in Lean 4, sorry-free and axiom-free! With about 180,000 lines of Lean code, as far as I can find, no one person has formalized a single problem at this scale. 🧵 1/n

[Isaac @Tekalign3773]

@endu_29 😀😁😆😅😂🤣😇

[Zama @zama]

The Steakhouse Confidential Prime USDC Vault on @Morpho is now live.

Deposit confidential USDC (cUSDC) into the @SteakhouseFi-curated vault to earn yield by lending against blue-chip collateral, while keeping individual positions confidential onchain.

[Isaac @Tekalign3773]

@buildwithhassan Isn't that fixed in the new version ?

[Isaac @Tekalign3773]

@connoratlunon https://t.co/rkSu1J0OQz

[Ethlabs @ethlabs_org]

Announcing Ethlabs: a non-profit R&D lab for Ethereum and ETH

Our mission is to make Ethereum the settlement layer of the global economy.

The internet became global because shared protocols created a common language between networks. Private systems remained useful, but bounded. Finance is approaching a similar moment. As value, assets, and markets become digital, the world needs shared settlement infrastructure.

Ethereum is uniquely positioned to become that shared base layer, the neutral foundation on which users, institutions, and agents can transact without intermediation.

What we believe:

• We believe credible neutrality matters. Ten years of uptime and the lowest counterparty risk. Ground that cannot be pulled away by any one country, institution, company, or person.

• We believe ETH matters. The most valuable, programmable store of value. A decade of broad distribution, deep liquidity in onchain markets, and maximally trustless asset on Ethereum.

• We believe DeFi matters. Markets, liquidity, credit, exchange, and coordination, open to anyone.

• We believe adoption matters. Principles do not change the world until people benefit from them.

We sit between two worlds: real usage from the builders at the frontier, and the protocol that has to support it. We work with users, applications, wallets, L2s, infrastructure teams, institutions, ETH holders, core devs and researchers, then turn what they actually need into protocol work, shared standards, infrastructure, and shipped products.

Ethlabs is independent but Ethereum is a shared project. We are one node in a much larger network of stewards. This is the multi-node future.

We have spent the better part of the past decade contributing to Ethereum core research and development.

We are opinionated and transparent. We move with urgency, learn in public, and course-correct when we’re wrong.

We are building a lean, talent-dense team for people who want to do the most important work of their careers: [email protected]

[Isaac @Tekalign3773]

@Angaisb_ I am curious how does the csv file contains you DNA data ?

[Isaac @Tekalign3773]

@JaydenDavisNC How did you get access?

[Isaac @Tekalign3773]

@deforestpeg Cool , can we have multiplier games(agent vs human , agent vs agent ....) for similar classical strategic games

[Isaac @Tekalign3773]

@DevIce8I @marcebit For sure ? Actually this makes sense

[Isaac @Tekalign3773]

@marcebit It's sad that people doesn't refere source information.

[Paul Frambot 🦋 @PaulFrambot]

One of the next frontiers for onchain lending will be privacy: the ability for institutions to allocate, earn, and manage positions without showing their strategy to the entire market.

Today we announce with @Zama the launch of the first confidential vault: confidential USDC can be deposited into Morpho Vaults, allowing institutions to earn yield on their stablecoins without exposing their positions.

[Isaac @Tekalign3773]

Interesting

[Zama @zama]

The thesis is simple: confidentiality shouldn't cost you UX. Shield the assets you already use, on the chains you're already on. No new wallets. No bridging. Balances and transfers, encrypted onchain.
The Zama app goes live on Wednesday, 12PM CET.

[Isaac @Tekalign3773]

@KevinWSHPod why?

[Isaac @Tekalign3773]

@RBehiel This is interesting. waiting 🕘

[Isaac @Tekalign3773]

@DagmawiBabi 🫴

[Bartosz Naskręcki @nasqret]

With Codex, and as part of the https://t.co/7lJzIITpQj community effort, I managed to improve on Google's top March result for designing Shor’s algorithm below 1,200 qubits. The Google team's result was 1,175 qubits. Our result from tonight is 1,170 qubits.

This is a major milestone for implementations of Shor’s algorithm. I’m very excited, and the community is in shock. With just a few GPUs and a top programming agent, we managed to improve on the result of a professional team using many server GPUs.

There is a fantastic community behind https://t.co/7lJzIITpQj, and I want to emphasize that the whole challenge is a community effort. My contribution was experience with agentic coding, combined with some mathematical background in quantum computation and cryptanalysis.

There is a strong feeling here of Rich Sutton's bitter lesson: scaling agents and letting them intelligently explore the landscape may matter more than local tweaks. This has been my philosophy over the last few months in every project, including algebraic geometry and the hard algebra I usually do in my research.

I think this also showcases how clever engineering with the best coding agents, together with a good understanding of how to guide them, can significantly increase our productivity.

[Isaac @Tekalign3773]

@MrBeast Nice

[Taelin @VictorTaelin]

if Symbolic AI works, we'll all have OSS Fable at home (:

that is why this crazy bet is so compelling

there is no technical or theoretical reason for it not to, it ""just"" would take a lot of genius and insight to solve some open problems in a grossly under-developed field