124 related articles

How long is the longest straight-line path on Earth? The 32,089 km sea route from Pakistan to Kamchatka and the 11,241 km land route from Lianyungang to Lisbon were found using great circle paths and branch and bound algorithms.

Bilibili creator benchmarks DeepSeek V4 Pro against top LLMs across 6 physics simulation tasks. DeepSeek scores 9 in both CFD and FPV, earning the title of precision king.

Exploring a new paradigm of autonomous mathematical discovery by AI in multi-agent open-world environments—from conjecture generation and collaboration to formal verification.

WorldClaw is Tencent's 3D world generation framework that transforms a single sentence into explorable, editable open worlds using planning agents and self-inspection mechanisms.

In-depth comparison of three end-to-end ML projects in GreenTech: smart energy forecasting, building energy optimization, and energy prediction with anomaly detection—analyzed by technical difficulty, business value, and MLOps completeness.

A Beijing neurosurgeon used GPT to unexpectedly provide a proof approach for the 20-year-old Crouzeix conjecture. Explore this cross-disciplinary breakthrough and AI's role in math.

Deep dive into WorldCloud's technical architecture: how multi-agent collaboration generates large-scale, editable, explorable 3D open worlds from a single natural language description.

In-depth comparison of Ornith 1.5 35B-A3B Q4KM vs Q8 quantization across browser OS, FPS games, 3D modeling and more, helping consumer hardware users choose the right version.

Prime Intellect research reveals LLMs' core paradox: models deeply understand concepts yet rarely produce new ideas. Exploring the gap between AI comprehension and creativity.

How to train a YOLOX model for Data Matrix Code detection using only synthetic data, achieving 100 FPS inference on an Intel i5 CPU via ONNX Runtime + OpenVINO — a GPU-free industrial edge solution.

The Ham Sandwich Theorem proves any shape can be precisely bisected with a single cut. Learn how the Intermediate Value Theorem and topology guarantee a perfect dividing line always exists.

Entropic Scree is a new information-theory-based dimensionality reduction method that replaces linear variance with entropy to estimate intrinsic data dimensions, with applications in neural network bottleneck design.

Exploring how AI is transforming mathematics: from formal verification with Lean proof assistants to ML-driven conjecture generation, analyzing the evolving role of mathematicians and the future of math education.

Analyzing CLIP vision encoder limitations in modern VLMs, exploring shortcomings in counting and spatial reasoning, plus alternatives like hybrid encoders and high-resolution processing.

Deep dive into how Spherical Fourier Transform and Spherical Harmonics enable 3D rotation-equivariant AI. From Spherical CNN architecture to applications in panoramic imaging, weather prediction, and protein structure prediction.

Hands-on test of DeepSeek V4 Pro 0813: completed 5 complex projects including SVG animation, 3D games, spaceship modeling, and SwiftUI native development via Claude Code API for just $0.73 total.

Galileo's 1638 Square-Cube Law reveals why giants can't exist: volume grows as the cube while area grows as the square, creating fundamental limits on scaling in engineering, biology, and AI.

What is a Pole of Inaccessibility? Learn how to use GIS tools and spatial algorithms to calculate the most remote coordinate in the San Gabriel Mountains, covering OpenStreetMap data, R-tree indexing, and grid sampling optimization.

Explore how VRML 3D visualization demonstrates a multi-layer perceptron (MLP) solving the classic XOR problem, showing weight changes, activation propagation, and gradient descent in neural networks.

How Mighty Camera Board achieves real-time SLAM and obstacle avoidance using only a single global shutter camera and IMU, enabling collision avoidance and autonomous navigation for robots and drones.