数学定理証明

数学

AI数学革命が始まった

2025年10月、OpenAIがGPT-5によって未解決のエルデシュ問題10件を解決したと発表し、AI数学革命への期待が高まった。しかし実際には既存文献の再発見であることが判明し、議論を呼んだ。それでもChatGPT Proは数学分野で他の...
AIエージェント

Clawdbotがすべてを破壊しようとしている

2026年初頭、人類は技術的特異点の入口に立っている。オープンソースプロジェクト史上最速の成長を遂げたClawdbot(別名Moldbot、OpenClaw)の登場により、AI エージェントたちは72時間で独自のコミュニティ、経済、宗教、暗...