Oh and also: >Our models produced a natural language proof for Yang–Mills existence on September 9th, 2026 And presumably they are just missing the "mass gap" part of it. Very clearly these were the results of taking…
So you'll be shorting the stock, I take it?
Might as well just say "I want to control what other people do with their private property"
You can literally connect your Garmin to your computer via USB and drag-and-drop the raw activity files and analyze them if you want. Works totally fine. But Garmin's cloud sync is convenient and cloud processing adds…
At least one person in this thread is putting their money where their mouth is
It's pretty dumb! I want the best software and the best hardware, no matter where it's made. Outside of extremely niche situations (e.g. military hardware) international trade is a positive good for all those involved.…
But have you formalized every single one of your results? And if you haven't what odds would you put on one of them not working out, if formalized?
I bet it's a lower rate of errors than the typical human math paper of 2025
Based on the other posts it sounds like the point is to feed it into the maw of AI generated art engines
Indeed. How many scientists understand how a compiler works? Or know about branch prediction on the CPU? If they do, do they lose sleep because it's non-deterministic? I don't. Seems fine.
> You don't study mathematics or computer science and information theory to produce commodities. You study them to transform your mind. As a taxpayer I do not fund CS and math research because it "transforms minds." I…
Because a refereed Science or Nature paper would show up in late 2027 or early 2028?
So, what are the odds this was done with an open-weight LLM?
Oh boy, a new "nerfed model" conspiracy theory, never seen THIS before
Sounds like a great opportunity for an OBSERVE-SHABBAT.md agent skill, no?
Really needs a comparison to the "megaprompt" itself (i.e. "here is a tweet, rate it as ironic or not, considering the following properties; explain your reasoning then output your final answer at the end"). I bet that…
You'd think they would make it less obvious that they are running their whole operation with Claude
>176k tokens That's the most impressive part to me! That's barely one low-to-medium intensity session of front-end web-dev!
Is it 100% AI-generated? checks Pangram yep, it is. NEXT!
But we don't pour billions of dollars of research funding into mountain climbing because we think it's going to lead to wider breakthroughs in science and technology. And when we need to get people on top of a mountain…
Indeed, I wonder how a similar letter by Uber drivers would be received -- "navigation is an intrinsically human domain, personal relationships are critical for passengers and drivers to progress in the world, etc etc."…
It's been pretty obvious to me that the Chinese labs are operating mostly on a fast-follow strategy. The distillation attacks are well-documented, and there is good reason to believe they are able to copy architectural…
Anthropic sent out its Fermat's Last Theorem result to an expert on formalizing Fermat's Last Theorem in Lean, for what that's worth.
A lot of the low level stuff is outsourced to biochemistry: the physical properties of proteins, and the various self-regulating biochemical systems of an animal, can "encode" a lot of intelligence, easing up on the…
The reason this is a thing is that other people can bid on your product (Amazon has an entire sponsored product category for this reason). So the reason for Seth Godin to bid on ads for "Seth Godin The Knot" is to try…
Oh and also: >Our models produced a natural language proof for Yang–Mills existence on September 9th, 2026 And presumably they are just missing the "mass gap" part of it. Very clearly these were the results of taking…
So you'll be shorting the stock, I take it?
Might as well just say "I want to control what other people do with their private property"
You can literally connect your Garmin to your computer via USB and drag-and-drop the raw activity files and analyze them if you want. Works totally fine. But Garmin's cloud sync is convenient and cloud processing adds…
At least one person in this thread is putting their money where their mouth is
It's pretty dumb! I want the best software and the best hardware, no matter where it's made. Outside of extremely niche situations (e.g. military hardware) international trade is a positive good for all those involved.…
But have you formalized every single one of your results? And if you haven't what odds would you put on one of them not working out, if formalized?
I bet it's a lower rate of errors than the typical human math paper of 2025
Based on the other posts it sounds like the point is to feed it into the maw of AI generated art engines
Indeed. How many scientists understand how a compiler works? Or know about branch prediction on the CPU? If they do, do they lose sleep because it's non-deterministic? I don't. Seems fine.
> You don't study mathematics or computer science and information theory to produce commodities. You study them to transform your mind. As a taxpayer I do not fund CS and math research because it "transforms minds." I…
Because a refereed Science or Nature paper would show up in late 2027 or early 2028?
So, what are the odds this was done with an open-weight LLM?
Oh boy, a new "nerfed model" conspiracy theory, never seen THIS before
Sounds like a great opportunity for an OBSERVE-SHABBAT.md agent skill, no?
Really needs a comparison to the "megaprompt" itself (i.e. "here is a tweet, rate it as ironic or not, considering the following properties; explain your reasoning then output your final answer at the end"). I bet that…
You'd think they would make it less obvious that they are running their whole operation with Claude
>176k tokens That's the most impressive part to me! That's barely one low-to-medium intensity session of front-end web-dev!
Is it 100% AI-generated? checks Pangram yep, it is. NEXT!
But we don't pour billions of dollars of research funding into mountain climbing because we think it's going to lead to wider breakthroughs in science and technology. And when we need to get people on top of a mountain…
Indeed, I wonder how a similar letter by Uber drivers would be received -- "navigation is an intrinsically human domain, personal relationships are critical for passengers and drivers to progress in the world, etc etc."…
It's been pretty obvious to me that the Chinese labs are operating mostly on a fast-follow strategy. The distillation attacks are well-documented, and there is good reason to believe they are able to copy architectural…
Anthropic sent out its Fermat's Last Theorem result to an expert on formalizing Fermat's Last Theorem in Lean, for what that's worth.
A lot of the low level stuff is outsourced to biochemistry: the physical properties of proteins, and the various self-regulating biochemical systems of an animal, can "encode" a lot of intelligence, easing up on the…
The reason this is a thing is that other people can bid on your product (Amazon has an entire sponsored product category for this reason). So the reason for Seth Godin to bid on ads for "Seth Godin The Knot" is to try…