Tootfinder

Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Marco Del Tredici, Jacob McCarran, Benjamin Breen, Javier Aspuru Mijares, Weichen Winston Yin, Jacob M. Taylor, Frank Koppens, Dirk Englund
https://arxiv.org/abs/2510.12787

Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
We present Ax-Prover, a multi-agent system for automated theorem proving in Lean that can solve problems across diverse scientific domains and operate either autonomously or collaboratively with human experts. To achieve this, Ax-Prover approaches scientific problem solving through formal proof generation, a process that demands both creative reasoning and strict syntactic rigor. Ax-Prover meets this challenge by equipping Large Language Models (LLMs), which provide knowledge and reasoning, wit…

Trump: Execute drug dealers, free kingpins
Longtime Trump associate and right-wing operative Roger Stone personally lobbied for Hernandez’s release of Juan Orlando Hernandez, who had just started serving a 45-year federal prison sentence for helping to traffic hundreds of tons of cocaine into the United States
— free of charge, Stone claims.
Meanwhile, former Trump campaign manager Brad Parscale has been working for the campaign of Nasry Asfura, the right-wing candidate f…

Trump follows through on an especially ugly campaign promise
He's talked about executing drug dealers for a decade.

Water is the image of life. We came from water, adapted from its all-encompassing presence… and we continue to adapt.
-Imperial Planetologist Pardot Kynes
#dunequotes

I’m not really sure what it means, given the state of the world, but I guess in an aspirational sense, at least, as in “against all evidence to the contrary, here’s hoping 2026 will be a…”
Here’s wishing you all a Happy New Year.
(Except the fascists. They can get fucked.)
💕
PS. You can find people in need in Gaza to donate to at https://

Gaza Verified
We’ve personally had video conversations on Signal with the people from Gaza whose Mastodon accounts on the fediverse are listed here and we verify that their accounts are genuine. – Joy & Aral Balkan

Heute war der erste Tag, wo der #AssSaver #BroTector (ja, ich finde diesen Namen auch schrecklich und genial zugleich 🙄🤓) wirklich half. Bzw. geholfen hätte. Ich wünschte, das Velo, das vor mir fuhr, hätte auch einen gehabt. 💦 Und auch um die

Cowboys’ George Pickens Claps Back At Ex All-Pro After Criticism https://heavy.com/sports/nfl/dallas-cowboys/george-pickens-responds-richard-sherman-criticism/?adt_ei=[email]

There were a number of cool badge cases at Supercon this year. @… kinda vaporwave case was really cool in person.
Also here's @… 's Souis Cuitton purse and ageppert's Speak&Spell

Liebe #Bahnbubble , ob Fahrgast oder Personal: Wenn ihr durch #Leipzig fahrt, oder entsprechende Verbindungen ansagt, und unbedingt dieses lustig klingende #Sächsisch ausprobieren wollt:
Es…

from my link log —
What to do once you admit that decentralizing everything never seems to work.
https://hackernoon.com/decentralizing-everything-never-seems-to-work-2bb0461bd168
saved 2019-08-31

What to do once you admit that decentralizing everything never seems to work | HackerNoon
Lots of tech projects these days, especially crypto-networks, aspire to decentralization. Or their evangelists say they do, because they feel they need to. Decentralization is the new disruption—the thing everything worth its salt (and a huge ICO) is supposed to be doing. Meanwhile, Internet progenitors like Vint Cerf, Brewster Kahle, and Tim Berners-Lee are trying to re-decentralize the Web. They respond to the rise…