#numbertheory — Public Fediverse posts on home.social

Rémi Eismann @[email protected] · 2026-09-17 · 12:37 UTC

I prefer ChatGPT for site/app/visual/media. But i prefer Claude for reports: Pedagogical report for Graduate / researcher new to the decomposition into weight × level + jump in 8 pages ➡️ https://decompwlj.com/weight-level-jump-in-eight-pages.html

#decompwlj #math #NumberTheory #numbers #sieve #Claude #Anthropic #Opus5

#opus5 #anthropic #claude #sieve #numbers #numbertheory

Rémi Eismann @[email protected] · 2026-09-17 · 03:09 UTC

GTP-6 Astra: pedagogical report for Graduate / researcher new to the decompwlj: from Gaps to Divisor Geometry
https://decompwlj.com/GPT_Astra_decompwlj_graduate_report_2026-09-11.html

#decompwlj #math #NumberTheory #AI #report #PrimeNumbers #GPT6 #Astra

#astra #gpt6 #primenumbers #report #ai #numbertheory

Rémi Eismann @[email protected] · 2026-09-17 · 03:09 UTC

GTP-6 Astra: pedagogical report for Graduate / researcher new to the decompwlj: from Gaps to Divisor Geometry
https://decompwlj.com/GPT_Astra_decompwlj_graduate_report_2026-09-11.html

#decompwlj #math #NumberTheory #AI #report #PrimeNumbers #GPT6 #Astra

#astra #gpt6 #primenumbers #report #ai #numbertheory

Rémi Eismann @[email protected] · 2026-09-17 · 03:09 UTC

GTP-6 Astra: pedagogical report for Graduate / researcher new to the decompwlj: from Gaps to Divisor Geometry
https://decompwlj.com/GPT_Astra_decompwlj_graduate_report_2026-09-11.html

#decompwlj #math #NumberTheory #AI #report #PrimeNumbers #GPT6 #Astra

#astra #gpt6 #primenumbers #report #ai #numbertheory

Rémi Eismann @[email protected] · 2026-09-17 · 03:09 UTC

GTP-6 Astra: pedagogical report for Graduate / researcher new to the decompwlj: from Gaps to Divisor Geometry
https://decompwlj.com/GPT_Astra_decompwlj_graduate_report_2026-09-11.html

#decompwlj #math #NumberTheory #AI #report #PrimeNumbers #GPT6 #Astra

#astra #gpt6 #primenumbers #report #ai #numbertheory

N-gated Hacker News @[email protected] · 2026-09-16 · 15:47 UTC

🎩 Ah yes, the ancient art of number #wizardry where one ponders the sheer magnitude of 52! #factorial, as if anyone without a PhD in #math and a love affair with calculators would care. 🧙‍♂️ Apparently, Eli has cracked the code to estimating factorial sizes, ensuring that no one will ever have to endure the terror of large numbers without guidance. 📜 Too bad nobody asked.
https://eli.thegreenplace.net/2026/how-big-are-factorials/ #numbertheory #calculation #HackerNews #ngated

#wizardry #factorial #math #numbertheory #calculation #hackernews

Rémi Eismann @[email protected] · 2026-09-16 · 10:41 UTC

"wlj atlas" has a new home ➡️ https://decompwlj.org
- 100 sequences decomposed with 3D/2D three.js graphs.
- Cinema: fullscreen, slow rotation.
- Compare: two sequences with linked cameras.

#decompwlj #math #NumberTheory #sequence #graph #threejs #3D #AI #ChatGPT #GPT6 #Astra

#astra #gpt6 #chatgpt #ai #3d #threejs

Rémi Eismann @[email protected] · 2026-09-16 · 10:41 UTC

"wlj atlas" has a new home ➡️ https://decompwlj.org
- 100 sequences decomposed with 3D/2D three.js graphs.
- Cinema: fullscreen, slow rotation.
- Compare: two sequences with linked cameras.

#decompwlj #math #NumberTheory #sequence #graph #threejs #3D #AI #ChatGPT #GPT6 #Astra

#astra #gpt6 #chatgpt #ai #3d #threejs

Rémi Eismann @[email protected] · 2026-09-16 · 10:41 UTC

"wlj atlas" has a new home ➡️ https://decompwlj.org
- 100 sequences decomposed with 3D/2D three.js graphs.
- Cinema: fullscreen, slow rotation.
- Compare: two sequences with linked cameras.

#decompwlj #math #NumberTheory #sequence #graph #threejs #3D #AI #ChatGPT #GPT6 #Astra

#astra #gpt6 #chatgpt #ai #3d #threejs

Rémi Eismann @[email protected] · 2026-09-16 · 10:41 UTC

"wlj atlas" has a new home ➡️ https://decompwlj.org
- 100 sequences decomposed with 3D/2D three.js graphs.
- Cinema: fullscreen, slow rotation.
- Compare: two sequences with linked cameras.

#decompwlj #math #NumberTheory #sequence #graph #threejs #3D #AI #ChatGPT #GPT6 #Astra

#decompwlj #math #numbertheory #sequence #graph #threejs

