Viewing profile — raver1975

Garbage in, garbage out.

I love it. I use it to try to trick people into believing it's a live view, and that I work for the government.

Why would it have to be better or different? It just exists on its own merit.

You're not my supervisor.

Very well written, this gave me goosebumps. Full of flavor.

I already did automate the experimental loop. https://alethean.org

proving false is also useful

I wish I could qualify for some free AI as a mathematics researcher. I guess I'm just an amateur. https://alethean.org

It's like you just made up those numbers and then developed your thesis around that.

Claude's not a person. Claude is just a tool.

I'm going to believe that both results are true, while simultaneously being not true.

I built a math research engine. If you like reading articles about newly uncovered mathematics, you might like this: https://alethean.org

I'm only getting < 1 token/second on my Neo, did you change some settings?

I can't sign up: too many authentication attempts

I hope they get their money back

Could we organize a group buy and then share those unlimited tokens?

I built an automated math research system using Lean to verify the results: https://alethean.org

The website is black on black, not easy for me to see at all.

It looks like you really fucked up tying you shorts though. Don't mind me, I dum dum

I built a toy autonomous math research project: https://paulklemstine.github.io/Lean/

WTF is a Googlebook? "Hey buddy, you got a little googlebook hanging out of your nose, a little nasty looking googlebook. Don't eat it, that's so gross!"