HackerTrans
TopNewTrendsCommentsPastAskShowJobs

mathfan

no profile record

Submissions

Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean

erdosproblems.com
16 points·by mathfan·7 tháng trước·2 comments

Asymptotically optimal approximate Hadamard matrices

arxiv.org
19 points·by mathfan·8 tháng trước·2 comments

Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT

arxiv.org
5 points·by mathfan·9 tháng trước·0 comments

Sebastien Bubeck: Another twist in the Erdős problems story

twitter.com
5 points·by mathfan·9 tháng trước·1 comments

Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT

mathstodon.xyz
5 points·by mathfan·9 tháng trước·1 comments

We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT

borisalexeev.com
17 points·by mathfan·9 tháng trước·4 comments

comments

mathfan
·9 tháng trước·discuss
Yep, I'm excited to see how AI can transform the math research workflow!