#discrete geometry
24 related articles
Research·2 min
OpenAI Overturns 80-Year Discrete Geometry Conjecture: How AI Solved the Unit Distance Problem
OpenAI's model overturns an 80-year-old conjecture in discrete geometry's Unit Distance Problem, marking a new era of AI-driven mathematical research.
Read more →
·5 min
Halo: A Real-Time Anti-Deepfake Tool That Detects AI Face-Swapping in Video Calls
Halo is a local real-time deepfake detection tool that identifies AI-synthesized faces during Zoom, Teams, and Google Meet video calls to prevent face-swapping fraud.
Read more →
·3 min
Deep Dive into the CoD4 Elevator Glitch: How One Line of Collision Code Broke Online Lobbies
Deep analysis of the CoD4 Elevator Glitch tracing it to one line of flawed collision detection code through decompiled source, revealing why players got launched out of maps.
Read more →
·3 min
CoD4 Elevator Glitch Deep Dive: How One Line of Collision Code Broke Online Lobbies
Deep analysis of CoD4's Elevator Glitch tracing the root cause to one flawed line in collision detection code, revealing how push-out vector errors launched players out of maps.
Read more →
·3 min
The Collapse of the Lexical Assumption: Analyzing the Implicit Feature Inheritance Challenge in AI Alignment
Deep analysis of implicit feature inheritance in AI alignment: Anthropic's research reveals model behavior can propagate independently of semantics, fundamentally challenging traditional RLHF safety mechanisms.
Read more →
·6 min
Claude Sonnet 5 In-Depth Testing: 8 Real-World Tasks Reveal Its True Capability Boundaries
Bilibili creator KaterSony tests Claude Sonnet 5 across 8 real-world tasks—image recognition, 3D modeling, web generation—comparing it against GPT-5.5, Gemini 3.1 Pro, and revealing its true capability limits and cost traps.
Read more →
·2 min
Gradient-Free Evolutionary Model GENREG: How Radial Space Search Bypasses Backpropagation
GENREG-Radial Space is a gradient-free evolutionary optimization model that replaces backpropagation with structured radial space search. This article analyzes its core mechanisms, temporal evolution design, exploration-exploitation balance, and potential as a hybrid paradigm.
Read more →
·3 min
AI Is Conquering World-Class Math Conjectures — Will Mathematicians Become "Curators"?
AI is cracking world-class math conjectures at scale — from IMO gold medals to the Langlands Program. Terence Tao says math has entered a "proof abundance" era, but AI can't judge research significance. The mathematician's edge is shifting from proving to curating.
Read more →
·2 min
Symbolic AI and Neural Networks: A Systematic Learning Path and Core Mathematical Tools
A deep dive into symbolic vs. neural AI paradigms — exploring type theory, category theory, and algebraic geometry as mathematical bridges toward neuro-symbolic integration.
Read more →
·2 min
Local Image-to-3D on Apple Silicon: 20 Seconds, 2GB RAM — Modelr Open-Source App Tested
A developer ports Tencent's Hunyuan3D to Apple MLX. M4 Max benchmarks: shape generation in 20s, 5.6GB peak RAM. Quantized versions run on iPhone. Modelr is the first local image-to-3D app for Apple Silicon.
Read more →
The Theory of Deep Learning: Why Do Ne…
·4 min
The Theory of Deep Learning: Why Do Neural Networks Work? A Complete Overview of Theoretical Research
Deep learning shines in practice, but why does theory always lag behind? This article surveys the over-parameterization paradox, implicit regularization, NTK, the information bottleneck, and more.
Read more →
·3 min
Neuro-Symbolic AI Architecture: A New Approach Inspired by Neurotransmitters and Sleep Cycles
Explore how neuro-symbolic AI architecture fuses neural networks with symbolic reasoning, simulating neurotransmitter regulation and sleep cycles to tackle hallucination and catastrophic forgetting.
Read more →
·4 min
No MLP or Attention Required: How Point-Attractor Dynamics Learn Word Embeddings
A minimalist dynamical system experiment: without MLP, Transformer, or attention layers, point-attractor dynamics driven purely by co-occurrence pressure learns semantic similarity on SimLex-999.
Read more →
·3 min
Tracking London's Underground in 3D Real-Time: A Technical Breakdown of an Open-Source Visualization Project
An open-source project rendering the London Underground's real-time status in 3D, combining the TfL open API, WebGL rendering, and real-time data streaming. A deep dive into its implementation and interpolation challenges.
Read more →
Can AI Prove Mathematical Conjectures?…
·5 min
Can AI Prove Mathematical Conjectures? The Truth Behind the GPT-5.6 Incident and the Limits of Large Language Models
A PDF claiming GPT-5.6 Sol Ultra proved the Cycle Double Cover Conjecture sparked debate on Hacker News. We unpack the truth and the limits of LLMs in math proofs.
Read more →
·7 min
Block-Sparse Featurizers: Opening the Black Box of Vision Model Neural Geometry
Block-sparse featurizers remap dense vision model activations into block-sparse representations, making the internal feature spaces of ViT, CNN, and other models readable and interpretable. This article explores their core principles, links to mechanistic interpretability, and applications.
Read more →
·7 min
Dispersion Loss: A Key Technique for Solving Embedding Condensation in Small Language Models
Embedding condensation is a hidden bottleneck in small language model training. Dispersion Loss combats this by enforcing representation spread during training at zero inference cost.
Read more →
End-to-End Vulkan Descriptor Heap Supp…
·4 min
End-to-End Vulkan Descriptor Heap Support: Simplifying GPU Resource Binding and Bindless Rendering
NVIDIA delivers end-to-end Vulkan descriptor heap support, simplifying GPU resource binding via a flat indexing model and enabling Bindless rendering and GPU-driven pipelines.
Read more →
·4 min
UK Real-Time Railway Map: Technical Insights from an Open Data Visualization Project
A deep dive into the UK real-time railway map project: open data integration, position interpolation, WebSocket push, and WebGL rendering for live transit visualization.
Read more →
·3 min
OpenAI Cracks Erdős Unit Distance Conjecture: AI Independently Disproves 80-Year-Old Math Problem for the First Time
OpenAI's general reasoning model independently disproved Erdős's 1946 unit distance conjecture without human guidance—the first time AI has autonomously solved a core open math problem, verified by nine top mathematicians.
Read more →