Solving quantum algorithms with AI by @eigencloud. Science is accelerating and open source is going to drive that. NEAR is shipping post quantum crypto end of Q2 to make sure everyone has time to upgrade.

Solv's foundational cross-chain architecture is now unified under @chainlink's CCIP standard. Check this one pager on how Solv leverages @chainlink's security standards to make $BTC more productive in DeFi ↓

Google just solved 9/353 open Erdős Problems at the cost of a few hundred dollars each using its most capable LLM. The proofs were written in Lean and mechanically verified. This is no longer just olympiad mathematics.

House Problem Solvers Caucus co-chair Rep. Tom Suozzi (D-NY) argues both parties have “to get back to those basic, fundamental messages” on the economics of Americans’ lives, adding, “Enough with the finger-pointing and the culture wars.” Co-chair Rep. Brian Fitzpatrick (R-PA) agrees, both parties are “failing” to “focus like a laser on the economy, on these budgets.” “We cannot ignore the fact that half of Americans are stressing over their family budgets, and that’s got to drive the legislative agenda,” says co-chair Rep. Brian Fitzpatrick (R-PA), adding that both parties are “failing” to “focus like a laser on the economy, on these budgets.”

Anthropic needs to solve the computer/power problem or they will be the Friendster of the AI era. I just ran a semi-complicated stock screening prompt on all four major AIs: Grok, Gemini, ChatGPT and Claude. The first three returned comparable results. Claude refused to do the work. Not the way to win guys…