Brute-forcing unsolved math problems/equations

Why not write software that creates rainbow tables of randomly-generated equations (that involved constants and variables that are related to a certain field) and then checks each one for validity (unit testing?) for certain unsolved areas of math?

it'll require an infinite amount of storage

>>2
Instead of completely constraint-less formulas, they would be limited to certain conditions so as to not take forever wasting time with useless or redundant formulae.

>>2
base it on the blockchain, problem solved

>>4

base it on the blockchain, new problem created

fixed that for you

"The blockchain" is dumb. It's like saying "the graph" or "the array" or "the linked list." It's just a fucking data structure. A fucking distributed hashed linked list.

Why are normies so impressed by it? They don't even know what it is, why someone would use it, or more importantly, why you shouldn't use it.

>>4
Because bloackchain isn't just a "linked list", it a distributed trust system protected by strong cryprography.

>>7
distributed systems are never ``strong''
Here's how to have a secure distributed system:
1. don't have a distributed system

Besides, security isn't the only concern. You know what else you need to worry about? Performance and energy usage. Cryptocurrencies are slow as fuck to process transactions and use a ton of energy thanks to people mining with ASICs or GPUs. Additionally, a public transaction ledger means there's no security, unless you only use cryptocurrency over Tor, but Tor is slow as fuck, and you also have to worry about malicious nodes (which there are actually plenty of).

Blockchain is a meme-tier buzzword used by tech startups who want a quick exit game. Create a shitty derivative cryptocurrency that's like a shitty version of Bitcoin that nobody uses, then cash out. It's a ``greater fool theory'' shit. See also: tulip mania.

I meant no privacy, not no security

>>1
because proof by example is the most obvious but least interesting kind of proof. weak/general solutions and indirect proofs are of much bigger interest because of their more abstract nature, and those are much more difficult to bruteforce because of how much more complicated theorem proving and equation solving is for computers when compared to number-crunching

i dont even know what blockchain is, i just shitpoast here
>>5,6,7,8

You can't bruteforce anything but the most trivial of theorems. For example, proving Fermat's Last Theorem takes hundred pages of complex statements to arrive at the conclusion. So you basically need to enumerate and check every possible branch there to replicate the proof by bruteforce. I've bigger hopes for Mentifex creating strong AI.

>>11
I don't either, despite knowing what CMPXCHG means.

Because your conclusion could still be wrong for {{number of iterations you did}} + 1.

These problems need an analytical answer, not a braindead codemonkeynigger one.