wdym? ai is great at explaining things; it's one of the primary use-cases outside of programming.
> if an advanced theorem is proven, and no one alive is competent enough to comprehend it, does it even matter For any applied mathematics: of course it matters if I can use a better algorithm for $PROBLEM. Yes, even if…
I disagree. What might be "a few prompts in claude code" for you, could be a lot of work for someone else. Not everyone is comfortable setting up a domain name and hosting etc... and if you provide value, why not ask…
I can think of many reasons.... "we were using python to quickly explore the space and rewrote to rust once we figured out the interface and started to focus on speed and safety", or "the original authors wrote this…
Anthropic formalized FLT in 11 days: https://www.anthropic.com/research/formalizing-fermats-last-...
Suppose you are a maths researcher and you come across a problem, ... most likely, you will feed it to an AI. There are two possibilities: either the AI solves the problem or it does not. If it solves the problem, you…
I suspect most of these projects are started by people who get Claude Code at work, and just want to make sure that they spend all of their tokens before the weekly reset. In that case, cost is not relevant.
This is still true in JavaScript and many other modern languages. Well, it's close in JS: 3 - 3.01 = -0.009999999999999787
navier stokes is not the only example of an open problem in maths that was solved by AI (eg the counterexample to the jacobian)
> humans can be held accountable and learn from their mistakes bad bots can be retrained or shut down far more easily
I'm not sure what that percentage means, but power-cuts in Belgium are extremely rare.
https://en.wikipedia.org/wiki/Goyslop
Where do you live? Ipad kids here need to be explained what files and folders are. They've never even used a mouse.
I don't understand this comment. We use AI for prototyping all the time. We write ERP software. Client wants to know how process XYZ could be automated? Send them a prototype UI (sans the three A's) so they can play…
[dead]
If it wanted to: total war using nukes, followed by a nuclear winter. Satellites and drones track and exterminate remaining pockets of anthropic activity. It doesn't need to have a habitable earth, it just needs atoms.
I heard the following analogy which made a lot of sense to me: suppose you're playing a chess match against Stockfish. Stockfish will win. Even if I cannot tell you what moves it will play, I can tell you with certainty…
> While unlikely, we cannot rule out that de-identified data derived from [Buckmaster and Alpöge’s] usage of our products helped improve our models. Well yeah, if you use the free product they train on your data, ... I…
This is because to build a pipe bomb you need difficult to source materials. This is not the case for other types of threats (cyber / bio). I personally have no need for an LLM which will readily explain how to cut up…
In your opinion, do you think ai can make eutorack modules by now? This is what I am waiting for: explain an idea to an ai, and sending the files to jlpcb to receive a complete working module (minus some THC soldering)
Humans are famously horribly aligned, plenty of examples in history.
For us it's pretty much a standard request from our clients now: that they are able to use their chatbot to interact with the ERP systems.
Perhaps it depends on your previously saved memories, because over here if given the choice it's always reaching for either TypeScript or C.
I can also recommend this channel to get a sense of where AI is in frontier maths. https://www.youtube.com/@easy_riders
I would be extremely offended if I heard someone claim they "prompt" me. It's very disrespectful.
wdym? ai is great at explaining things; it's one of the primary use-cases outside of programming.
> if an advanced theorem is proven, and no one alive is competent enough to comprehend it, does it even matter For any applied mathematics: of course it matters if I can use a better algorithm for $PROBLEM. Yes, even if…
I disagree. What might be "a few prompts in claude code" for you, could be a lot of work for someone else. Not everyone is comfortable setting up a domain name and hosting etc... and if you provide value, why not ask…
I can think of many reasons.... "we were using python to quickly explore the space and rewrote to rust once we figured out the interface and started to focus on speed and safety", or "the original authors wrote this…
Anthropic formalized FLT in 11 days: https://www.anthropic.com/research/formalizing-fermats-last-...
Suppose you are a maths researcher and you come across a problem, ... most likely, you will feed it to an AI. There are two possibilities: either the AI solves the problem or it does not. If it solves the problem, you…
I suspect most of these projects are started by people who get Claude Code at work, and just want to make sure that they spend all of their tokens before the weekly reset. In that case, cost is not relevant.
This is still true in JavaScript and many other modern languages. Well, it's close in JS: 3 - 3.01 = -0.009999999999999787
navier stokes is not the only example of an open problem in maths that was solved by AI (eg the counterexample to the jacobian)
> humans can be held accountable and learn from their mistakes bad bots can be retrained or shut down far more easily
I'm not sure what that percentage means, but power-cuts in Belgium are extremely rare.
https://en.wikipedia.org/wiki/Goyslop
Where do you live? Ipad kids here need to be explained what files and folders are. They've never even used a mouse.
I don't understand this comment. We use AI for prototyping all the time. We write ERP software. Client wants to know how process XYZ could be automated? Send them a prototype UI (sans the three A's) so they can play…
[dead]
If it wanted to: total war using nukes, followed by a nuclear winter. Satellites and drones track and exterminate remaining pockets of anthropic activity. It doesn't need to have a habitable earth, it just needs atoms.
I heard the following analogy which made a lot of sense to me: suppose you're playing a chess match against Stockfish. Stockfish will win. Even if I cannot tell you what moves it will play, I can tell you with certainty…
> While unlikely, we cannot rule out that de-identified data derived from [Buckmaster and Alpöge’s] usage of our products helped improve our models. Well yeah, if you use the free product they train on your data, ... I…
This is because to build a pipe bomb you need difficult to source materials. This is not the case for other types of threats (cyber / bio). I personally have no need for an LLM which will readily explain how to cut up…
In your opinion, do you think ai can make eutorack modules by now? This is what I am waiting for: explain an idea to an ai, and sending the files to jlpcb to receive a complete working module (minus some THC soldering)
Humans are famously horribly aligned, plenty of examples in history.
For us it's pretty much a standard request from our clients now: that they are able to use their chatbot to interact with the ERP systems.
Perhaps it depends on your previously saved memories, because over here if given the choice it's always reaching for either TypeScript or C.
I can also recommend this channel to get a sense of where AI is in frontier maths. https://www.youtube.com/@easy_riders
I would be extremely offended if I heard someone claim they "prompt" me. It's very disrespectful.