
SAM ALTMAN: “WE SEE A FUTURE WHERE INTELLIGENCE IS A UTILITY, LIKE ELECTRICITY OR WATER, AND PEOPLE BUY IT FROM US ON A METER.”
denster
13.2K posts

@denstar
thinker with a coding problem

SAM ALTMAN: “WE SEE A FUTURE WHERE INTELLIGENCE IS A UTILITY, LIKE ELECTRICITY OR WATER, AND PEOPLE BUY IT FROM US ON A METER.”

Mostly true. What matters is securing the long-term future of consciousness, both on Earth and other heavenly bodies. We cannot just focus on Earth, because there are irreducible external (eg massive meteor) and internal (eg global nuclear war) cataclysmic risks. The Moon is faster to make self-growing, but is more susceptible to problems on Earth. Mars will take longer to make self-growing, because it is so hard to reach, but is more secure from Earth disasters for that same reason. Both the Moon and Mars should have self-growing civilizations. Making this happen is the prime directive of SpaceX.


Hegseth torches identity politics in West Point speech: ‘Can’t throw your pronouns at the enemy’ thehill.com/policy/defense…



Another 9 open Erdos problems solved, this time by DeepMind team. Interesting loop of LLM - Lean agents working autonomously, and only after it's verified formally, going through human review.





Today we're announcing our Series C funding: $355M at a $4.65B valuation, led by some great investors @generalcatalyst and @Redpoint. We've had insane growth in the last year, but we're still very early. So proud of the team and what we have built so far!

Your comment is mathematically confused. Mathematics almost never progresses by inventing entirely new symbols. It progresses by discovering new relationships, constructions, proof strategies, equivalences, and structures using existing symbolic systems. Andrew Wiles did not invent new integers proving Fermat’s Last Theorem proof. Newton did not invent new numbers to formulate calculus. Einstein mostly used preexisting tensor notation developed by others. Group theory, topology, category theory, etc. largely reused existing symbolic alphabets. The power is in arranging known objects into previously unseen dependency structures. “the model simply rearranged previously existing mathematics into an order that happened to solve the problem” Well yes, that is precisely what scientific and mathematical discovery is. AI does not memorize. That is always a statement made by someone who doesn’t understand this technology, isn’t versed in complex systems, and holds naive ideas about how creativity and innovation actually work.

clearly all the words and numbers used in this proof are already part of the training data. i went through the entire 125 pages of summarised cot, i couldn't find a single novel symbol in there. they really think they can continue fooling everyone with this. all the elementary pieces used to prove this were already known. not one new integer was invented. not one fresh Greek letter was discovered in the wild. the model simply rearranged previously existing mathematics into an order that happened to solve the problem, which is obviously just memorisation if you ignore the rearrangement, the dependency structure, the proof search, the synthesis, and the fact that this is exactly what mathematicians... ahem ahem anyhow, wake me up when it invents a completely new field all by itself and new greek letters and numbers with properties completely unknown. that is the true test for agi.




The easiest solution would be to pass a law that AI companies need to pay royalties to (or otherwise fairly compensate) all owners of the creative works they've used to train their AI models. Done. This all goes away overnight.