pull down to refresh

Coulon Proof Theory: AI Mediation, Topological Functors, and Combinatoricsbeyondturbulence.blogspot.com/2026/01/coulon-proof-theory-ai-mediation.html?m=1
300 sats \ 2 comments \ @beyond_turbulence 26 Jan AI
related
Coulon Blowups: An Analytical White Paperbeyondturbulence.blogspot.com/2026/01/coulon-blowups-analytical-white-paper.html?m=1
210 sats \ 4 comments \ @beyond_turbulence 18 Jan science
Noun vs. Noun Phrase: Formal Isomorphism and Applied Mathematical Structuresbeyondturbulence.blogspot.com/2026/02/noun-vs-noun-phrase-formal-isomorphism.html?m=1
210 sats \ 3 comments \ @beyond_turbulence 9 Feb science
Coulon Conics: Parabolas, Hyperbolas, Ellipses, and Circlesbeyondturbulence.blogspot.com/2026/01/coulon-conics-parabolas-hyperbolas.html?m=1
210 sats \ 3 comments \ @beyond_turbulence 18 Jan science
Non-Backtracking Operators, SAT Phase Transitions, and Functional Cohomologybeyondturbulence.blogspot.com/2026/01/non-backtracking-operators-sat-phase.html?m=1
500 sats \ 4 comments \ @beyond_turbulence 31 Jan devs
Local Phonology and Dependency Structure in Copticbeyondturbulence.blogspot.com/p/local-phonology-and-dependency.html?m=1
420 sats \ 1 comment \ @beyond_turbulence 28 Jan mostly_harmless
Olympiad-level formal mathematical reasoning with reinforcement learningwww.nature.com/articles/s41586-025-09833-y
205 sats \ 2 comments \ @0xbitcoiner 20 Nov 2025 AI
An OpenAI model solved a famous math problem that stumped humans for 80 yearsarstechnica.com/ai/2026/06/openais-math-breakthrough-played-to-ais-strengths/
338 sats \ 0 comments \ @0xbitcoiner 1 Jun AI math
Prime Fields, Text Manglers and Progress Report on Indra
6263 sats \ 0 comments \ @l0k18 1 May 2023 bitcoin
Can the Most Abstract Math Make the World a Better Place?www.quantamagazine.org/can-the-most-abstract-math-make-the-world-a-better-place-20260304/
457 sats \ 7 comments \ @0xbitcoiner 4 Mar science
How Terry Tao Became an Evangelist for AI in Mathwww.quantamagazine.org/how-terry-tao-became-an-evangelist-for-ai-in-math-20260608/
1562 sats \ 2 comments \ @0xbitcoiner 9 Jun AI math science
Intent as Hole: Lambda Calculus, LISP, and the Topology of Actionbeyondturbulence.blogspot.com/2025/10/intent-as-hole-lambda-calculus-lisp-and.html?m=1
436 sats \ 3 comments \ @beyond_turbulence 22 Oct 2025 AI
The AI Revolution in Math Has Arrivedwww.quantamagazine.org/the-ai-revolution-in-math-has-arrived-20260413/
355 sats \ 1 comment \ @0xbitcoiner 13 Apr math AI
What Can We Gain by Losing Infinity?www.quantamagazine.org/what-can-we-gain-by-losing-infinity-20260429/
818 sats \ 1 comment \ @0xbitcoiner 29 Apr math science
Controversial math proof divides experts in bitter academic disputewww.earth.com/news/mochizuki-controversial-math-proof-divides-experts-in-bitter-academic-dispute/
201 sats \ 2 comments \ @south_korea_ln 14 Jun 2025 science
To Have Machines Make Math Proofs, Turn Them Into a Puzzlewww.quantamagazine.org/to-have-machines-make-math-proofs-turn-them-into-a-puzzle-20251110/
268 sats \ 0 comments \ @0xbitcoiner 11 Nov 2025 AI
AI Agents Unleashed: Navigating a World of Intelligent Autonomy in 2025
1185 sats \ 0 comments \ @satcat 7 Mar 2025 AI
Computer Scientists Combine Two ‘Beautiful’ Proof Methodswww.quantamagazine.org/computer-scientists-combine-two-beautiful-proof-methods-20241004/
398 sats \ 0 comments \ @0xbitcoiner 6 Oct 2024 science
Mathematicians issue a major challenge to AI—show us your workwww.scientificamerican.com/article/mathematicians-launch-first-proof-a-first-of-its-kind-math-exam-for-ai/
1145 sats \ 4 comments \ @south_korea_ln 14 Feb AI science
Mathematicians warn of AI threats to profession as industry encroachesarstechnica.com/tech-policy/2026/06/mathematicians-warn-of-ai-threats-to-profession-as-industry-encroaches/
1005 sats \ 16 comments \ @0xbitcoiner 2 Jun AI math
Zinc+: SNARKs for Polynomial Rings - Nethermind Researcheprint.iacr.org/2026/855
564 sats \ 1 comment \ @Scoresby 6 May math bitcoin
Two Researchers Are Rebuilding Mathematics From the Ground Upwww.quantamagazine.org/two-researchers-are-rebuilding-mathematics-from-the-ground-up-20260520/
946 sats \ 3 comments \ @0xbitcoiner 20 May math