Why is there so much recent fuss about automated math doomscrolling? We had already formalized much of mathematics before. Computation was the only bottleneck holding us back. If we had an efficient algorithm for finding proofs of size up to n (which is an NP-hard problem) we would have achieved the same if not a more revolutionary outcome. All we have now are advanced heuristic algorithms searching for proofs.
it's a good question to discuss with chatgptit will really explain everything deeply and in detail. the reasons are multifaceted and opinions range very widely
>>17039587No
>>17039488People with 0 understanding of math as a field wanna fling shit or spin a grand narrative. It's bread and circuses here, and engagement bait on sites where that matters. The fact actual mathematicians bother to chime on on social media, the stupidest takes of which manage to become screenshots for the grugs to spread, isn't helping. I wanna lynch all of them.
>>17039488Because the world's leading mathematicians are reduced to this:https://chatgpt.com/share/6a5fdc7a-d6f8-83e8-bbea-8deb42cfed56https://chatgpt.com/share/6a7ceea8-5aa0-83e8-a56b-67cd7ec59f06
>>17039488it's called marketingand terry is part of the team
>>17040408Looks fine to me. I have seen far more worse prompt by amateurs coming up with valid proofs.
>>17039587>My LLM smooths even the sharpest of edges.Kek.
>>17039488the demographic breakdown is 80% ensouled humans trolling jeet npcs for yous; 20% jeet npcs trolling other jeet npcs and unensouled humans for yous
>>17041225I am a youscoin billionaire and I cannot cash out.
