RSS.Social

What's new

follow: @[email protected]

Posts

On the Hodge conjecture

A Severe Misalignment of AI in Mathematics

On the existence of non-sofic groups

SAIR competition: Andrews-Curtis challenge

Stable singularity of the Euler equations on R^3

Crowdsourcing a list of general resources on AI and mathematics

Finite time blowup with smooth forcing term for the incompressible porous medium, Boussinesq, and incompressible Euler equations

Rotating needles in space: the road to the Kakeya conjecture, and why it matters

Mathematical Discourse

Quantitative bounds for sets lacking polynomial progressions with shifted prime difference

Palomar – a registry of Lean verified mathematics

A digestion of the proof of Sendov’s conjecture

A partial digestion of the HRT counterexample

A digestion of the Jacobian conjecture counterexample

Two more apps: visualizing the zeta process and the motions of the heavens

Visualizing the Gilbreath expectation sequence

Call for long programs, workshops, and summer schools at IPAM

A paper diagram visualizer

A random variable visualizer

Old and new apps, via modern coding agents

Gilbreath’s conjecture: a Cramér random model and a deterministic analysis

A digestion of unit distance constructions

Third SAIR competition: inverse Galois challenge

On the proposed rule changes to the administration of federal grants

Modular Arithmetic Challenge

Primitive sets and von Mangoldt chains: Erdős Problem #1196 and beyond

Products of consecutive integers with unusual anatomy

Mathematical methods and human thought in the age of AI

Local Bernstein theory, and lower bounds for Lebesgue constants

Mathematics Distillation Challenge – Equational Theories

SLMath Deputy Director Search

Six Math Essentials

IPAM industrial short course in generative AI algorithms – deadline for applications closing soon

A crowdsourced repository for optimization constants?

Rogers’ theorem on sieving

The integrated explicit analytic number theory network

Polynomial towers and inverse Gowers theory for bounded-exponent groups

The maximal length of the Erdős–Herzog–Piranian lemniscate in high degree

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale

The story of Erdős problem #1026

Quantitative correlations and some problems on prime factors of consecutive integers

Growth rates of sequences governed by the squarefree properties of its translates

Call for industry sponsors for IPAM’s RIPS program

Climbing the cosmic distance ladder: another sample chapter

Sum-difference exponents for boundedly many slopes, and rational complexity

New Nikodym set constructions over finite fields

Mathematical exploration and discovery at scale

Smooth numbers and max-entropy

A crowdsourced project to link up erdosproblems.com to the OEIS

SLMath announces new research programs

Rough numbers between consecutive primes

Salem Prize now accepting nominations for 2025

Decomposing a factorial into large factors (second version)

On the number of exceptional intervals to the prime number theorem in short intervals

A Lean companion to “Analysis I”

Some variants of the periodic tiling conjecture

A tool to verify estimates, II: a flexible proof assistant