Morph
@morph_labs
Followers
7K
Following
30
Media
37
Statuses
107
There is a lot of fear, greed, and uncertainty around AI at the moment. At Morph, we think there's a better path. The next industrial revolution is upon us, but something this time is different. Our final technology is gaining not just intelligence, but also sapience. As it.
8
15
109
We're excited to welcome @jdlichtman to Morph as our chief mathematician, where he will shorten the way to verified superintelligence.
9
11
254
The most fun image & video creation tool in the world is here. Try it for free in the Grok App.
0
130
1K
We're open-sourcing Trinity's complete formalization of de Bruijn's theorem here:
github.com
Contribute to morph-labs/lean-abc-true-almost-always development by creating an account on GitHub.
2
3
44
Scaling environment compute on Morph Cloud. For each theorem, Trinity spins up hundreds of Lean environments running simultaneously on MorphVMs, enabling massive parallel search. We partnered with @LambdaAPI for the training and inference compute for this research.
1
0
57
Autoformalization will create a nearly infinite supply of verified training environments. By converting mathematical knowledge into formal proofs, Trinity will generate an endless curriculum of verified challenges—enabling true self-supervised reinforcement learning in.
1
0
60
We are excited to announce Trinity, an autoformalization system for verified superintelligence that we have developed at @morph_labs. We have used it to automatically formalize in Lean a classical result of de Bruijn that the abc conjecture is true almost always.
14
88
540
At Morph, we say an idea is futurebound if it is not just futuristic - belonging to some possible future - but so inevitable as to belong to every possible future. The age of verified superintelligence is futurebound, and it begins now.
0
1
16
We're thrilled to welcome @ChrSzegedy as our chief scientist at Morph, where he will lead the development of Verified Superintelligence.
37
111
699
At Morph Labs, we believe in having empathy for the machine. Our new llms.txt makes our documentation so easy to navigate that Claude one-shots an entire project using Morph Cloud after a single user query
2
2
20
Start using Infinibranch Sandboxes for free today: Our SDK: Read our blog post: Check out our docs:
1
0
5
Here's how easy it is to execute code in multiple languages on Infinibranch Sandboxes. We currently support Python, C++, Javascript, and Rust, with Lean and more on the way
1
0
4
Our Infinibranch Sandboxes power @huggingface OpenR1's code-based rewards for training LLMs with GRPO. From multi-file complex evaluation pipelines for IOI problems in C++, to Jupyter execution for Python: we evaluate in seconds, not minutes.
github.com
Fully open reproduction of DeepSeek-R1. Contribute to huggingface/open-r1 development by creating an account on GitHub.
1
2
3
Your agents just got an upgrade: Infinibranch Sandboxes provide truly elastic, scalable multiple-language code execution.
1
3
15
RT @asusevski: @morph_labs is building the future of test time compute. Built a program to run parallel agents using Morph Infinibranch --….
0
4
0
sign up here for free to start scaling tree search on formal math today:
0
0
9