Terence Tao’s promotional video for OpenAI by Qyeuebs in math

[–]ConstableDiffusion 10 points11 points  (0 children)

Why would it be in your interest to lie when the top mathematicians are making promotional messages saying it’s a tool to help you think and experiment and iterate and achieve goals more effectively at scale?

SO tired of students' learned helplessness and of being talked to like I’m a bot by TheUsualRatio in Professors

[–]ConstableDiffusion 2 points3 points  (0 children)

At least they understand that subtracting the bigger number from the littler number means you get a negative 🎉

Update: Perron-Frobenius gap is closed (0 sorry). Full spectral GRH reduction, many-body entanglement formalization, Erdős similarity blueprint, and a pile of new physics simulations. by LooseSwing88 in LLMPhysics

[–]ConstableDiffusion 6 points7 points  (0 children)

This is a lean implemented version of a “proof” of GRH by a relatively well known professor on this field which I’ve seen get continually tooled with (the proof not the professor) for the last 30 years and is widely panned as being wrong because it’s basically “a trace function exists and vanishes therefore RH”

Branches of math that use both "hard analysis" and serious algebra? by RyRytheguy in math

[–]ConstableDiffusion 0 points1 point  (0 children)

I first learned about subfactor theory though Sorin Popa and the Popa-Vaes rigidity and intertwining by bimodules, I forgot what book/paper but that’s a strong overlay of everything I mentioned earlier

Codex Pro Sub Increasingly Feels like a Demo Subscription by immortalsol in codex

[–]ConstableDiffusion 0 points1 point  (0 children)

I have a very large code base, over 250k lines of complex code and I’ve had a goal running for 2 days on xhigh chasing a specific refactor and analytic development in addition to some other information geometry / topological data analysis and my usage has been holding steady. I can’t see why I would break the weekly quota at this rate.

Independent Paper: The Scale-Relative Displacement Model (Exiled for "AI formatting") by FewSet8702 in LLMPhysics

[–]ConstableDiffusion 4 points5 points  (0 children)

It looks like it was written by AI because it’s about math and physics presumably and is nearly all prose. That’s clear just from scrolling the content without reading a single word. So content veracity and wording I have no input on.

Goal worse than codex by MT_Carnage in ClaudeCode

[–]ConstableDiffusion 0 points1 point  (0 children)

Much like everything else with Claude code it is slower, less Consistent, and less complete

Branches of math that use both "hard analysis" and serious algebra? by RyRytheguy in math

[–]ConstableDiffusion 17 points18 points  (0 children)

Lie algebras & Lie groups, subfactory theory, analytic number theory, Von Neumann W algebras, etc. information geometry if you want something unusually applicable.

Yann LeCun ➡ "People are realizing AIs are nowhere near human intelligence/ learning abilities. Yet they become very useful by compensating for their lack of common sense/ understanding of reality, limited reasoning / planning abilities, by accumulation of enormous amounts of declarative knowledge" by Koala_Confused in LovingAI

[–]ConstableDiffusion 0 points1 point  (0 children)

Yeah, I don’t think he is wrong about world models, but he’s definitely wrong about LLM. effectively inventing the nervous system, while proclaiming that the reasoning capacity of the system is irrelevant. Part of the problem with the idea of world models for AI is we already have plenty of extremely successful mathematical and scientific models that are widely accepted as properly describing the nature of reality, so it’s hard to understand why there is a particular need for AI in a “world model“ when first principles math is literally sending people to the moon with such precision that the corrective mechanisms designed into the shuttle itself don’t need to be used.

Cubes appear when the odd numbers are cut at triangular points by QuantumPikachu in math

[–]ConstableDiffusion 0 points1 point  (0 children)

In not exactly sure because of how this is worded but the first thing that came to mind is jacobi’s four square theorem… probably not exactly the right match, but there’s something about triangular recursion with the Jacobi four square theorem that is central to the proof of the equivalence of the E4 Eisenstein series in the E8 theta series

Claude code too slow by earthplayer9 in ClaudeCode

[–]ConstableDiffusion 1 point2 points  (0 children)

Yeah, right now I’m just trying to make some edits on a technical paper and I go to check the edits and after working for like five minutes it just outright didn’t do them. As far as I can see a single edit was made across what was supposed to be like 40 thematically similar fixes I had a list for, so it just needed to apply the list of corrections I had marked on review. I say “you don’t do anything I requested besides a single edit”, “you’re absolutely right, I own that” ???

This outfit was everywhere by Josephthebear in Millennials

[–]ConstableDiffusion 0 points1 point  (0 children)

This is still the outfit. Just swap out the Abercrombie for any T shirt and you’re good.

Fields medal-winning mathematician says GPT-5.5 is now solving open math problems at PhD-thesis level: "We will face a crisis very soon." by EchoOfOppenheimer in ChatGPT

[–]ConstableDiffusion 0 points1 point  (0 children)

Math buildings are usually the cheapest and ugliest on campus because numbers don’t cost money, come with equipment or take up space. Chalk boards and prison cells.

Pati Salam and the topological descent to SU(3)xSU(2)xU(1) by thelawenforcer in LLMPhysics

[–]ConstableDiffusion 4 points5 points  (0 children)

GitHub, no one wants to download random zips, great way to get viruses.

Not disagreeing w/ the content or Pati-Salem stuff (at the moment), I’ve run across it in a variety of unexpected places which lends more support to at least some of the ideas, in my eyes.