Guru🧘♂️. Research intern.
Frankfurt on the Main, Germany
Joined April 2021
- Tweets1.7K
- Following1.7K
- Followers2.9K
- Likes3.8K
Boo retweeted
As probably the only mathematician building an AI infrastructure + fintech company, I wrote about what I’ve learned and how I see the future of @hyperbolic_labs through the lens of math.
Hyperbolic geometry, utilization, and why I care about intelligence per watt.
Boo retweeted
This is an incredible moment in this history of mathematics, computer science, physics & science with some of the hardest problems in human history being solved by AI over a period of weeks. Depending on your perspective, it's either a crisis, a triumph, or both. I don't think anyone knows for sure. We're all trying to make sense of it. I oscillate between fear/dread and optimism/excitement on a daily basis. The rate of progress is insane, including today's announcement from OpenAI of more problems solved.
To help make sense of all of it, here's my conversation with three mathematicians about this moment. Each of them is an expert in the field of each of the biggest problems solved: Navier-Stokes, quasi-Riemann hypothesis, the unique games conjecture and complexity theory more generally.
Ankur Moitra is a mathematician and theoretical computer scientist at MIT, visiting the Institute for Advanced Study in Princeton. Steven Brunton (@eigensteve) is a mathematician and fluid dynamics expert at UW. Alex Kontorovich (@AlexKontorovich) is a mathematician at Rutgers specializing in number theory.
Boo retweeted
花费16天，我用 Opus 5.5 将小王子的故事制作成了3D剧情游戏
结合Tripo+Blender，Opus 5.5 将小王子故事中的每一个星球变成了可探索的3D场景
希望大家能支持一手，后续会开源整个游戏，以及详细制作流程
Welcome to The Little Prince: Across the Stars✨：littleprince.dev/
Boo retweeted
so many books to read, instruments to learn, languages to speak, poems to write, countries to visit, songs to sing, movies to watch, people to meet, pictures to take, food to taste, places to see, sunsets to watch, stories to hear, stories to tell, things to create, hobbies to discover, dreams to chase, love to give, memories to make, lessons to learn, and a whole life to live.
Boo retweeted
never underestimate the speed at which your life can change.
all it takes it 3-6 months of intense focus to forever change the trajectory of your life. set a goal that seems unreasonable and slightly terrifying, get plenty of sleep, soak in the sun, educate yourself as much as possible, give yourself a creative output, chase mastery, and enjoy yourself. find work that feels like play and hobbies that fulfill you.
Boo retweeted
Fable 5.5 整理的人类 40000 年艺术史动画。。。。
真是无法理解。。。。怎么从抽像的向量矩阵里输出了这些精美的动画出来。。。。
别说一般的人做不出来
就算最历害的动画团队，也不是一个月两个月能弄出来的吧。。。。
Boo retweeted
Twenty-five Fields Medal winners have published a joint declaration warning about what they see as a severe misalignment between AI companies and the mathematics community.
Boo retweeted
Terence Tao made a very powerful point:
“In most cases in pure mathematics, the problems are posed not because we desperately want the solution to these problems in and of themselves, but because we have seen from past experience that human-directed efforts to solve these problems tend to spur further development of the field through the efforts to solve such problems, and then to digest any partial or complete solutions that emerge for further insights.
Prematurely solving the problem by purely AI-powered methods—particularly without full transparency into the solution process—can contaminate this process to the point where it actually becomes a net negative for the progress of mathematics as a whole.”
I’ve been following Terence Tao for like 20 years, and I have always been impressed by the clarity of his thinking.
This clarity stands out even more in this difficult moment, as AI labs turn mathematics into a battleground in their race for supremacy.
In this race, they risk damaging one of humanity’s highest intellectual endeavours.
Boo retweeted
Oh man, this story is so UPLIFTING (without being corny). It's one of the best stories I've read in a very long time -- and a welcome break from AI.
Enjoy the free article!
nytimes.com/2026/09/06/scien…
Boo retweeted
@AnthropicAI has shared the first end-to-end, computer-checked proof of Fermat's Last Theorem: 13 million lines of Lean, 29,500 intermediate theorems. Their announcement calls it "the largest Lean proof ever constructed."
See also Kevin Buzzard's blog post about the proof: xenaproject.wordpress.com/20…
🔗 Anthropic's announce post: anthropic.com/research/forma…
🔗 The code: github.com/anthropics/fermat…
#LeanLang #LeanProver #FLT
Boo retweeted
"I Quit Math, Then Wrote a Paper with AI"
I posted a math paper on arXiv, first time in 3 years. Joint work with AI (Fable and GPT-5.6). Almost all the proofs were given by AI, and the paper was written by AI too. I wrote an essay about how it went.
haruhisa-enomoto.github.io/q…