Rémi Eismann @[email protected] · 2026-09-16 · 10:41 UTC

"wlj atlas" has a new home ➡️ https://decompwlj.org
- 100 sequences decomposed with 3D/2D three.js graphs.
- Cinema: fullscreen, slow rotation.
- Compare: two sequences with linked cameras.

#decompwlj #math #NumberTheory #sequence #graph #threejs #3D #AI #ChatGPT #GPT6 #Astra

#astra #gpt6 #chatgpt #ai #3d #threejs

Rémi Eismann @[email protected] · 2026-09-16 · 02:44 UTC

GTP-6 Astra: pedagogical report for Graduate / researcher new to the decompwlj: from Gaps to Divisor Geometry
https://decompwlj.com/GPT_Astra_decompwlj_graduate_report_2026-09-11.html

#decompwlj #math #NumberTheory #AI #report #PrimeNumbers #GPT6 #Astra

#astra #gpt6 #primenumbers #report #ai #numbertheory

Rémi Eismann @[email protected] · 2026-09-16 · 02:44 UTC

GTP-6 Astra: pedagogical report for Graduate / researcher new to the decompwlj: from Gaps to Divisor Geometry
https://decompwlj.com/GPT_Astra_decompwlj_graduate_report_2026-09-11.html

#decompwlj #math #NumberTheory #AI #report #PrimeNumbers #GPT6 #Astra

#astra #gpt6 #primenumbers #report #ai #numbertheory

Rémi Eismann @[email protected] · 2026-09-16 · 02:44 UTC

GTP-6 Astra: pedagogical report for Graduate / researcher new to the decompwlj: from Gaps to Divisor Geometry
https://decompwlj.com/GPT_Astra_decompwlj_graduate_report_2026-09-11.html

#decompwlj #math #NumberTheory #AI #report #PrimeNumbers #GPT6 #Astra

#decompwlj #math #numbertheory #ai #report #primenumbers

Rémi Eismann @[email protected] · 2026-09-16 · 02:44 UTC

GTP-6 Astra: pedagogical report for Graduate / researcher new to the decompwlj: from Gaps to Divisor Geometry
https://decompwlj.com/GPT_Astra_decompwlj_graduate_report_2026-09-11.html

#decompwlj #math #NumberTheory #AI #report #PrimeNumbers #GPT6 #Astra

#astra #gpt6 #primenumbers #report #ai #numbertheory

Rémi Eismann @[email protected] · 2026-09-16 · 02:44 UTC

GTP-6 Astra: pedagogical report for Graduate / researcher new to the decompwlj: from Gaps to Divisor Geometry
https://decompwlj.com/GPT_Astra_decompwlj_graduate_report_2026-09-11.html

#decompwlj #math #NumberTheory #AI #report #PrimeNumbers #GPT6 #Astra

#astra #gpt6 #primenumbers #report #ai #numbertheory

Hugo Vázquez Caramés @[email protected] · 2026-09-15 · 18:07 UTC

I’ve just posted on ResearchGate an annotated, step-by-step source edition of my zero-density paper. It reproduces the original passages unchanged, together with detailed explanations, dependency maps, and a guided proof chain.

I’m also close to completing a Lean formalization produced entirely by AI, with me supervising, checking, and directing the process. Progress is still slow because I’m doing this independently, with personal resources, without agents or institutional support. If anyone interested in Lean or analytic number theory would like to help, I’d be delighted to share everything, collaborate openly, and publish the formalization together, with shared credit and co-authorship for meaningful contributions.

To me, the main interest is not the numerical improvement over Guth-Maynard, but the technique behind it: centered Gram/spectral structure, additive energy, and exact physical synthesis, achieved without exceptional computational resources.

These ideas may be worth exploring beyond zero-density estimates, e.g. in functional and approximation theory, moment problems, harmonic/spectral analysis, PDEs, and mathematical physics.

I’m not a trillion-dollar institution, just an independent person who loves mathematics and science. I hope this project can be a small example of the democratization of mathematical knowledge.

Collaborators very welcome.

Paper "Proof Chain for the 24000/10451 Zero-Density Bound (Friendly Version)":
https://doi.org/10.13140/RG.2.2.11136.60161

#NumberTheory #RiemannZeta #Lean4 #AI #Formalization #OpenScience

#openscience #formalization #ai #lean4 #riemannzeta #numbertheory

Hugo Vázquez Caramés @[email protected] · 2026-09-15 · 18:07 UTC

I’ve just posted on ResearchGate an annotated, step-by-step source edition of my zero-density paper. It reproduces the original passages unchanged, together with detailed explanations, dependency maps, and a guided proof chain.

I’m also close to completing a Lean formalization produced entirely by AI, with me supervising, checking, and directing the process. Progress is still slow because I’m doing this independently, with personal resources, without agents or institutional support. If anyone interested in Lean or analytic number theory would like to help, I’d be delighted to share everything, collaborate openly, and publish the formalization together, with shared credit and co-authorship for meaningful contributions.

To me, the main interest is not the numerical improvement over Guth-Maynard, but the technique behind it: centered Gram/spectral structure, additive energy, and exact physical synthesis, achieved without exceptional computational resources.

