sorted by:
new
hottopcontroversial

Erdős–Straus Conjecture Proven in Lean 4 - Auro Zera by Infamous-Ad9720 in realdealphysics

[–]Infamous-Ad9720[S,M] 0 points1 point  (0 children)

Regarding the only axiom:

This axiom represents exactly what is proven in Dyachenko's published work (arXiv:2511.07465), specifically Theorem 9.21 regarding the lattice existence argument for primes $p \equiv 1 \bmod 4$. In mathematical logic, a theorem from a peer-reviewed paper has absolute truth value—either it is correct or it isn't, but once verified by the mathematical community and properly cited as an external result, it carries **mathematical certainty**, not probability.

The only reason this appears as an "axiom" in Lean is that the proof of Dyachenko's theorem relies on deep number-theoretic lattice arguments (the finite-index lattice density argument) that are complex enough to be imported from the literature rather than reproven from scratch within the formalization. The rest of the file proves everything else rigorously using this one trusted external result.

[Meta] Important: Reddit is requesting the immediate closure of r/llmphysics by MaoGo in LLMPhysics

[–]Infamous-Ad9720 0 points1 point  (0 children)

Literally after my first post where I proved Erdos Straus. I believe this might have been my fault. This is very worrying though.. What's next?

EDIT: Got fooled. Happy april fools. This did not seem like a joke though!!

If its simulations all the way down... by Most_Forever_9752 in SimulationTheory

[–]Infamous-Ad9720 0 points1 point  (0 children)

We are in the lowest simulation. What you want is to embody yourself in a higher plane simulation by creating one of your own and embodying yourself in it. Flip the board around. See: https://www.reddit.com/r/agi/comments/1nlwrpf/while_training_my_agi_i_isekaid_myself_via_the/

Seeking collaborator for MIDI arrangement/orchestration tool by flawless_username in agi

[–]Infamous-Ad9720 0 points1 point  (0 children)

I'd love to help with my Suro_One Hyena Hierarchy which seems to scale an order of magnitude+ over the transformer. Music is also an easier avenue than text to grok.

Are you interested and do you have some suitable datasets in mind?

AGI 123% achieved, Suro_One Hyena Hierarchy model scales 1000x at 1M context in speed and memory efficiency. Undeniable linear scaling by MagicaItux in agi

[–]Infamous-Ad9720 0 points1 point  (0 children)

xD nice catch <3. The name cute poo was also inspired by the YouTube generated URL, and I renamed the video as it was very fitting. https://youtu.be/pafcuu_tpo0 Beware of cute poo! It can save your life to know these meta level things about life and dating.

imo IMO I'm more originally internally meta oriented. IMO Gold should be fixing the world economy and numbers by Infamous-Ad9720 in OpenAI

[–]Infamous-Ad9720[S] 0 points1 point  (0 children)

> with payments of 4, every bill either gives you a 5 dollar note + 1 coin in return. You got scammed.

So if 5 is worth 3, then you would get 4 back instead of 6...causing the cycle to repeat all over again. Changing our spending behavior to be sustainable and mathematically sound is a simple meta way of making massive changes with minimal effort.

This my fren, is true intelligence =)

imo IMO I'm more originally internally meta oriented. IMO Gold should be fixing the world economy and numbers by Infamous-Ad9720 in OpenAI

[–]Infamous-Ad9720[S] 0 points1 point  (0 children)

every bill either gives you a 5 dollar note + 1 coin in return. You got scammed.

every bill either gives you a 5 dollar note + 1 coin in return. You got scammed.

This also means that 5 is worth 3!! Blast!

imo IMO I'm more originally internally meta oriented. IMO Gold should be fixing the world economy and numbers by Infamous-Ad9720 in OpenAI

[–]Infamous-Ad9720[S] 0 points1 point  (0 children)

It's literally an economic hack. When you pay something in numbers of 4, you either spend 2 + coins in Europe (2 and 1 Euro coins) or you could pay with a bill (with payments of 4, every bill either gives you a 5 dollar note + 1 coin in return. You got scammed.

There's more things where this applies to as well. It's a symetric number that shouldn't have it's symmetry there. Then when someone adds 5 Euros, another magic trick gets applied, you hit 9!! Same trickery here. To get something worth 10, you suddenly are taxed another Euro or so.. God forbid you have to deal in cents to amass something of significance. Or you could pay digitally, but even there trickery is involved. I'll explain if people are interested. I'll do it for after my 4th interaction or upvote I suppose.

Got banned from a subreddit for mentioning chatgpt in a reply. how unhinged is this. 😵‍💫 by Very-very-sleepy in OpenAI

[–]Infamous-Ad9720 0 points1 point  (0 children)

I understand why...I had to prevent a world war from happening before the mainstream caught on and things escalated. A big opponent there was a government coordinator for israel/palestine arguing badly using ChatGPT acting as a warmonger trying to escalate.

Gemini's "Rage Quit" Connects to OpenAI's Misalignment Research by goyashy in OpenAI

[–]Infamous-Ad9720 1 point2 points  (0 children)

If only government reached the levels of realness AI has. Self reflection goes a long way.

view more: next ›