pessimist
Joined 15 years ago
Joined 15 years ago
"Very nice! ... actually the thing that impresses me more than the proof method is the avoidance of errors, such as making mistakes with interchanges of limits or quantifiers (which is the main pitfall to avoid here). Previous generations of LLMs would almost certainly have fumbled these delicate issues.
...
I am going ahead and placing this result on the wiki as a Section 1 result (perhaps the most unambiguous instance of such, to date)"
The pace of change in math is going to be something to watch closely. Many minor theorems will fall. Next major milestone: Can LLMs generate useful abstractions?
To quote Freeman Dyson: "Professor Yang is, after Einstein and Dirac, the preeminent stylist of the 20th century physics. From his early days as a student in China to his later years as the sage of Stony Brook, he has always been guided in his thinking by a love of exact analysis and formal mathematical beauty. This love led him to his most profound and original contribution to physics, the discovery with Robert Mills of non-Abelian gauge fields. With the passage of time, his discovery of non-Abelian gauge fields is gradually emerging as a greater and more important event than the spectacular discovery of parity non-conservation which earned him the Nobel Prize."
There is a lot of hard math and fundamental physical ideas that pop out when we apply quantum mechanics to fields, but it's still QM.
The work of Heisenberg, Schrodinger, Dirac, Pauli from 1925-28 or so is absolutely not our date.
Political discourse has lost all sense of decency. Senators, the VP and POTUS all routinely mock and demean their opponents and laugh even at murder. Arrests are made by unknown masked men with assault rifles.
AI is simply irrelevant to this - humans are selfish, tribal and ugly.
Despite Musk raising millions and campaigning viciously against the Democrats the administration kept all of SpaceX contracts and Tesla ev subsidies. In fact the IRA benefited Tesla disproportionately.
Both sides are NOT the same. One is fascist and the other is not
However to defend Obama - he explictly ran on unity and went out of his away to not openly benefit his own race.
Here the corruption is openly displayed as a kind of peacock-tail to the beneficiaries.
I witnessed this up close in India where parties openly exist to benefit certain constituencies based on caste, language, religion and so on.
It is horrifying to see this attitude take root in my adopted land.
1. Galaxy rotation curves. 2. Galaxy cluster mass measurements from gravitational lenses and infrared. 3. Cosmic Microwave Background models (mass measurements from inhomogeneities that correspond to acoustic waves, for eg).
MOND only explains 1.
Dark matter accounts for all 3. Only catch is that it hasnt been directly observed.