These ideas may be worth exploring beyond zero-density estimates, e.g. in functional and approximation theory, moment problems, harmonic/spectral analysis, PDEs, and mathematical physics.

I’m not a trillion-dollar institution, just an independent person who loves mathematics and science. I hope this project can be a small example of the democratization of mathematical knowledge.

Collaborators very welcome.

Paper "Proof Chain for the 24000/10451 Zero-Density Bound (Friendly Version)":
https://doi.org/10.13140/RG.2.2.11136.60161

#NumberTheory #RiemannZeta #Lean4 #AI #Formalization #OpenScience

#openscience #formalization #ai #lean4 #riemannzeta #numbertheory

Hugo Vázquez Caramés @[email protected] · 2026-09-15 · 18:07 UTC

I’ve just posted on ResearchGate an annotated, step-by-step source edition of my zero-density paper. It reproduces the original passages unchanged, together with detailed explanations, dependency maps, and a guided proof chain.

I’m also close to completing a Lean formalization produced entirely by AI, with me supervising, checking, and directing the process. Progress is still slow because I’m doing this independently, with personal resources, without agents or institutional support. If anyone interested in Lean or analytic number theory would like to help, I’d be delighted to share everything, collaborate openly, and publish the formalization together, with shared credit and co-authorship for meaningful contributions.

To me, the main interest is not the numerical improvement over Guth-Maynard, but the technique behind it: centered Gram/spectral structure, additive energy, and exact physical synthesis, achieved without exceptional computational resources.

These ideas may be worth exploring beyond zero-density estimates, e.g. in functional and approximation theory, moment problems, harmonic/spectral analysis, PDEs, and mathematical physics.

I’m not a trillion-dollar institution, just an independent person who loves mathematics and science. I hope this project can be a small example of the democratization of mathematical knowledge.

Collaborators very welcome.

Paper "Proof Chain for the 24000/10451 Zero-Density Bound (Friendly Version)":
https://doi.org/10.13140/RG.2.2.11136.60161

#NumberTheory #RiemannZeta #Lean4 #AI #Formalization #OpenScience

#openscience #formalization #ai #lean4 #riemannzeta #numbertheory

Hugo Vázquez Caramés @[email protected] · 2026-09-15 · 18:07 UTC

I’ve just posted on ResearchGate an annotated, step-by-step source edition of my zero-density paper. It reproduces the original passages unchanged, together with detailed explanations, dependency maps, and a guided proof chain.

I’m also close to completing a Lean formalization produced entirely by AI, with me supervising, checking, and directing the process. Progress is still slow because I’m doing this independently, with personal resources, without agents or institutional support. If anyone interested in Lean or analytic number theory would like to help, I’d be delighted to share everything, collaborate openly, and publish the formalization together, with shared credit and co-authorship for meaningful contributions.

To me, the main interest is not the numerical improvement over Guth-Maynard, but the technique behind it: centered Gram/spectral structure, additive energy, and exact physical synthesis, achieved without exceptional computational resources.

These ideas may be worth exploring beyond zero-density estimates, e.g. in functional and approximation theory, moment problems, harmonic/spectral analysis, PDEs, and mathematical physics.

I’m not a trillion-dollar institution, just an independent person who loves mathematics and science. I hope this project can be a small example of the democratization of mathematical knowledge.

Collaborators very welcome.

Paper "Proof Chain for the 24000/10451 Zero-Density Bound (Friendly Version)":
https://doi.org/10.13140/RG.2.2.11136.60161

#NumberTheory #RiemannZeta #Lean4 #AI #Formalization #OpenScience

#numbertheory #riemannzeta #lean4 #ai #formalization #openscience

Hugo Vázquez Caramés @[email protected] · 2026-09-15 · 18:07 UTC

I’ve just posted on ResearchGate an annotated, step-by-step source edition of my zero-density paper. It reproduces the original passages unchanged, together with detailed explanations, dependency maps, and a guided proof chain.

I’m also close to completing a Lean formalization produced entirely by AI, with me supervising, checking, and directing the process. Progress is still slow because I’m doing this independently, with personal resources, without agents or institutional support. If anyone interested in Lean or analytic number theory would like to help, I’d be delighted to share everything, collaborate openly, and publish the formalization together, with shared credit and co-authorship for meaningful contributions.

To me, the main interest is not the numerical improvement over Guth-Maynard, but the technique behind it: centered Gram/spectral structure, additive energy, and exact physical synthesis, achieved without exceptional computational resources.

These ideas may be worth exploring beyond zero-density estimates, e.g. in functional and approximation theory, moment problems, harmonic/spectral analysis, PDEs, and mathematical physics.

I’m not a trillion-dollar institution, just an independent person who loves mathematics and science. I hope this project can be a small example of the democratization of mathematical knowledge.

Collaborators very welcome.

Paper "Proof Chain for the 24000/10451 Zero-Density Bound (Friendly Version)":
https://doi.org/10.13140/RG.2.2.11136.60161

#NumberTheory #RiemannZeta #Lean4 #AI #Formalization #OpenScience