Harmonic's automated theorem prover Aristotle solves open Erdős problem in Leanerdosproblems.com16 points·by mathfan·7 เดือนที่ผ่านมา·2 comments
Asymptotically optimal approximate Hadamard matricesarxiv.org19 points·by mathfan·8 เดือนที่ผ่านมา·2 comments
Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPTarxiv.org5 points·by mathfan·9 เดือนที่ผ่านมา·0 comments
Sebastien Bubeck: Another twist in the Erdős problems storytwitter.com5 points·by mathfan·9 เดือนที่ผ่านมา·1 comments
Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPTmathstodon.xyz5 points·by mathfan·9 เดือนที่ผ่านมา·1 comments
We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPTborisalexeev.com17 points·by mathfan·9 เดือนที่ผ่านมา·4 comments
mathfan·9 เดือนที่ผ่านมา·discussYep, I'm excited to see how AI can transform the math research workflow!