ZEN大学やオランダのユトレヒト大学などは31日、コンピューターを使って数学の難問の検証を始めたと発表した。プログラミング言語を使い、京都大学の望月新一教授が証明したとされる「ABC予想」に関連する理論の検証を進める。共同研究の名称は「LANAプロジェクト」だ。数学の超難問の「ABC予想」に関連する「宇宙際タイヒミューラー（IUT）理論」や「遠アーベル幾何学」の主要な定理をプログラミング言語の ...

ジョージ・ジャンは、話題になっているAIエージェント「OpenClaw」の仕組みを理解していなかったが、これを使えば自分も裕福になれるかもしれないと考えた。中国のSNSインフルエンサーが、OpenClawを使って株式ポートフォリオを管理し、投資判断を自律的に下している様子を紹介する動画を見たからだ。中国の廈門市で越境電子商取引の仕事に携わるジャンは興味を引かれ、2月下旬にOpenClawをインスト ...