Mgoes (bio/acc 🤖💉)

@m_goes_distance

Seeding Humanity 2.0 | Investor http://superhuman.fund | Memes sometimes | Podcast host 👇

following
followers

Science

OpenAI releases 722 math manuscripts produced by an internal AI model

OpenAI says many proofs have computer-checkable Lean formalizations, but warns that some unformalized results could have issues.

45 Sources, 10d ago, updated 10d ago

Science

Cancer research, AI-run labs and hopes for biology at “compute speed”

A February 8, 2026 post celebrates reported cancer results in mice and cells, alongside claims that Ginkgo and GPT-5 ran 36,000 autonomous experiments.

22 Sources, 15h ago, updated 15h ago

Featured in

OpenAI releases 722 math manuscripts produced by an internal AI model

Cancer research, AI-run labs and hopes for biology at “compute speed”

Featured in

OpenAI releases 722 math manuscripts produced by an internal AI model

Cancer research, AI-run labs and hopes for biology at “compute speed”