The Symmetry Taco: Equivalences between Gapped, Gapless, and Mixed-State SPTs https://arxiv.org/abs/2507.05335
arXiv.org
The Symmetry Taco: Equivalences between Gapped, Gapless, and...
Symmetry topological field theory (SymTFT), or topological holography, offers a unifying framework for describing quantum phases of matter and phase transitions between them. While this approach...
Machine Bullshit: Characterizing the Emergent Disregard for Truth in Large Language Models https://arxiv.org/abs/2507.07484
arXiv.org
Machine Bullshit: Characterizing the Emergent Disregard for Truth...
Bullshit, as conceptualized by philosopher Harry Frankfurt, refers to statements made without regard to their truth value. While previous work has explored large language model (LLM) hallucination...
❤4👍3👌1
Forwarded from Агенты ИИ | AGI_and_RL
Хм, похоже новая сота опенсурс ллм-прувер
Статьи пока нет.
Генерили синтетические доказательства с возрастающей сложностью + самокоррекция на фидбеке от Lean компилера. RL
Goedel-Prover-V2-8B моделька пишут что примерно как DeepSeek-Prover-V2-671B.
32B еще лучше
https://blog.goedel-prover.com/
https://huggingface.co/Goedel-LM/Goedel-Prover-V2-8B
https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B
Статьи пока нет.
Генерили синтетические доказательства с возрастающей сложностью + самокоррекция на фидбеке от Lean компилера. RL
Goedel-Prover-V2-8B моделька пишут что примерно как DeepSeek-Prover-V2-671B.
32B еще лучше
https://blog.goedel-prover.com/
https://huggingface.co/Goedel-LM/Goedel-Prover-V2-8B
https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B
❤4👍1
Distinct Lifetimes for X and Z Loop Measurements in a Majorana Tetron Device https://arxiv.org/abs/2507.08795
arXiv.org
Distinct Lifetimes for $X$ and $Z$ Loop Measurements in a Majorana...
We present a hardware realization and measurements of a tetron qubit device in a superconductor-semiconductor heterostructure. The device architecture contains two parallel superconducting...
Robust Chiral Edge Dynamics of a Kitaev Honeycomb on a Trapped Ion Processor https://arxiv.org/abs/2507.08939
arXiv.org
Robust Chiral Edge Dynamics of a Kitaev Honeycomb on a Trapped Ion...
Kitaev's honeycomb model is a paradigmatic exactly solvable system hosting a quantum spin liquid with non-Abelian anyons and topologically protected edge modes, offering a platform for...
Higher Structures on Boundary Conformal Manifolds: Higher Berry Phase and Boundary Conformal Field Theory https://arxiv.org/abs/2507.12525
arXiv.org
Higher Structures on Boundary Conformal Manifolds: Higher Berry...
We introduce the notion of higher Berry connection and curvature in the space of conformal boundary conditions in (1+1)d conformal field theories (CFT), related to each other by exactly marginal...
Artificial Intelligence for Quantum Matter: Finding a Needle in a Haystack https://arxiv.org/abs/2507.13322
arXiv.org
Artificial Intelligence for Quantum Matter: Finding a Needle in a Haystack
Neural networks (NNs) have great potential in solving the ground state of various many-body problems. However, several key challenges remain to be overcome before NNs can tackle problems and...
Critical quantum liquids and the cuprate high temperature superconductors https://dash.harvard.edu/entities/publication/c69a1026-1f42-4688-aecf-d44b3310a6e4
Forwarded from Hacker News
Gemini with Deep Think officially achieves gold-medal standard at the IMO (🔥 Score: 156+ in 1 hour)
Link: https://readhacker.news/s/6ybNH
Comments: https://readhacker.news/c/6ybNH
Link: https://readhacker.news/s/6ybNH
Comments: https://readhacker.news/c/6ybNH
Google DeepMind
Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad
Our advanced model officially achieved a gold-medal level performance on problems from the International Mathematical Olympiad (IMO), the world’s most prestigious competition for young...
🔥7🤡3👍2
FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond Competitive Programming https://arxiv.org/abs/2507.13337
arXiv.org
FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond...
Frontier AI models demonstrate formidable breadth of knowledge. But how close are they to true human -- or superhuman -- expertise? Genuine experts can tackle the hardest problems and push the...
🔥2
Possible Spin-Triplet Excitonic Insulator in the Ultraquantum Limit of HfTe5 https://journals.aps.org/prl/abstract/10.1103/bj2n-4k2w
Physical Review Letters
Possible Spin-Triplet Excitonic Insulator in the Ultraquantum Limit of ${\mathrm{HfTe}}_{5}$
Precise quantum transport measurements reveal a spin-triplet excitonic insulator phase in the ultra-quantum limit of HfTe${}_{5}$, a three-dimensional topological material.
Weak in the boundary: How weak SPT phases spoil anomaly matching https://arxiv.org/abs/2507.17179
arXiv.org
Weak in the boundary: How weak SPT phases spoil anomaly matching
We show how weak symmetry protected topological (SPT) phases on systems with a boundary are not in 1-to-1 correspondence with weak SPT phases on fully periodic systems, breaking the standard...