VibeMathed tracks math problems AI models have helped prove or disprove
Abject_Response2855 · reddit · 2026-07-22
VibeMathed is a tracker for math problems that AI models have helped prove or disprove, spanning famous conjectures like the Jacobian conjecture and numbered Erdős problems. Each entry links to a checkable source, adds a verification label such as Lean-checked or expert-reviewed, and uses a notability score based on how many Wikipedia language editions cover the problem.
More from Research
- Nature paper images cellular activity across all organs, revealing body-wide circuits — arjunrajlab · 2026-09-11
- SignNet 1M Dataset Released for Sign Language Research — ducha_aiki · 2026-09-11
- ECCV26 Oral: Flow Matching Enables Single-Stage Multi-View Point Cloud Registration — ducha_aiki · 2026-09-11
- InFlux++ Method Released — ducha_aiki · 2026-09-11
- Skyfall GS Uses Flux to Refine Gaussian Splatting, Accepted at ECCV 2026 — ducha_aiki · 2026-09-11
- Could 10k agents discover learning methods beyond backprop, or just tweak existing ones? — SeunghyunSEO7 · 2026-09-11