u/Sad_Dimension423

r/Ring r/math r/Owls r/ControlProblem r/accelerate r/mathematics r/birding

▲ 121 r/mathematics+1 crossposts

Multiple papers being posted on Arxiv proving the same conjecture

u/Sad_Dimension423 — 1 day ago

The end of the age of heroes

noahpinion.blog

u/Sad_Dimension423 — 16 days ago

▲ 686 r/math

Lean 4 Bug Found Incidentally by AI, "Proving" Collatz

u/Sad_Dimension423 — 21 days ago

▲ 137 r/math

A Presentation of the Absolute Galois Group of Q2

roed314.github.io

u/Sad_Dimension423 — 23 days ago

▲ 133 r/math+1 crossposts

Star Fleet Math -- AI system using Lean 4 solving 20 Erdős problems

starfleetmath.com

u/LucasL-L — 1 month ago

▲ 728 r/Owls+2 crossposts

Three fledged Barred Owls on my front porch last night 🦉 🦉 🦉

Charlotte, North Carolina

u/EIegantTrogon — 2 months ago