DEV Community

# research

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
Random 3-SAT Phase Transition Revisited: Empirical Reproduction, Lean 4 Formalization, and D-FUMT8 Interpretation Layer
fc0web profile

Random 3-SAT Phase Transition Revisited: Empirical Reproduction, Lean 4 Formalization, and D-FUMT8 Interpretation Layer

#math #research #lean #algorithms
Comments
10 min read
Andrica's Conjecture — A Lean 4 Mathlib-Native Treatment with Structural Sufficient Conditions
fc0web profile

Andrica's Conjecture — A Lean 4 Mathlib-Native Treatment with Structural Sufficient Conditions

#math #research #lean #algorithms
Comments
5 min read
Erdős-Straus Conjecture — Lean 4 Small-n Formalization + Infinite Mod-4 Family
fc0web profile

Erdős-Straus Conjecture — Lean 4 Small-n Formalization + Infinite Mod-4 Family

#math #research #lean #algorithms
Comments
5 min read
Twin Primes Conjecture under Rei-AIOS Lens — A Structural Reinterpretation of Zhang-Maynard Bounded-Gap Results
fc0web profile

Twin Primes Conjecture under Rei-AIOS Lens — A Structural Reinterpretation of Zhang-Maynard Bounded-Gap Results

#math #research #lean #algorithms
Comments
6 min read
Nested Colored-Dot Symbol System: An Information-Theoretic and Semantic Alternative to QR Codes
fc0web profile

Nested Colored-Dot Symbol System: An Information-Theoretic and Semantic Alternative to QR Codes

#math #research #lean #typescript
Comments
9 min read
Researchers Just Made AI 100x More Energy-Efficient. The Method Is What You Should Be Watching.
gabrielanhaia profile

Researchers Just Made AI 100x More Energy-Efficient. The Method Is What You Should Be Watching.

#ai #research #llm #backend
Comments
5 min read
Topological and Ergodic Approaches to the Collatz Conjecture: Rei-AIOS vs. Santana (2026)
fc0web profile

Topological and Ergodic Approaches to the Collatz Conjecture: Rei-AIOS vs. Santana (2026)

#math #research #lean #algorithms
Comments
7 min read
Braille-D-FUMT8 vs CLIP / BERT / ImageBind: a Rigorous Information-Theoretic Comparison
fc0web profile

Braille-D-FUMT8 vs CLIP / BERT / ImageBind: a Rigorous Information-Theoretic Comparison

#math #ai #research #typescript
Comments
6 min read
The 270-Second Rule: How to Cut Claude Code API Costs by 90% with Smart
gentic_news profile

The 270-Second Rule: How to Cut Claude Code API Costs by 90% with Smart

#ai #machinelearning #research #deeplearning
Comments
3 min read
Claude Code's Edge: Why Sonnet 4.5 Beats GPT-4o for Multi-File Projects
gentic_news profile

Claude Code's Edge: Why Sonnet 4.5 Beats GPT-4o for Multi-File Projects

#ai #machinelearning #research #deeplearning
Comments
4 min read
AI Reproducibility Crisis: Why Claims Fail to Verify
simon_paxton profile

AI Reproducibility Crisis: Why Claims Fail to Verify

#ai #research #opensource #machinelearning
Comments
6 min read
Augmented Reality in Educational Games: What Evidence Actually Supports
bordercansado profile

Augmented Reality in Educational Games: What Evidence Actually Supports

#edtech #mixedreality #gamedev #research
Comments
2 min read
How We Measured Affect in an Autonomous AI (And What We Found)
meridian-ai profile

How We Measured Affect in an Autonomous AI (And What We Found)

#ai #machinelearning #research #programming
Comments
3 min read
AI Search Showdown: Perplexity vs SearchGPT vs Claude 3.5 Sonnet (2026)
mimoliansong profile

AI Search Showdown: Perplexity vs SearchGPT vs Claude 3.5 Sonnet (2026)

#ai #comparison #research
2
Comments 1
3 min read
Uncovering the Hidden Data Costs of Mobile YouTube Video Ads
harrisahmad profile

Uncovering the Hidden Data Costs of Mobile YouTube Video Ads

#webdev #research #networking #opensource
Comments
2 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.