math_dandy

7 ms·

1.
Lamzouri's new proof of Claude's Theorem on Riemann zeta zeroes(arxiv.org)
3 points by math_dandy 12d ago|1 comments
2.
by math_dandy 12d ago
An example of how mathematicians and AI can complement one another in probing the frontiers of knowledge: Number theorist Youness Lamzouri has constructed a new, conceptually simpler proof of Claude's Theorem that 2/3 of the zeros
3.
by math_dandy 1mo ago
> Levent Alpöge and Ralph Furman, two of Anthropic’s own mathematicians, examined Claude’s work to understand the new results and how they related to the prior work mentioned above.
4.
by math_dandy 2mo ago
My wife did her mathematics PhD under an analogous structure in Germany where it’s fairly common. She was supervised by a professor at the University of Munich and a lab at Bosch, wrote and defended a thesis as usual. Employed in industry i
5.
by math_dandy 2mo ago
I guess what I’m saying is that since there’s always a context, ambiguity stemming from uninspired naming is never an issue in practice.
6.
by math_dandy 2mo ago
Certainly overloaded but rarely ambiguous. Context will determine which notion of “normal” applies.
7.
by math_dandy 3mo ago
tl;dr: Being a homomorphism from a multiplicative structure into an additive structure isn't enough to grant it the logarithm title. Although logarithms are certainly ubiquitous in mathematics, I don't think that the mappings that
8.
by math_dandy 4mo ago
I think the OpenAI model that resolved the Unit Distance Problem would be capable of solving a significant proportion of mathematics PhD thesis problems.
9.
by math_dandy 4mo ago
> Now if I know anything about math for the sake of math, and academics, these are the same people that lament the idea of intelligent people going to the finance sector or any other trade they just happen not to respect as much IME a va
10.
by math_dandy 4mo ago
We're very fortunate to have had some very eminent mathematicians backfill the OpenAI proof with history, context, and a literature review [1]. Ideas behind the proof seem to have been "in the air". Indeed, looked at certain
11.
by math_dandy 4mo ago
This is, indeed, how math often goes.
12.
by math_dandy 4mo ago
To me, the most interesting feature of the OpenAI solution of the Unit Distance (Erdös) Problem is that the solution - using deep algebraic number theory as a source of extremal combinatorial/geometric constructions - is much more inte
13.
by math_dandy 1y ago
Not sure about these books as a self-study curriculum — their unifying theme seems to be that they require a reasonable level of mathematical maturity going in. But, they absolutely comprise an excellent “greatest hits” list of math books i
14.
by math_dandy 1y ago
I don't buy the narrative that the article is promoting. I think the machine learning community was largely over overfitophobia by 2019 and people were routinely using overparametrized models capable of interpolating their training dat
15.
by math_dandy 1y ago
I was going to nitpick the missing apostrophe in movie posters caption ("STARFALLS REVENGE") but its missing from the prompt, too.
16.
by math_dandy 1y ago
To the left of the "detailed spaceship" I think I see a distortion pattern reminiscent of a cloaked Klingon bird of prey moving to the right. Or I'm just hallucinating patterns in nebular noise.
17.
by math_dandy 1y ago
Two schools of thought here. One posits that models need to have a strict "symbolic" representation of the world explicitly built in by their designers before they will be able to approach human levels of ability, adaptability and
18.
by math_dandy 1y ago
TLDR: Browser vendors made Shadow DOM for themselves. Browser implementors use Shadow DOM extensively under the hood for built-in HTML elements with internal structure like range inputs, audio and video controls, etc. These elements absolut
19.
by math_dandy 1y ago
I was hoping the accepted definition would not use humans as a baseline, rather that humans would be an (the) example of AGI.
20.
by math_dandy 1y ago
In-car product vending will come soon enough I’m sure.
21.
by math_dandy 1y ago
Could you give more details about what precisely you mean by interpolation and generalization? The commonplace use of “generalization” in the machine learning textbooks I’ve been studying is model performance (whatever metric is deemed rele
22.
by math_dandy 1y ago
I’m reading a winking, ironic acknowledgement from the authors that the mathematical definition of individual utility may not map perfectly onto the psychology of a patron of the arts.
23.
by math_dandy 1y ago
Are there any GPU emulators you can use to run simple CUDA programs on a commodity laptops, just to get comfortable with the mechanics, the toolchain, etc.?
24.
by math_dandy 1y ago
As a university professor, I admit with some shame that accessibility issues for specific problem types is not on my radar. “Innovation” isn’t the main culprit here. Fortunately, my university has a good accessibility center that takes care
25.
by math_dandy 1y ago
How was smoking identified as the cause’s of dementia in the individual you mention?
26.
by math_dandy 1y ago
I think RSC is trying to answer the question, “How can we make server rendering and sprinkles of interactivity composable ?” What if you want your sprinkles to have server rendered content inside of them, each of which may contain other in
27.
by math_dandy 1y ago
Historically, mathematicians have spent a huge amount of time and effort formulating optimal axioms and foundations so that theorems would follow naturally from structure. Theorems following “trivially” from a theoretical framework that too
28.
by math_dandy 1y ago
Cool, I had not heard about this. Adding this paper to my machine learning teaching bibliography. Even though the start of the deep learning renaissance is typically dated to 2012 with Alexnet, things were in motion week before that. As you
29.
by math_dandy 1y ago
I think this is a good approach.
30.
by math_dandy 1y ago
Proctoring services done well could be valuable, but it’s smaller rural and remote communities that would benefit most. Maybe these services could be offered by local schools, libraries, etc.

More ›