@TuDuOGG

A desperate student.

Joined September 2013
这次的联合声明怎么写?
We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. github.com/openai/math
4
201
Two years ago, American Mathematics was Dead. But today, eight months into Trump Adminstration, we have sofic groups, complex S⁶ and Navier-Stokes. We have the HOTTEST mathematics anywhere in the world right now. American Mathematics is respected like never before. MAGA! — DJT
Recently, Navier Stokes "Blowup" was found by Supreme Intelligence, a HUGE progress in American Mathematics. Meanwhile, Sleepy Joe Biden had FOUR YEARS and his autopen couldn't even solve ONE Millennium Prize Problem. Very sad. Whoever wins AI (SI), wins! - Donald J. Trump
5
13
154
5,856
哈哈哈哈
"Friends" version communiste « Engueulade au Central Perk »
2
401
Witten居然在这个advisory board里
We’re working with an independent advisory group of mathematicians to help OpenAI responsibly share advances in AI and mathematics. The group will advise on how we assess and communicate new mathematical results, uphold academic and professional standards, and build tools that support mathematical research and learning. Through this work, we want mathematicians to be at the center of shaping how AI supports mathematical understanding and how its benefits reach the wider community. openai.com/index/advisory-gr…
6
815
今年最大的科学成果
A new species of cat has been identified for the first time in a century—and experts think that there may be even more to discover around the world: on.natgeo.com/n5nxra
1
6
1,442
Serre今天正式100岁了,在世最伟大的数学家,活着的传奇!
🤖 Made with AI
7
72
12
687
38,480
Well
OpenAI confirmed to the New York Times that they have made "substantial progress" on another Millennium Prize problem in the last five days, and are preparing to announce. The rumors for the last 48 hours have been OpenAI solved the Hodge Conjecture, and that Anthropic has solved the Birch and Swinnerton-Dyer Conjecture. Since Navier-Stokes rumors abound, so I was reluctant to post about either. However, OpenAI's statement to the NYT now gives the Hodge rumors some very serious support. In general people have not updated yet that the new unnamed OpenAI model, the one that finished training about two weeks ago, which I believe will be named Aeon, is massively better at math than Astra, which two weeks ago was the best in the world. Aeon solved Navier-Stokes in 88 hours, start to finish. Follow the trend line. That means everything is on the table. Literally everything. And this does not end with math. Please update. We are taking off.
2,176
The EMS has published a statement on OpenAI’s announced solution to the Navier–Stokes Problem. “Questions of authorship and credit [...] will need to be resolved.” The statement also addresses open science and access to research tools. Read statement: euromathsoc.org/news/225
7
117
19
315
177,707
It’s not merely about the drama you engaged with Anthropic whatsoever, but rather generally, some of us in the academic community are questioning the credibility and integrity of your firm.
Very sad to see Levent double down on the plagiarism accusation. I hope my friends at @AnthropicAI stand up to this internally. It should be clear by now what the truth is.
8
4
214
7,020
Math results are celebrated no matter who produced them, but your conduct is really suspicious if not nasty.
13
990
如果是真的吗就实在是太可悲了,本来Navier-Stokes被解决是件大好事,结果可能和上一个解决的millennium problem—庞加莱猜想一样,变得一地drama。decency在哪呢?
17
1
1
56
20,368
True,但是对于大部分mediocre kid,我觉得是灾难
I think my favorite line here is Ravi's: "The best kid with a calculator is also the best kid without one" Beautifully sums up my feelings on AI use in education...
2
9
2,063
I’m still somewhat reluctant to be overly optimistic on that, b/c I still believe AI—at least at current level, is still somewhat limited only in the convex hull of human knowledge, as far as math is concerned.
Replying to @dadkins_ @OpenAI
We already did, it didn't solve any of them. But we haven't thrown a ton of inference at them.
2
1
13
4,366
But that being said what is the consensus among the mathematicians working in OpenAI and other companies, and what’s their assessment on this? I think they should be more open and genuine on this, sharing more information, instead of just holding back.
4
299
I don't repost mathematics if I do not personally feel sure of its correctness, so I did not yet comment on the purported construction of a complex structure on S^6. However, I wanted to add some contextualization because I don't agree with the social media narrative that is developing. 0. Of the AI breakthroughs so far it's the closest to my interests, although still pretty far. I am not grieving, I am interested to learn more about it! I don't know if it's correct but on cursory glance it seems quite plausible. 1. If correct, this would be a major development. I believe it is a central problem in its field (complex differential geometry), like the Unit Distance Conjecture was for combinatorial geometry. Perhaps even more famous names are attached to this field, leading some people to say it's even more prestigious, but I prefer not to think in such terms. 2. There are two writeups, a 2-page one and a 100+-page one. Both are terrible and seem deliberately constructed to be inhumane. Fortunately, one can fight AI with AI: I asked Claude/GPT/Gemini to collaborate on making a more readable and enlightening version, which you can find at overleaf.com/read/frddxmbnqb…. To make this, I prompted the models to write a document in the style of one of my own surveys. I haven't checked the mathematics, but it seems less forbidding than the original document at least. 3. This is a great opportunity for an expert to write an illuminating account of the construction, explain the key ideas and their proper historical context, and summarize the takeaways and lessons learned for the mathematics community. 4. If I see such an account, I would be happy to arrange for the author to give a lecture series in Berkeley. If this lecture series is also wonderful, I would go further and advocate for the author to have a position at Berkeley (if desired). For contrast, I see little value in having colleagues who are good at being the first to prompt AI for a solution. 5. There are some intriguing differences with the previous artifacts from Claude. The announcement seems coy about the provenance of the solution - there is a vague allusion to Claude, but which model(s) did it come from, and what was the human involvement? Why is it hosted on a personal website instead of the Anthropic one? We have seen some instances of AI results that are so good, the human authors seem to begrudge credit. I keep a list of such instances. The standard should be to disclose the role of AI clearly and transparently. Better to be honest than go through life under a cloud of suspicion. 6. Although this may solve one of the more famous problems of mathematics, there are still whole fields that are only just starting to feel acceleration. I'm not aware of any AI breakthroughs in my areas of research, for example. When those come, as I suspect they will before long, I look forward to studying the insights!
SITUATION EXPLAINED: Levent Alpöge just did it again, and mathematicians are grieving. @__alpoge__: "Please welcome to the world a beautiful new geometric object, to do with a problem I’ve always loved. claude really contains multitudes:D Does S^6 admit a complex structure? Yup" • The paper runs ~108 pages and constructs an explicit complex 3-fold diffeomorphic to S⁶. Some are calling it a Fields Medal level insight if a human had done it @doomslide: "I want to be happy about this but after reading and digesting the construction I think this is quite sad. It tells us very little about complex vs generalized complex structures. We had a prestigous, elegant problem that motivated people thinking about this and now it's gone." @boazbaraktcs's essay the same day: "Some mathematicians have been meeting this change with excitement, while others with grief. I share both sentiments." @theojaffee: "If you're a mathematician, Terence Tao is smarter than you. Does that mean it is not worthwhile for you to do mathematics because there exists a mathematician who's better than you? No, of course not."
17
43
10
403
105,345
WTF?证出来了?
Please welcome to the world a beautiful new geometric object, to do with a problem i’ve always loved. claude really contains multitudes:D Does S^6 admit a complex structure? Yup
1
7
3,566
我都从来没听过一个中国的市长能说过类似的
3
2,971
这是在干嘛?这也需要画交换图吗?有多少学数学的混进去了?
🧩 DeepSeek Harness v0.1 is now available in Developer Preview! 🔹 We’re opening it up to developers building agent harnesses worldwide and open-sourcing the codebase in MIT license. 🔹 Powered by the Cordis meta-framework, DeepSeek Harness is an agent harness built around one core idea: Everything is a plugin. Models, tools, skills, sessions, sandboxes, filesystems, loops, orchestration, and UI are ALL implemented as plugins, and can be mixed, matched, replaced, and extended. Try it now! github.com/deepseek-ai/deeps…
10
9
174
71,136