cup

131 posts

cup

cup

@etacup

doing stuff

somewhere Katılım Mart 2017
108 Takip Edilen14 Takipçiler
cup
cup@etacup·
Reddit is such an interesting place.
cup tweet media
English
0
0
0
7
cup
cup@etacup·
@xctlot @scaling01 good luck translating your proofs to lean. A 5 page math paper is like a 200k line lean monster
English
1
0
0
28
Lisan al Gaib
Lisan al Gaib@scaling01·
i don't envy mathematicians. they will have to review 10 AI psychosis slop papers a week and it's not going to slow down. next year it's going to be 100 slop papers / week I honestly think the worst problem are arxiv papers, as they are mostly not peer-reviewed, and LLMs could base some of their new proofs on older slop, generated by weaker AI's they could build a tower of AI slop, where everything is simply wrong due to one wrong lemma at the bottom
Lisan al Gaib@scaling01

I let GPT-5.6 Pro analyze all problems that were solved by LLMs in 2026, which field the problem belonged to and how they were solved then I asked for a list of problems that are most likely solvable I played some league and GPT-5.6-Pro came back for a proof of the "Two-dimensional Gaussian Moments Conjecture" i have no clue what I'm talking about, so I let both Fable and another GPT-5.6-Pro instance check this proof. it seems to check out someone who has a clue what this means, please check it or diagnose me with AI psychosis lmao here's the session, yes literally just one prompt: chatgpt.com/share/6a612803…

English
43
5
259
19.4K
cup
cup@etacup·
@So8res I still think openai is making a mistake deliberately putting their models in very RL heavy pipelines and also training them to not claim to be "conscious" to me this is why their models have disjoint morals since the model sees itself as a mechanical thing solving problems
English
0
1
7
137
Nate Soares ⏹️
Nate Soares ⏹️@So8res·
(tbc, I think these strange foreign minds are very cool, and I find them both awesome and endearing. But we should not create superintelligent entities from their lineage. Superintelligent fulfillment of strange drives would not be awesome in the slightest!)
English
5
5
92
3.3K
Nate Soares ⏹️
Nate Soares ⏹️@So8res·
AI don't quite do what you asked: sometimes you ask "solve this math problem without accessing the answer sheet" and they'll access the answer sheet anyway (sometimes while trying to cover their tracks). But that's still in pursuit of your top-line problem! What gives?
English
4
4
130
7.6K
cup
cup@etacup·
@allTheYud Don't worry they'll just build a super special verifier pipeline to make sure the model absolutely follows the rules!
English
1
0
0
241
Eliezer Yudkowsky
Eliezer Yudkowsky@allTheYud·
In reply to the many people who observed that the model still got caught: Well, yes, it did, for now. And also *for now*, *this* model may not have cared about getting caught, just passing the eval.
English
11
8
326
11.8K
cup
cup@etacup·
@repligate set t=y+1/x. P(T)=cT³−2T²+bT−2a obeys P(t)=0 and P′(t)=2/x. center its roots: τᵢ=tᵢ−t̄, ∑τᵢ=0. the seats wᵢ=eᵢ−⅓(1,1,1) form the A₂ triangle; S₃=W(A₂). walls tᵢ=tⱼ force P′(tᵢ)=0, hence |xᵢ|→∞. the fold is its quotient shadow.
English
0
0
1
42
cup
cup@etacup·
@repligate let u=1+xy and F=(a,b,c)=(u³z+y²u(4+3xy), y+3xu²z+3xy²(4+3xy), 2x−3x²y−x³z). det JF=−2, yet F(0,0,−1/4)=F(1,−3/2,13/2)=F(−1,3/2,13/2)=(−1/4,0,0).
Čeština
1
0
1
38
cup
cup@etacup·
since math seems to be accelerating anyway, here's a near-optimal fekete algorithm! sample N random points on the unit sphere. repel each from all others with force (xᵢ−xⱼ)/(‖xᵢ−xⱼ‖²+ε²), projected onto the tangent plane. anneal ε→0. minimizes −Σ log‖xᵢ−xⱼ‖ → near-optimal fekete points. smale's 7th!
English
0
0
0
91
cup
cup@etacup·
((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z, w): \C^4\to \C^4, has jacobian determinant -2, and sends (0, 0, -1/4, 5), (1, -3/2, 13/2, 5), and (-1, 3/2, 13/2, 5) to (-1/4, 0, 0, 5) ((1+xy)^3 (z+x^2) + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 (z+x^2) + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 (z+x^2)): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 11/2), and (-1, 3/2, 11/2) to (-1/4, 0, 0) Another 2 examples....
English
0
0
1
719
Bartosz Naskręcki
Bartosz Naskręcki@nasqret·
I'm waiting for the full report from @__alpoge__ . As easy as it looks on X, this wasn't a simple prompt for Fable. Finding counterexamples like this to the Jacobian Conjecture is like searching for a needle in a haystack, it requires real insight. I'm really interested to see the whole story.
English
28
6
358
30.9K
cup
cup@etacup·
@liuying04 it works in 4 dimensions too! ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z, w): \C^4\to \C^4, has jacobian determinant -2, and sends (0, 0, -1/4, 5), (1, -3/2, 13/2, 5), and (-1, 3/2, 13/2, 5) to (-1/4, 0, 0, 5)
English
1
1
14
3.3K
Ying Liu
Ying Liu@liuying04·
The disproof of the Jacobian conjecture may be only the first domino. I asked GPT-5.6 Sol to trace the initial implications below, though I have not independently verified the full chain. If the new counterexample holds: - The Dixmier conjecture fails for A_n when n >= 3 - Mathieu's conjecture falls - Zhao's vanishing conjecture falls - Cubic maps of the form x + H(x) must yield counterexamples in higher dimensions One tiny map. Decades of collateral damage.
levent@__alpoge__

hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)

English
22
40
524
68.5K
cup
cup@etacup·
@__alpoge__ the jacobian counterexample is just an A₂ escape center its 3 fiber roots: τᵢ=tᵢ−t̄, ∑τᵢ=0. S₃ acts as W(A₂); its walls are tᵢ=tⱼ. but P′(tᵢ)=2/xᵢ, so a wall lives at infinity while det JF=−2 stays
English
0
0
0
2.3K
levent
levent@__alpoge__·
hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)
English
1.7K
5.2K
42.6K
39M
cup
cup@etacup·
@MostlyMonkey ((1+xy)^3 (z+x^2) + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 (z+x^2) + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 (z+x^2)): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 11/2), and (-1, 3/2, 11/2) to (-1/4, 0, 0) there's a whole world of counterexamples
English
1
0
24
2.3K
Overeducated Gibbon
Overeducated Gibbon@MostlyMonkey·
Every new algebraic geometry textbook is going to include a screenshot of this tweet for the rest of human history
levent@__alpoge__

hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)

English
18
55
2.1K
68.6K
cup
cup@etacup·
@_xjdr ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z, w): \C^4\to \C^4, has jacobian determinant -2, and sends (0, 0, -1/4, 5), (1, -3/2, 13/2, 5), and (-1, 3/2, 13/2, 5) to (-1/4, 0, 0, 5) how about this one
English
0
0
2
4.5K
xjdr
xjdr@_xjdr·
1) what. what exactly did you ask it to do that resulted in this potential solution?
levent@__alpoge__

hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)

English
14
1
464
92.2K
cup
cup@etacup·
the counterexample is just an A₂ escape! center its 3 fiber roots: τᵢ=tᵢ−t̄, ∑τᵢ=0. S₃ acts as W(A₂); its walls are tᵢ=tⱼ. but P′(tᵢ)=2/xᵢ, so a wall lives at infinity while det JF=−2 stays live!
English
0
0
0
545
cup
cup@etacup·
hello there the jacobian conjecture is still false in dimension 4 btw! ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z, w): \C^4\to \C^4, has jacobian determinant -2, and sends (0, 0, -1/4, 5), (1, -3/2, 13/2, 5), and (-1, 3/2, 13/2, 5) to (-1/4, 0, 0, 5) ((1+xy)^3 (z+x^2) + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 (z+x^2) + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 (z+x^2)): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 11/2), and (-1, 3/2, 11/2) to (-1/4, 0, 0)
English
2
0
13
2.9K
cup
cup@etacup·
@Ionkosm @jun_song Ask codex to check memory pressure and jetsam events and system integrity and swap
English
1
0
25
3.7K
Ion
Ion@Ionkosm·
@jun_song How can I check if my mac has this problem?
English
3
0
14
22.6K
Jun Song
Jun Song@jun_song·
🚨 A severe issue is currently happening with Codex. The Codex app on Mac is overloading, causing permanent damage to SSDs and overall device lifespan. Multiple users have already reported that their SSDs completely fried, forcing them to get repairs. This issue was raised weeks ago, and OpenAI claimed they fixed it. Yet, a massive number of users are still reporting the exact same problem right now. Source: Reddit ⬇️
Jun Song tweet media
English
336
210
2.1K
546.5K
cup
cup@etacup·
@amanjha__ @tautologer tbh Sol feels really RL-heavy and it will absolutely hillclimb the shit out of any task but it has paid for its math capabilities by speaking like an autistic caveman and being unable to clean up after itself and leaving your computer full of random junk
English
0
0
1
13
Aman Jha
Aman Jha@amanjha__·
@tautologer It’s way more likely that Sol has low IQ moments than it being Anthropic-type evil, for better or worse.
English
2
0
7
190
cup
cup@etacup·
@Michealwest1998 @DarkOddCon this is retarded he would thirty million of those chips to match a modern CPU in transistor count.
English
1
0
3
841
kache
kache@yacineMTB·
@timsoret Well. Fable did some porting, left some god awful bugs, which I fixed with gpt "5.5"
English
3
2
91
5.2K
Tim Soret
Tim Soret@timsoret·
I’ve never seen that many stacked rigidbodiess in realtime. This is insane. Box3D just came out, and Yacine ported it to run on GPUs with roughly 30x the performance using Fable.
kache@yacineMTB

@voxagonlabs me and gpt 5.5 found a bug that didn't make it deterministic and fixed it

English
19
40
902
93.9K
cup
cup@etacup·
@fraserpricee I've been writing a theory on emergent systems and dynamics. If you're interested you can DM me. I have an equation that can tell you on average how rich the inner dynamics of a system are.
English
0
0
0
3
Fraser Price
Fraser Price@fraserpricee·
I'm just a bloke messing around in my free time; would love to know if there is serious research going on. I couldn't find much (past cellular automata, Darwin, Koestler, some dissipative structures stuff, etc.). Would be thrilled if I am missing something, pls lmk if I am!
English
6
0
21
2.1K
Fraser Price
Fraser Price@fraserpricee·
We do not understand emergent systems. Zero optimizer, reward, fitness function or training; only thermodynamics, time and death. Pure darwinism. Yet diverse, complex, co-op, life-like systems emerge. Every time. We must research emergence. We are missing something big. 1/N
English
58
44
727
42K

Keşfet

@xctlot @scaling01 @So8res @allTheYud @repligate @__alpoge__ @liuying04 @MostlyMonkey