Harmonic
@HarmonicMath
Followers
821
Following
2
Media
1
Statuses
12
Building Mathematical Superintelligence
Joined January 2024
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
Adalet
• 203112 Tweets
Gazze
• 119644 Tweets
ベイマックス
• 106032 Tweets
Chester
• 101089 Tweets
#サクサクヒムヒム
• 53867 Tweets
NANON LETSGO NYFW
• 46808 Tweets
#笑うマトリョーシカ
• 46341 Tweets
HAPPY BIRTHDAY TANNIE
• 39129 Tweets
#ساعه_استجابه
• 33501 Tweets
#dilanpolat
• 31415 Tweets
E. Jean Carroll
• 28909 Tweets
#2KDay
• 28903 Tweets
#DAY6_9th_Page
• 26759 Tweets
#4MINUTES_EP7
• 26706 Tweets
#浦島坂田船11周年
• 26285 Tweets
Franco Escamilla
• 26207 Tweets
#HAPPY_EJ_DAY
• 24461 Tweets
Game Day
• 22481 Tweets
Ayşenur Ezgi Eygi
• 18723 Tweets
#데이식스_청춘의_9번째_페이지
• 15949 Tweets
おぱんちゅうさぎ
• 15600 Tweets
BGYO DESERVES BETTER
• 10857 Tweets
Ocak
• 10025 Tweets
We are excited to share three major updates today on our path to mathematical superintelligence 🦾
1. A new state-of-the-art of 90% on the MiniF2F benchmark. This beats our previously announced 83% from under a month ago.
7
23
174
🦾We are excited to share Aristotle, an automated theorem prover that advances the state of art on MiniF2F, the standard dataset of formal mathematics problems statements. /1
3
6
31
3. An all-new natural-language interface - Aristotle can now speak and understand English, not just Lean4 🙂
1
2
30
2. A public release of our internal updates to MiniF2F in Lean 4. Check out github for the data and a description of our updates.
1
2
25
For more details, check out our blog. More to come soon 🚀
1
2
23
If you are excited about helping us forge the world’s most advanced mathematical reasoning engine, we are hiring AI researchers, mathematicians, and distributed systems experts. Check out our open roles at ! /3
2
0
9
Aristotle currently achieves a 63% success rate at producing full Lean proofs, and a 83% proof rate with computer algebra system assistance. Learn more at /2
1
0
6