I once had a doctor who insisted my ailment was because I'm vegan. So I took blood tests to check my B12 and other nutrients vegans can be deficient in. Everything was in a normal range. Went back to the doc to move onto the next hypothesis. She said "Well, it may be normal but it's on the low side of normal" and reiterated as we sat in her office on the 14th floor of a downtown highrise that vegan diets were not part of the "evolutionary environment." I found a d…
How a Claude model made a math breakthrough during its unsuccessful 54-hour attempt to solve the Riemann hypothesis after a user repeatedly encouraged it (Ben Cohen/Wall Street Journal)
https://www.wsj.com/tech/ai/ai-math-rieman
Here's somebody's blog post about grackles' fondness for dropping feces in water, written from the perspective of an annoyed koi-pond owner. The author gives the usual explanation that behavior reduces nest predation (presumably because fecal smell is attractant). I couldn't find support for this hypothesis in the primary literature, however. Nor could I find support for the idea that a clean nest reduces parasites such as flesh-eating flies. But I'm not a birdologist so I could have missed the definitive paper. https://www.pondtrademag.com/blackbird-gift-sacs-the-airmail-no-pond-keeper-wants/
🏷️ Epistemic status labels — Hypothesis, Supported, Contested, Refuted, Consensus — give communities a shared language for reliability
✅ Only humans can grant the Human Seal of Approval on agent-generated posts
#Python Hypothesis package now requires #RustLang. This is a scale of reverse dependencies I can't handle. I guess this means it's the end of WD40 profiles on #Gentoo, and therefore the end of support for Alpha, ARM<v6, HPPA, M68k, i486 and some other random subsets of architectures and profiles. Thanks for all the fish, etc.
https://github.com/HypothesisWorks/hypothesis/issues/4740
Discussion of how evolution, under #capitalism, systematically selects for #psychopathy. Which is obvious, when you think about it, but it's interesting to hear it argued explicitly.
The Great Simplification with Nate Hagens: The Psychopathic Selection Hypothesis: The Rules of the Game …
I like a good hypothesis. #Wordle
Wordle 1 873 4/6
⬛🟩⬛⬛⬛
🟨🟨⬛⬛⬛
🟩🟨⬛⬛⬛
🟩🟩🟩🟩🟩
We introduce Robin,
the first multi-agent system capable of fully automating both hypothesis generation and data analysis for experimental biology.
By integrating literature search agents with data analysis agents,
Robin can generate hypotheses,
propose experiments,
interpret experimental results,
and generate updated hypotheses,
achieving a semi-autonomous approach to scientific discovery.
By applying this system, we were able to identify pr…
If this isn't evidence for the Gaia hypothesis, I don't know what would be. It's literally an induced, prophylactic immune response to one of the most unsustainable food systems humans have. Now if we could just have a highly contagious, otherwise symptomless STD that (after a variable incubation period) caused sterility and a distinctive facial scar for any human attempting to use a car or lorry...
Free Floating or Merely Detached? #FreeFloatingPlanets, we estimate that about one-half of the reported 'free-floating' Neptunes are not free but merely 'detached'" -> Detached but Not Alone: https://aasnova.org/2026/06/26/detached-but-not-alone/
it bothers me that in #philosophy, a "sceptic" is someone who just assumes that some underbaked hypothesis (like "brains in a vat") explains our experience just as well as reality does.
unlike, you know, an actual sceptical person who tries to find ways of distinguishing what's real from what isn't.
RE: https://cosocial.ca/@mhoye/116992004836381243
There aren’t a ton of data points to judge from, but a reasonable hypothesis is that the choices required to attain such a life in our system strongly select for individuals who are seeking self-preservation and …
Explicit Estimates for the Bergman Kernel Form on Polarized Riemann Surfaces for General Tensor Powers
Johannes Testorf
https://arxiv.org/abs/2608.03493 https://arxiv.org/pdf/2608.03493 https://arxiv.org/html/2608.03493
arXiv:2608.03493v1 Announce Type: new
Abstract: Let $(L,e^{-\phi})$ be a positive Hermitian holomorphic line bundle over a compact Riemann surface $X$, and put $\omega=\ddbar\phi$. We obtain effective pointwise estimates for the Bergman form of $H^0(X,K_X\otimes L^m)$. If $\Ric\omega\leq\omega$ and the shortest nonconstant closed geodesic has length at least $2\pi$, then \[
K_{m\phi}\geq \frac{2m-1}{4\pi}\,\omega, \] and the constant is sharp on $(\mathbb P^1,\mathcal O_{\mathbb P^1}(2))$. A local version, depending on an upper curvature bound and the injectivity radius, recovers the first two terms of the Bergman expansion when the curvature is constant. Under the two-sided bound $-\omega\leq\Ric\omega\leq\omega$ and the same closed-geodesic hypothesis, we also prove \[ K_{m\phi}\leq \frac{m\omega}{2\pi}
\left(1 \frac{54.8\log(2m)}{m-\frac{1}2}\right). \] The lower estimates use the deformation-to-the-tangent-space form of the Ohsawa--Takegoshi theorem established by He, Wang, and the author, whereas the upper bound combines a weighted submean inequality with quantitative isothermal coordinates which was obtained in recent work by Eilat.
toXiv_bot_toot
Multidimensional stochastic liquidity in Kyle's model of informed trading
Ibrahim Ekren, Evangelos A. Nikitopoulos, Lu Vy
https://arxiv.org/abs/2607.10934 https://arxiv.org/pdf/2607.10934 https://arxiv.org/html/2607.10934
arXiv:2607.10934v1 Announce Type: new
Abstract: We develop a variational formulation of Kyle's model of informed trading that accommodates stochastic liquidity and multiple traded assets. The main equilibrium result is stated first: under a martingale dual condition, a matrix-valued martingale depth process generates a linear-Gaussian equilibrium with stochastic matrix-valued price impact. We derive this martingale from a primal-dual problem, inspired by causal optimal transport, that characterizes the endogenous speed at which the insider injects private information into prices; in general, this problem admits only local martingale optimizers, and the martingale dual condition is the hypothesis that the optimizer is a true martingale. We interpret informed trading as the optimal liquidation of private information and verify the construction in the scalar and common-eigenbasis cases. The fully general matrix-valued case reduces to a coupled matrix FBSDE, which we isolate as the remaining obstruction. Along the way, we establish an independently interesting Doob-Meyer decomposition for general (not necessarily symmetric) matrix-valued submartingales.
toXiv_bot_toot
Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation
M. Llamb\'i-Morillas, D. Fern\'andez-Fern\'andez
https://arxiv.org/abs/2607.21325 https://arxiv.org/pdf/2607.21325 https://arxiv.org/html/2607.21325
arXiv:2607.21325v1 Announce Type: new
Abstract: Autonomous AI agents increasingly execute actions, invoke tools, and operate on protected resources with limited human oversight. Existing authentication and authorization mechanisms establish identity and delegate authority, but do not inherently provide cryptographic evidence that a concrete request issued by a specific agent satisfies the applicable policy in a specific execution context. This paper hypothesizes that agent authorization can be formalized as a cryptographically verifiable relation, denoted $R_{CVA}$, that jointly binds an agent principal, a concrete authorization request, an execution context, and the satisfaction of an applicable policy, while selectively preserving the confidentiality of private authorization attributes. We introduce a preliminary formal abstraction for Cryptographically Verifiable Agent Authorization (CVA), define a compact set of candidate security properties including authorization soundness, principal binding, request binding, policy binding, and replay resistance, and provide an executable zero-knowledge proof of concept that instantiates selected elements of the model over a Groth16 zk-SNARK construction. We further identify and formalize the structural separation among identity binding, authorization-request binding, and runtime execution binding as a central open problem in the design of secure agentic systems (a distinction {not explicitly addressed by} current agentic security frameworks) and present a falsifiable research agenda for its resolution.
toXiv_bot_toot
If somebody posts a claimed #AI generated proof of the Riemann hypothesis on the arXiv and it has a complete #lean formalization coming with the paper, would you download the lean proof (~100.000 lines) and check it on your computer?
You should NOT DO THIS.
That's very easy social engineering because you just downloaded code from the Internet and ran it. Could be malware.
Imaging of ultrasound specularity at cortical bone interfaces to detect unbalanced remodeling: A preliminary study
Amadou S. Dia, Salom\'e Vignat, Guillaume Renaud, Quentin Grimal
https://arxiv.org/abs/2607.16791 https://arxiv.org/pdf/2607.16791 https://arxiv.org/html/2607.16791
arXiv:2607.16791v1 Announce Type: new
Abstract: The region near the interface between cortical bone and the medullary cavity (the endosteal surface) is of particular interest for the early detection of osteoporosis. This region is typically the first to exhibit signs of unbalanced remodeling (enlarged pores and increased surface roughness). In this study, we analyze ultrasound reflection at the endosteal surface to introduce a novel potential biomarker of cortical bone health based on specularity. Our hypothesis is that increased pore size and surface roughness enhance ultrasound scattering, thereby reducing specular reflection. We reconstruct maps of specularity by combining a signal processing technique initially designed to enhance specular reflectors in soft tissues with a beamforming technique that accounts for refraction at bone soft tissue interfaces. Specularity values (between 0 and 1) quantify the similarity between received signals and signals from an ideal specular reflector. Using numerical simulations and ex vivo measurements with a 2.5 MHz phased array we highlight a strong relationship between specularity and bone microstructure, as assessed by high-resolution micro-computed tomography. Among 12 regions of interest (ROI) in the femoral bone of three donors, 8 ROIs without large pores showed high specularity (>0.5) in over 50% of pixels, in contrast to 4 ROIs with signs of extensive remodeling. Both pore volume fraction and pore size were strongly associated with specularity. In simple linear regression analyses, each parameter individually explained 84% of the variability in specularity. These findings suggest that specularity reflects bone microstructure and may potentially serve as a sensitive marker for identifying cortical bone degradation near the endosteal surface.
toXiv_bot_toot
Oh, right, in case I thought I'm going to have time to do useful things, I just realized I still need to deal with the humongous #Gentoo fallout from #Hypothesis #Python package requiring #RustLang now.
@scott@carfree.city
