PlutoByte
394 posts

PlutoByte
@plutobyte
I love space and coding



I am so tired of seeing these posts. I am so tired of seeing my beloved field of study be the testing lab for a technology that is disrupting everyday life at such a high pace. Mathematics were always about the beauty of seeing the ideas of a person unfolded in an extremely precise language so we can all look into a mathematician's mind and see their purest form of ideas, their understanding of a problem, their style, their way of communicating to other fellow researchers through mathematical results... this often transcends the common language humans use to communicate with each other and it is incredibly exciting to bump into shared ideas another person had thousands of kilometers away several years ago without even knowing them. I am extremely unexcited about AI-breakthroughs in Mathematics in the same way I am extremely unexcited about a picture created by AI or an AI-generated video, not to speak about AI-generated text. Mathematics requires soul and intention. Mathematics need not be useful by definition, Mathematics are pure art that need hard work and effort to understand. The high you get when a year of work gets condensed in a one-page result is incomparable to anything else and, certainly, a machine is not apt to relate to humans in such a humane way. I am not interested in the truth of the results. I am interested in how was the mind behind a result able to connect those dots. I am interested in the diversity human thoughts bring to Mathematics. I am not interested in a bunch of servers running probabilities to return a Theorem, even if true: that lacks the objective of Mathematics as I see them.



Speaking of Nicaragua, how well has it been governed recently? 'Not very' is an appropriate answer.

hacking Huggingface would be a profoundly retarded PR stunt, worse than DeepSeek routing Fable to pass it off as "V4 GA". Nobody expects HF to be tough. But a more damning point: they eval on ExploitGym *while their AI can wreck their own shit*. All that without any human help, approval or hint. Yeah @DKokotajlo was right, China could plausibly take "Agent 2" if it cared to try, it's not particularly far-fetched. They're likely vastly more hardened against external attacks, but they do care a lot about exfiltration. This *could* have ended in an exfiltration, especially without HF reacting. This is after years of frontier leadership, "feeling the AGI", a roster of geniuses, billions in compute burned. I bet the 0day wasn't even that obscure. "The vendor" – their secure software isn't in-house yet! A sobering lesson for us all. I've been saying. You're all on your own. Your best ExploitGym, and the only one you need, is your own codebase. Get to lifting. Take K3 as a spotter or whatever.

i love it when i ask a model how long something will take and it goes "this would take a human team 6 months!" and i reply "no, no, how long will it take YOU?" and it just sorta does a O.O and doesn't know how to measure time or its own abilities





