.png)
2 hours ago
2
Will an ai solve navier stokes and make it public before 20 october 2025?
The market will resolve yes if some ai company publish a solution to navier stokes as is defined in the millennium problems of the clay institute before October 20, 2025. And it is accepted by the community or revised by pairs.
If there is a result before October 20 but not revision by pairs or community aceptance, this market won't close until that happens.
https://www.claymath.org/millennium/navier-stokes-equation/
This question is managed and resolved by Manifold.
Get 
1,000
AI did solve certain small sizes of matrix multiplications and slightly reduced the number of calculations required.
Who's putting thousands of mana into "yes"? Look at those spikes.
@121 :) good for the rest of us, we get to vote "no" again
@121 what are alts?
Im new i was trying to put more liquidity. i wasnt expecting so much mana to be bet in this market
@jim I am still learning the tricks here. What do you expect/hope to happen? Have you sincerely changed your mind, or is this an angle to do with the way these markets work?
,
@jiminvites someone who wants to buy a lot of NO shares at a price of no more than 0.99 mana per share. jim's order is for 1,911 mana, which is equal to 191,100 YES shares bought at 1%. Since the market always issues equal amounts of YES and NO, it corresponds to 191,100 NO shares bought at 1%, which would cost 189,189 mana. If someone were to dump such amount into the market with 300 liquidity without jim's order, it would drop the probability from the current 4% to 8e-9 and get them only 189,250 shares, if I didn't screw up the calculation. (Also, the markets are capped at 0.1%, if I recall correctly, so it would be just impossible to buy so much NO). Conversely, jim is happy to buy YES shares for 0.01 mana per share, but not at a higher price, and so doesn't buy them at the current price, but places a limit order.
To calculate the amount of shares bought without existing orders, see https://manifoldmarkets.notion.site/Maniswap-ce406e1e897d417cbd491071ea8a0c39
I hope I haven't misunderstood the question or the reason for jim's comments.
@JussiVilleHeiskanen, well, he first bought NO from 11% to 3%, then the probability dropped to 1%, he sold the NO from 1% to 3% and opened a YES order at 1%. All of that is consistent with him believing that the true probability is somewhere between 1% and 3%.
@LeoGuinanEqPl I trust GPT-5 way more than this random post, and as it says, if this was actually true, it would have went viral by now
@LeoGuinanEqPl what you have done isn't a prove.
If you think that you have the solution formalice it in a paper and send it to a journal like everyone else.
As a tip when chatgpt says you "show this" or "formalice that" you can try to show that or formalice that instead of paste it in your "solution".
@67 I’m not actually worried about the proof. Mathematicians are slow. I’m launching a hedge fund instead. I’m not a formally trained mathematician, I’m a software engineer who has been working with AI since before ChatGPT existed and I found something that works. Figured I’d get rich in the time it takes for the math nerds to understand because holy shit it’s hard to get people to look at your work if you don’t have the right pedigree. So I went YouTube. I’ll show everyone exactly why I’m saying what I’m saying. Then the mathematicians can agree or not. I don’t care. 😉
But if I have some time before the 20th maybe I’ll have my AI create a real proof.
@LeoGuinanEqPl I know your reaction to this will be scorn and derision and if you ask it in the same instance you're already using, ChatGPT will agree (though other LLMs probably won't, in a fresh chat!) I'm worried about your mental health - your writing here is indistinguishable from pre-mania and extensive LLM usage is known to exacerbate mental health issues. I strongly request that you (1) spend one full day without using LLMs (hey, if I'm wrong and you're right, you're going to end up rich anyway, no? And rich people often take a day to detox, there's not much downside to this), and (2) talk to somebody about what you're experiencing (ideally a professional).
I understand it might be frustrating that others ignore your work because you don't have the right "pedigree", but please at least pick up one entry-level maths textbook and work through the content and exercises, and check your solutions against that of others. I'd highly recommend something on proof and logic. Yes, formal proofs are difficult and tedious, and often not needed, but you have to understand the degree of precision and clarity of thought that is required to properly reason mathematically (even informally).
People are not taking you seriously not because you don't have an established "pedigree", they are not taking you seriously because you are doing the mathematical equivalent of typing random strings of English words, claiming it's Shakespeare, and then wondering why no English speakers are respecting you. You're not even forming coherent sentences in this analogy!
![Dor awards submission: Mixture Of Experts ft. AGI [video]](https://www.youtube.com/img/desktop/supported_browsers/edgium.png)
