[cocolog:96096205](2026年8月)…

jrf> [cocolog:96096205](2026年8月)
《AIによるLeanなどの定理証明器を使った証明が数学的新発見をもたらしていると話題。信頼できるのか…と思う人がいるかもしれないけど、余程のことがない限り信頼できる。ただ、その「余程のこと」が最近起こったりしていて気が抜けないが(^^;。 - JRF のひとこと》
http://jrf.cocolog-nifty.com/statuses/2026/08/post-3aadd5.html