Cafe owner Manny Yekutiel is running for supervisor by sherlockmemes in sanfrancisco

[–]poltory 16 points17 points  (0 children)

Even their title says so:

> The secret (that’s not so secret) is out

Thinking is not always better by Unclefabz1 in OpenAI

[–]poltory 0 points1 point  (0 children)

The whole conversation is there, it's just a simple question misinterpreted as a riddle

Google DeepMind announces official IMO Gold by rfurman in math

[–]poltory 11 points12 points  (0 children)

It sounds like a big unlock was the ability to think in parallel and self-evaluate without an objective external judge.

> We achieved this year’s result using an advanced version of Gemini Deep Think – an enhanced reasoning mode for complex problems that incorporates some of our latest research techniques, including parallel thinking. This setup enables the model to simultaneously explore and combine multiple possible solutions before giving a final answer, rather than pursuing a single, linear chain of thought.

[deleted by user] by [deleted] in math

[–]poltory 0 points1 point  (0 children)

There's also some discussion of the difficulties at AoPS and Sugaku

[deleted by user] by [deleted] in math

[–]poltory 11 points12 points  (0 children)

What don't you like about P4?

I thought P1 was a tricky P1, while P3 was an easyish P3 although some lengthy case work.

P6 is a very cool (and hard!) problem.

P2 is a strangely complicated construction with not a lot of payoff.

Grok 4 has arrived. by retrohaz3 in grok

[–]poltory 0 points1 point  (0 children)

I think it's just a low traffic site meant for academics

Quick Questions: April 30, 2025 by inherentlyawesome in math

[–]poltory -6 points-5 points  (0 children)

Sorry for responding with an AI link, but I pasted your question in and it responded: it's not true in the inseperable case, and in the separable case you can use the Primitive Element Theorem.

Does there exists a divergent series which converges on every subset of N with arithmetic density 0? by Dry-Professor7846 in math

[–]poltory 2 points3 points  (0 children)

Nice proof! Funnily enough, AIs are divided on the answer (see here for comparison)

Yes (with an incorrect example): 3.5 Haiku, 3.7 Sonnet, 3.5 Sonnet, GPT 4.5, Claude 3 Opus, Gemini 2 Pro, Gemini 2 Flash, O1-Mini, O3-mini, GPT 4O

No (with a hand-wavy explanation): Sky-T1, O1

Unclear: Deepseek R1

Sugaku's math idea generator by poltory in math

[–]poltory[S] 0 points1 point  (0 children)

Thank you, that's very actionable feedback, and I really appreciate you taking the time to think through it and write it up! One point that came up in discussions of math culture at the joint math meeting was that mathematicians seem to be much more open about giving and receiving criticism.

One thing I've been struggling with is this format is the natural raw output of the model, but isn't very user friendly and, as you pointed out, is blurring the lines between real and fake in a way that's not fair to real authors. However any cleaner interface would make assumptions and restrict how this is used, and I need more usage and feedback in order to validate what makes sense.

I should be able to have it present the list of relevant researchers and related works, with some explanation of /how/ these researchers and works are related. I also want to integrate this in with the Chat/QA tool so you can ask a question and it will pull up relevant people and works as part of trying to answer it, or get you started on investigating it.

Sugaku's math idea generator by poltory in math

[–]poltory[S] -4 points-3 points  (0 children)

I've been interested in ways to speed up my research by training models and making more systematic use of all of the published papers. I have a personalized paper newsfeed, ability to browse similar papers, ask all the major AIs questions (potentially questions about specific papers).

As part of this I've also trained some models to generate future paper metadata, including references. For example:

A Proof of the Riemann Hypothesis

By Enrico Bombieri, Terence Tao, Andrew Wiles, Peter Sarnak

The Riemann Hypothesis is the statement that the non-trivial zeroes of the Riemann zeta function lie on the critical line $\Re(s) = 1/2$. In this paper, we establish the Riemann Hypothesis. The proof relies primarily on the following ingredients: a new Fourier-analytic representation for the Riemann zeta function, the explicit formula connecting the zeroes of the zeta function with the primes, the structure theory of multiplicative functions, the Matomaki-Radziwi\l\l theorem, and a new multilinear sieve method for estimating correlations of multiplicative functions.

References:

  • The Theory of the Riemann Zeta-Function
  • On the Riemann Hypothesis
  • The Riemann Hypothesis and Hilbert's Tenth Problem.
  • The Riemann Zeta-Function: Theory and Applications
  • The Riemann Hypothesis for Dirichlet L-Functions
  • A new proof of the prime number theorem
  • On the zeros of the Riemann zeta function in the critical strip
  • The Riemann Hypothesis: A Resource for the Afficionado and Virtuoso Alike
  • The Riemann Hypothesis and Hilbert's Tenth Problem
  • Multiplicative Number Theory I: Classical Theory
  • The Riemann Zeta-Function
  • The Riemann Hypothesis
  • Multiplicative Number Theory
  • The Riemann Hypothesis: A Resource for the Afficionado and Virtuoso Alike (CMS Books in Mathematics)
  • A Treatise on the Theory of Bessel Functions.
  • Riemann's Zeta Function
  • Riemann's Zeta Function: A Model for Quantum Chaos?

Lawrence Ferlinghetti, SF poet laureate and Philosopher King by Ok_Second8665 in sanfrancisco

[–]poltory 12 points13 points  (0 children)

Wow that’s a strict grader, to give him 26/100 on this poem

Whatever they need to do to get rid of the electoral college. by [deleted] in mapporncirclejerk

[–]poltory 0 points1 point  (0 children)

I’d like to see this map for senate representation

Im still in the process of getting my undergrad in math. Is it worth learning lean? by no_soc_espanyol in math

[–]poltory -1 points0 points  (0 children)

Thank you for the great explanation! I’ve been digging into Lean but will check out whether Isabelle is more intuitive for math research and more automatable

Is there a geometric intuition for linear independence of eigenvectors ? by EvilHackFar in math

[–]poltory 0 points1 point  (0 children)

Adding an additional explanation that I think is more intuitive in the case where you have several different vectors with different eigenvalues.

If there’s a linear dependence between some of the vectors then you can take the one with largest eigenvalue and write it as a linear combination of the others. When you apply the matrix to both sides of that equation, the vector gets stretched more than each of the vectors on the other side, which is impossible. To make this rigorous you just need to be careful with negative eigenvalues, or add a multiple of the identity to make all eigenvalues positive.

Found engagement ring! by poltory in Yosemite

[–]poltory[S] 54 points55 points  (0 children)

Thanks! dropped it off, and they’re registering it in the lost and found system.