Francesco P Lovergine 
In these times, I think such a change in the government of public-interest knowledge bases is an important signal.
Curated Hacker News
Mathematical methods and human thought in the age of AI
Artificial intelligence (AI) is the name popularly given to a broad spectrum of computer tools designed to perform increasingly complex cognitive tasks, including many that used to solely be the province of humans. As these tools become exponentially sophisticated and pervasive, the justifications for their rapid development and integration into society are frequently called into question, particularly as they consume finite resources and pose existential risks to the livelihoods of those skilled individuals they appear to replace. In this paper, we consider the rapidly evolving impact of AI to the traditional questions of philosophy with an emphasis on its application in mathematics and on the broader real-world outcomes of its more general use. We assert that artificial intelligence is a natural evolution of human tools developed throughout history to facilitate the creation, organization, and dissemination of ideas, and argue that it is paramount that the development and application of AI remain fundamentally human-centered. With an eye toward innovating solutions to meet human needs, enhancing the human quality of life and expanding the capacity for human thought and understanding, we propose a pathway to integrating AI into our most challenging and intellectually rigorous fields to the benefit of all humankind.
sayzardfly51fly (@fly51fly)
NVIDIA 연구진이 발표한 ‘AVO: Agentic Variation Operators for Autonomous Evolutionary Search’ 논문을 공유한 트윗이다. 자율적 진화 탐색을 위한 에이전틱 변이 연산자를 제안하는 연구로, AI 탐색·최적화 분야의 새로운 방법론을 다룬다.
fly51fly (@fly51fly)
AI 추론 과정을 얼마나 읽기 쉽게 표현할 수 있는지 측정하는 연구 논문이 공개되었습니다. 사람의 이해가 다른 사람의 추론 과정을 가르치는 데 도움이 되는지 검토하며, 모델의 reasoning trace 해석 가능성과 교육 가능성을 다룹니다.
Transformers are Bayesian Networks
Transformers are the dominant architecture in AI, yet why they work remains poorly understood. This paper offers a precise answer: a transformer is a Bayesian network. We establish this in five ways. First, we prove that every sigmoid transformer with any weights implements weighted loopy belief propagation on its implicit factor graph. One layer is one round of BP. This holds for any weights -- trained, random, or constructed. Formally verified against standard mathematical axioms. Second, we give a constructive proof that a transformer can implement exact belief propagation on any declared knowledge base. On knowledge bases without circular dependencies this yields provably correct probability estimates at every node. Formally verified against standard mathematical axioms. Third, we prove uniqueness: a sigmoid transformer that produces exact posteriors necessarily has BP weights. There is no other path through the sigmoid architecture to exact posteriors. Formally verified against standard mathematical axioms. Fourth, we delineate the AND/OR boolean structure of the transformer layer: attention is AND, the FFN is OR, and their strict alternation is Pearl's gather/update algorithm exactly. Fifth, we confirm all formal results experimentally, corroborating the Bayesian network characterization in practice. We also establish the practical viability of loopy belief propagation despite the current lack of a theoretical convergence guarantee. We further prove that verifiable inference requires a finite concept space. Any finite verification procedure can distinguish at most finitely many concepts. Without grounding, correctness is not defined. Hallucination is not a bug that scaling can fix. It is the structural consequence of operating without concepts. Formally verified against standard mathematical axioms.
terrorist :: FelineJust discovered a hep-th article on #arXiv that is very likely AI-generated.
The items in bibliography are basically made-up.
Thermodynamic Topology of 4D Charged AdS Black Holes with $F^{αβ}F^{γλ}R_{αγβλ}$ Coupling
We investigate the thermodynamic phase transitions of a four-dimensional charged anti-de Sitter black hole endowed with a non-minimal coupling of the form $F^{αβ}F^{γλ}R_{αγβλ}$. Using perturbative methods, we derive a consistent black hole solution and analyze its thermodynamics through both conventional equilibrium techniques and a topological defect classification approach. The system displays van der Waals-like critical behavior, with a swallow-tail structure in the free energy and distinct phase branches. The topological analysis independently confirms the existence of critical points and classifies the system within the universal topological scheme for black hole thermodynamics.
fly51fly (@fly51fly)
대규모 언어모델을 활용한 형식적 반례 생성 연구 'Learning to Disprove: Formal Counterexample Generation with Large Language Models'가 소개되었다. 정리·검증이 필요한 수학/논리 문제에서 LLM을 반례 생성 도구로 쓰는 새로운 연구 방향을 제시한다.
Simon D.La plateforme de preprints arXiv devient une structure indépendante à but non lucratif
https://next.ink/230231/la-plateforme-de-preprints-arxiv-devient-une-structure-independante-a-but-non-lucratif/
Après 35 ans au sein du laboratoire de Los Alamos puis de l’université Cornell, la plateforme de preprint s’institutionnalise pour diversifier ses sources budgétaires mais aussi avoir une organisation des ressources humaines plus claires.
Francis Villatoro#QuantaMagazine Are Strings Still Our Best Hope for a Theory of Everything? Natalie Wolchover www.quantamagazine.org/are-strings-... On papers with few citations #arXiv Strings from Almost Nothing arxiv.org/abs/2508.09246 & #arXiv String Theory from Maximal Supersymmetry arxiv.org/abs/2601.11705
Are Strings Still Our Best Hop...
Are Strings Still Our Best Hop...
Francisco R. Villatoro#QuantaMagazine Are Strings Still Our Best Hope for a Theory of Everything? Natalie Wolchover https://www.quantamagazine.org/are-strings-still-our-best-hope-for-a-theory-of-everything-20260323/ On papers with few citations #arXiv Strings from Almost Nothing https://arxiv.org/abs/2508.09246 & #arXiv String Theory from Maximal Supersymmetry https://arxiv.org/abs/2601.11705