File: Screenshot.png (767.1 KB)
Your intellectual superiors have accepted AI why haven't you?
>AI has really been um improving very rapidly. It allows me to experiment. I will try crazier things. I can vibe on the blackboard and then if there's a computation that neither of us want to do, we can just get our AI tool to finish that. I [music] can search literature much more accurately and effectively than I could before. So, I'm doing way more AI assisted mathematics and and collaborative projects. And now, I think it's ready for prime time.
>We lived in a world of cognitive friction until very recently where every task required us to use our brain [music] and so we didn't really think about it. We just thought this was the cost of doing something intellectual. But now we have AI and the other technology that can bring these frictions down to zero. I hope when AI usage becomes more common place, people will also post not just their final product but all the different paths they used to [music] get there because that's also very useful information. I think we can find some way to have the best of both worlds.
Showing all 38 replies.
>>
>>
>>
>>
>>
>>
>>
>>
>>
File: chink$$$$$$.png (62.2 KB)
>>16993340
idk but he likes money a lot
>>
>>
>>
>>
>>
File: 1750607533062356.gif (638.6 KB)
>>16993084
I'm intellectually superiorer
>>
>>
>>
>>
>>
>>
>>
File: tt_500x262.jpg (23.0 KB)
>>16994989
>>16994502
>>16994441
He doesn't reject any offer.
>>
>>16995497
>MasterClass instructors (often called professors or experts) generally make $100,000 upfront alongside 30% of the revenue their specific class generates. Because the platform features A-list celebrities and experts, top teachers can earn millions in royalties over time.
>>
>>
>>
>>
>>
>>
>>
>>
File: 0775544677.png (505.5 KB)
>>16995612
invented independently by roger bacon
>>
>>
>>16994502
That's fucking nothing for a world class professional. He could immediately just waltz into basically any company right now and get 10 times that much as analyst or something. You could realistically expect the worlds best cleaner to make 700k a year let alone worlds best plumber or engineer or lawyer or doctor or what ever else.
>>
>>
>>
>>16996125
https://arxiv.org/html/2605.00301v1
>A set of integers is primitive if no number in the set divides another. We introduce a new method for bounding Erdős sums of primitive sets, suggested from output of GPT-5.4 Pro, based on Markov chains with von Mangoldt weights. The method leads to a host of applications, yet seems to have been overlooked by the prior literature since Erdős’ seminal 1935 paper. As applications, we prove two 1966 conjectures of Erdős–Sárközy–Szemerédi, on primitive sets of large numbers (#1196) and on divisibility chains (#1217). The method also provides a short proof of the Erdős Primitive Set Conjecture (#164), as well as the related claim that 2 is an “Erdős-strong” prime. Moreover, the method resolves (a revised form of) the Banks–Martin conjecture, which has long been viewed as a unifying ‘master theorem’ for the area.
>The initial proof of Theorem 1.1 was generated by an autonomous run of GPT-5.4 Pro; a similar run also established Theorem 1.6. GPT-5.4 Pro was also used to assist with the initial proof of Theorem 1.2, with the main human contributions being the downward divisor chain and suggesting Lemmas 3.2 and 3.3(ii) to establish the sub-invariance property. In addition, an early version of GPT-5.5 Pro was used to assist with the initial proof of Theorem 1.3. Finally, GPT-5.4 Pro helped prove Theorem 1.4. Nevertheless, the final proofs in this paper have been generated and reviewed by the human authors, using the AI-generated proofs as starting points when appropriate.
>ChatGPT was used to generate code for several of the images in this paper, to search for relevant literature (for instance, in locating references for the proof of Lemma 3.2), to proofread the paper and to offer additional suggested results and remarks.
>The Lean formalization in [2] was generated using OpenAI’s Codex. The Lean formalization in [33] was generated using Math Inc.’s Gauss.
>>
>>
>>
>>16996265
You'd be wrong, since "many of the Markov chain arguments in this paper can be reformulated using the closely related language of flow networks." Flow networks are used for optimizing operations, supply chains and production logistics, and thus reducing the price of commodities (or at least reducing the price of production and increasing the profit margin.)
Furthermore, the proof that 2 is an Erdos-strong prime is crucial, since hamburgers generally have 2 buns.