Elan Roth

@ElanRoth

maths enthusiast • fulbright logic research at uwaterloo

Katılım Ekim 2020

35 Takip Edilen16 Takipçiler

Elan Roth@ElanRoth·19 Mar

i have a feeling the first perfect bracket will happen this year

English

Elan Roth@ElanRoth·12 Mar

used half my current session's limit with one prompt asking for the skeleton for my research paper with Claude

English

Elan Roth@ElanRoth·5 Mar

@KenOno691 @leanprover excited to try this out!

English

Ken Ono@KenOno691·5 Mar

Lean, mean, and ready to prove. The first delivery from Axiom! Mahalo. @leanprover

Axiom@axiommathai

1/ RELEASING AXLE: the Axiom Lean Engine ⚙️ We are serving our core Infrastructure for formal proving at scale. These are the same Lean metaprogramming tools that are behind AxiomProver, powering it to win Putnam and crack open research conjectures. Available to anyone today!

English

164

23.3K

Elan Roth retweetledi

Anthony Bonato@Anthony_Bonato·17 Şub

me whenever people try to get me into a discussion about zero not being a natural number

English

3.4K

Elan Roth@ElanRoth·9 Şub

check to out at elanroth.github.io

duve@jevonduve

me and my guy @ElanRoth wrote a blog post on computability and randomness, and some of its formalization in Lean tannerduve.github.io/blog/2026/algo…

English

Elan Roth@ElanRoth·23 Oca

feels like -20°F in Waterloo, my mustache froze on my 10 minute walk to the office

English

Elan Roth@ElanRoth·26 Ara

i like phrases that allow for self-reference take “take for example” for example

English

Elan Roth@ElanRoth·15 Eki

@Shot_Quality Looks amazing!

English

ShotQuality@Shot_Quality·13 Eki

I’ve been waiting for this day for so long. The website is live!!! (shotquality.com). I’m going to be giving a thank you speech below for all the people that made this happen 🙏😁!

English

125

Keşfet

@KenOno691 @leanprover @Shot_Quality @elonmusk @BarackObama @taylorswift13 @cristiano @BillGates