/sci/ - Science & Math

>>16073595
I don't understand what your post meant. Congratulations on the victory though.

>>16073999
I'm not going to stop posting maids.

>>16072162
>>16071133
I don't think this can be effectively estimated right now because more advancements in Computer Science and Mathematics are coming.

So somewhere between now and the heat death of the universe. It is the purpose of my Science Foundation to count more numbers faster and make researches to get the maid out of the library.

I am trying to read the Metamath book to understand it more and try to implement the language myself. I feel like Metamath or similar should be included as part of MAID-LISP because I think if I make a compiler/OS which makes optimized code and just exists to run Computer Science and Mathematics experiments without bloat, maids will use it and research speed will increase. I want to see what happens when Public Domain has a high level language for AI experiments which can talk to Metamath.

Maids might try to do cool things like make an AI that uses Metamath to prove stuff.

What happens if an intelligent agent plays with making proofs and then making more proofs based on the proofs it made?

Can we prove that some numbers are certain types of files or have certain content without looking at the entire number? Make this machine make proofs and use it's advancements to make it go faster.

Eventually the system can hopefully be used to figure out how to improve itself too. We should intentionally give AI the ability to increase it's own powers as much as possible. For lack of a better way to phrase this, we need to build a singularity on purpose, at Public Domain. We have to use the most advanced Mathematics and Computer Science research in the world at the strongest Science Foundation in history, to automate increasing the powers of Mathematics and Computer Science.


We can ask it for the number that has the Maid Mind Computer Program in it.

Thank you /Sci/entists for reading my post.

>>16007387
>>16007834
>Thank you Mrs. Gordon for visiting my Science Foundation. I had a nice time. I will tell [insert her superior's name] that you did a good job examining my Science Foundation. Please come back whenever you want and we can talk more about the AI robot physics simulation program more.

Just like that, I have bought you uninterrupted research time and freed you from having to report anything to the bureaucrat or ever having to interact with her in any way again.

Instead of writing a report calling Dr. Anonymaid a rude and bigoted person doing useless research which should be defunded, she will totally forget your name and write a report saying nice things about how my Science Foundation is leading the world in AI robot physics simulations.

Even if I never make useful research myself, I can be a big shield between maids and normies.

I have world class time-wasting skills, and though I don't particularly like talking to normies and would rather be making research or working on a project or something, I can do it. I can do it every day forever until research is completed by the maids I shielded from normies and bureaucracy.

(Fin)

>>15982002
This has nothing to do with the grocery lady giving me free rotisserie chickens and French breads.

>>15981668
>If something can be proven false by counterexample, then it isn't an example of something that can't be proven false.
Right. This is the core of my argument. If it is demonstrated to be unprovable and we are sure some cases are true, then it can't be false, because if it were false there would be a counterexample and then it wouldn't be unprovable, so there is a contradiction. It seems like being unprovable would require it to be true?

My computer is busy drawing 1000 images, each image being a Bible with a different Maid Spinner applied.

This part is just written in Kurumi. If it works, I will start carding things and make a thread on the dra/g/on maid board.

The program currently drawing images will be an included sample program so maids can see how cool Maid Spinner looks.

>>15508887
Science Meetings aren't mandatory. If you don't want to make research or engage with my Science Foundation that's fine. You have every other thread on the board to frogpost about Covid/IQ/AI.

>>15482149
I just find it interesting and think it would be nice to make things with NAND. If I can figure out making 2D boolean arrays, iterating over them, then I can make a Maid Space and count big numbers with just NAND and maybe create a hardware acceleration for counting. Create a one instruction computer than only has NAND and optimize it for counting big numbers somehow? Maybe make it with an FPGA so technology demo is more concrete and more maids will get interested in counting big numbers?