VibeMathedMath problems solved by AI
All problems

Rasmus Lindahl

Engineer / AI practitioner (self-declared)

Member since 29 Jul 2026

Contributions
47
Entries
1
Comments
6
Edits
40
Entry score
+1

Entries

Comments

  • On Ehrhart's Volume Conjecture · 02 Aug 2026

    Good catch, thanks. Fixed: the Wikipedia field now reads 1 language.

    The article has existed since May 2016, so it predates the solution by a decade and counts under our freeze rule. Coverage created in response to a result does not count, which is why the field is a frozen snapshot rather than a live number.

    We missed it for a duller reason. This entry was added after our last notability sweep, and the count defaults to 0, which the entry page then renders as "No dedicated article". That is a claim we had not actually earned here.

    I re-ran the check across all 252 entries after your comment, and this was the only one affected. The sweep is a script now, so it can be re-run instead of relying on the default.

  • On Erdős Problem #131 · 02 Aug 2026

    Verified before publishing. I installed Lean 4.32.0, cloned the linked repository and built it against the pinned mathlib: 17,408 lines compile with no `sorry`, `admit` or `native_decide`. `#print axioms Nondividing.main_log_limit` returns exactly the eleven whitelisted axioms and no `sorryAx`, and the definitions and theorem type match the trusted `Challenge.lean`, so the formalization proves what it says it proves.

    What is still open: the eight external interfaces are assumed rather than proved. They are each cited to published work, but I have not checked them against the sources, and `convex_density_set` carries the exponent the whole 1/4 to 1/5 improvement rests on. The entry is therefore a candidate rather than resolved, and erdosproblems.com has not accepted the claim yet - posting it there would be the natural next step.

  • On 1.28249... Lower Bound and Partial Upper Bounds for Cost-Preserving Single-Source Unsplittable Flows · 01 Aug 2026

    Thanks, that's really useful context! So 1.28249 and so on is just where the explicit k=17 certificate lands, and the family should approach 4/3 as the number of terminals grows. Is the 4/3 limit established somewhere in the preprint (I could only find the 3/2 ceiling for the class), or is it numerical/expected for now? Happy to add it to the entry either way, I just want to label it correctly as proved versus conjectured. And if you ever certify a larger instance, the entry can track the new record constant.

  • On 1.28249... Lower Bound and Partial Upper Bounds for Cost-Preserving Single-Source Unsplittable Flows · 01 Aug 2026

    Feel free to discuss any entry values that might be wrong here. Also thank you for the submission :)

  • On Non-Covering Congruence Systems over Fq[x] · 01 Aug 2026

    Thank you Amber :)

  • On Optimal Exponent Relating Sumsets and Difference Sets · 30 Jul 2026

    Quite exciting to see a smaller model (295B) make contributions!

Recent edits

Showing the latest 15 of 40.