
😂 "Hindi ang LLMs ay AI" Ito ay pagbabago lang ng layunin. Ang AI ay naglulutas ng mga problema sa matematika na hindi naibigay ng mga tao sa loob ng dekada-dekada. Mga iba pang puntos,值得讨论. Erdős Problem #1196: Sa Abril 2026, sinolusyunan ng GPT-5.4 Pro ang konjeturang ito sa teorya ng bilang sa loob ng halos 80 minuto gamit ang von Mangoldt function, isang estratehiyang dating hindi isinasaalang-alang ng mga tao. Jacobian Conjecture: Sa Hulyo 2026, ginamit ng matematikong Levant Alpöge ang Anthropic’s Claude Fable 5 upang makahanap ng isang counterexample sa 87-taong problema, na nagtatakda ng pinakakomplikadong problema na nasolusyunan ng AI hanggang sa kasalukuyan. Dinitz-Garg-Goemans Conjecture: Sa parehong Hulyo 2026, tinanggihan ng ChatGPT 5.6 Pro ang 30-taong konjetura sa teorya ng grap gamit ang lamang apat na simpleng prompt.
