Researchers at the George W. Woodruff School of Mechanical Engineering have developed a new approach to nanoscale 3D printing ...

OpenAI’s Astra generates machine‑checkable proofs for ten decades‑old math problems, showing how verified AI can cut ...

OpenAI’s unreleased Astra model solved ten decade-old open problems in math and theoretical computer science, posting Lean 4 ...

Hybrid hash function post-quantum cryptography research: a new paper on IACR ePrint formalizes a construction whose collision resistance simultaneously requires breaking both the elliptic-curve ...

G-F Score and AUC/F1 sourced from results/gf_scores.json and results/metric_comparison.json (11 methods, same run).

A consolidated PyTorch math library for research at the intersection of differential geometry, spectral graph theory, computational topology, and mechanistic interpretability: the mathematics that ...

An internal reasoning model from OpenAI has disproved the so-called unit distance conjecture posed by Hungarian mathematician Paul Erdős. OpenAI announced the result alongside a companion paper ...

In October 2015, a young mathematician named Clemens Sämann was flying home to Austria from a conference in Turin, Italy, when he had a chance encounter. He found himself seated beside Michael ...

Is it possible to fill space “cubically” with shapes that act like spheres? A proof at the intersection of geometry and theoretical computer science says yes. In the fourth century, the Greek ...