CM retweeted
dessa by @jack's company Block
incredibly impressive
best speech to speech model ive seen bar none
CM retweeted
new from us at @blocks
Meet Dessa, our AI model trained from scratch on nothing but speech.
We believe speech is the natural interface for technology. So we built Dessa.
And we’re inviting AI safety researchers to explore Dessa.
Learn more: block.xyz/dessa
CM retweeted
Meet Dessa, our AI model trained from scratch on nothing but speech.
We believe speech is the natural interface for technology. So we built Dessa.
And we’re inviting AI safety researchers to explore Dessa.
Learn more: block.xyz/dessa
RT @blocks: Meet Dessa, our speech model trained from scratch on human conversation.
Hear it for yourself: block.xyz/dessa http…
CM retweeted
We built an 8000 sqft. high-throughput wet-lab in 30 days, to solve molecular discovery - starting with pesticides.
Most teams in drug-discovery don’t receive target-organism verification until clinical trials. Pesticides allow us to rapidly validate our model in the target organism directly. With the help of our high-throughput lab, we were able to generate compounds that killed a $13 billion pest, the Fall Armyworm.
We believe that the bitter lesson is coming for biology.
CM retweeted
It will always be the highlight of my career to have been able to see firsthand a model make progress towards the problem that got me interested in mathematics a decade ago. It was a huge honour to have been part of this team.
A uniform zero-free strip.
github.com/openai/math/blob/…
CM retweeted
Astonishing how many posts like this there are about Tao, someone with no apparent arrogance who has spent his life sharing his gifts with the world.
Hey Terence
What you are experiencing right now is this weird phenomena called “humbling”.
Most of us midwits experienced this in high school or college. If you’re lucky young adulthood. But nobody was ever smart enough to humble you. So we made a machine to ensure you get brought down to earth like the rest of us.
When you played down AI some months ago you were in the denial phase. Now you are in the anger phase. Soon you will reach acceptance like the rest of us.
CM retweeted
Last year I was laughed out of the room.
Now I wonder what Buzzard is thinking now that Claude formalized Fermat's Last Theorem!
In the coming months, it will now be possible to formalize *all* known mathematics.
CM retweeted
The Israeli military acknowledged firing on a car carrying 5-year-old Hind Rajab in Gaza after earlier denials as it opens a criminal probe into the January 2024 killing. cnn.it/3U6I6jU
CM retweeted
I don’t know who needs to hear this, but academia is not worth ruining your life over. It’s a job, that too a relatively poor paying job. Job prospects are abysmal. You lose control over where you Iive, research funds are drying up, students aren’t very interested.
CM retweeted
No opinion on math PhD but I’d still strongly recommend math major.
Most of us never reason. A situation arises, we act intuitively, then get RL’ed. At best we get anxious and bounce between limited hazy alternatives.
But to prove a theorem you have to reason. You don’t know what precision or thinking really is until you have to sit and struggle to prove a theorem that’s new to you.
The crazier the world gets, the more this skill is useful. And the world is about to get very very crazy.
CM retweeted
To summarize: HuggingFace got autonomously compromised by a model from an American company. HF then tried to use American frontier model(s) to defend themselves, but were blocked by guardrails. HF then had to turn to open source Chinese models to defend themselves from another American company.
We're partnering with @huggingface to investigate an unprecedented security incident.
Cyber-capable OpenAI models compromised Hugging Face production during a benchmark evaluation.
Sharing preliminary findings to help defenders understand emerging risks:
openai.com/index/hugging-fac…
CM retweeted
hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final
((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)