unprovable
- Karma
- 0
- Created
- ()
- Submissions
- 0
- The Fate of the Riemann Hypothesis [pdf] (math.brown.edu)
- Matter, Memory, and the Paradox of Perception – Popova on Bergson (themarginalian.org)
- In Hilbert Space, All Things Are Quantumly Possible – Charlie Wood, Quanta (quantamagazine.org)
- Proof.fail – document what didn't work (proof.fail)
- AI for science needs reasoning, not just data – Eric Schmidt and Suhas Mahesh (technologyreview.com)
- The Equations of Reasoning – Pathway AI (pathway.com)
- Aperiodic Tilings (presheaf.blogspot.com)
- A composer published a paper in physics. His lack of credentials drew criticism (retractionwatch.com)
- A Note on Hidden Shifts as Hidden Subgroups for Quantum Cryptanalysis (presheaf.blogspot.com)
- AI Has Come for Serif Fonts (wired.com)
- PQ-SORT – Visualiser for the performance of PQC signatures (pqsort.tii.ae)
- Inexpressibility in Exp-Minus-Log (EML) (arxiv.org)
- Aristotle from HarmonicMath has solved Erdős Problem 124 in LEAN (xenaproject.wordpress.com)