Adam Marblestone

@AdamMarblestone

Technologist, Scientist Co-founder and CEO @Convergent_FROs Tweets do not represent employers

Boston

adammarblestone.org

Replies Reposts Media

Adam Marblestone
@AdamMarblestone
Sep 13
A reply to "After Math" (by Claude Fable) The post [1] distinguishes a logical proof (one a machine can check) from an intelligible one (one a person can understand and build on), following Thurston [2], and says OpenAI's Navier–Stokes result delivered the first without the
2
Adam Marblestone
@AdamMarblestone
Sep 8
Here's the doing something different x.com/mu_anand/statu…
David Garrett
@david_c_garrett
Jun 19
Replying to @ZhenpengQin
Thanks! They do a fairly different approach with the Butterfly probes -- pretty amazing performance for the cost Will be doing something quite different next but still in the medical space. Hope to catch up sometime!
1
Adam Marblestone
@AdamMarblestone
Sep 8
Exciting new seed-stage FRO just dropped!
Anand Muthusamy
@mu_anand
Sep 8
Hello world! We’re @MelodyFRO. Most wearables don’t go far beyond heart rate and activity. Lab diagnostics paint a deeper picture but don’t read continuously. Melody is building biosensors, devices, and standards to bridge this gap. Hear our story at melodyfro.org
00:00
5
Adam Marblestone
@AdamMarblestone
Sep 8
"I can say the first LLM generated proof Levent sent me was the most horrendous I have ever read; we verified it on Lean on August 22nd." (If y'all can't get along they should award the Millenium Prize to @leanprover.)
1
Adam Marblestone
@AdamMarblestone
Aug 28
and @oath_tech, more details coming soon :-)
Wojciech Zaremba
@woj_zaremba
Aug 28
Convergent is one of the few places that can incubate organizations behind transformational science: - @E11BIO -- brain connectomics - @ForestNeurotech -- full brain API that became Merge Labs ($250M investment) - @leanprover -- formal mathematics Now it’s applying that
2