Tag: #mathematics

Preprint: Reinforcement learning yields improvements to 15 longstanding kissing-number and spherical-code bounds

Peking University preprint says reinforcement-learning system PackingStar improves 15 kissing-number and spherical-code lower bounds; some cases have exact certificates.

#mathematics, #ai, #reinforcement-learning, #kissing-numbers

Petrillo and Glimm Define a Precise Target for Unforced 3D Navier‑Stokes Blowup Searches

A new arXiv preprint formalizes the 'positive defect' target and admissibility criteria to guide computer-assisted searches for unforced 3D Navier‑Stokes blowup.

#navierstokes, #mathematics, #fluiddynamics, #formalverification

Preprint: Magenta reportedly turns olympiad math into Lean statements and machine-checked proofs

An arXiv preprint says Magenta converts olympiad problems into Lean and produces machine‑checked proofs, including claimed IMO solutions — but no public code or independent replication yet.

#ai, #formalverification, #lean, #mathematics

Revised arXiv paper says AI agent solved 44 of 50 IMO geometry problems using ~13,000 examples

A revised arXiv preprint reports InternGeometry, an LLM agent, solved 44 of 50 IMO geometry problems using roughly 13,000 training examples, claiming high data efficiency.

#ai, #geometry, #machine-learning, #mathematics

Paper Claims Equivalence Between Riemann Zeta Zeros and 2D Ising Model; Validation Pending

A Chinese Academy of Sciences researcher claims a 2D Ising model reproduces Riemann zeta zeros; journal listing exists but independent validation is pending.

#riemannhypothesis, #isingmodel, #mathematics, #physics