Caltech Mathathon：数学研究レベルに特化した史上初のハッカソンが開催！

Caltech Mathathonは、数学の研究レベルの課題にフォーカスした世界初のハッカソンです。純粋数学の難問に挑みたい方にとって、これ以上ない刺激的な挑戦の場となるでしょう。

面白いね。もし今の私に40時間ぶっ続けで何かに取り組むエネルギーがあればの話だけど。

興味深いアイデアなのは否定しないけど、LLMの出力を40時間も待ち続けるなんて、ハッカソン本来の魅力や教育的な意義とは完全に矛盾している気がする。

もっと言えば、ハッカソンという形式（短期間で集中的に作業する）は、これまでのLLM数学の進め方とは全く噛み合わないと思う。僕の知る限り、今の進め方はモデルに何かを解かせてみて、1週間くらい放置して、時々修正や後押しをするってのが主流だしね。

これは大手研究所が数学を前進させようとしていると受け取るべきか？それとも、プロの数学者をLLMの出力を検証するための（安価な？）労働力として使おうとしているだけか？昨日公開されたOpenAIの「An Alien Mind」という投稿で、彼らは数学は優先事項ではないと公言していたし、個人的にはどういうことか分かったよ……

チームで申し込んでみたよ、受かるといいな。

最近は、モデルの推論能力を最大限に引き出す数学用ハーネスをどう作るかに興味があるんだ。性能とコストの両方の側面でね。

今の一般的なハーネスは推論を最大化するように作られていないものが多い。Codexみたいなエージェントを試したこともあるけど、推論トークンのコストが20%を超えることはほとんどなかった。数学には多くの推論が必要なのに、これはかなり奇妙だよ。だからハッカソンは良いテストベッドになるかもしれないね。

大手AI企業は、フロンティアモデルを搭載した大量のハードウェアを無料で使えるようにしてサポートしてくれるのかな？

これは研究レベルの数学に特化した史上初のハッカソンになります。

いや、それはあまりに無知だろう。私は20年近く前に、William SteinのBSD予想やSage Mathプロジェクトのハッカソンに参加していたよ。

そんなことはないよ。数学には、そこに集まってチームを作り、成果が出そうな問題に取り組んで、会議録として各グループの成果を出版するというプログラムがいくらでもある。「共同研究ワークショップ」と呼ばれているものだね。

テック企業が数学に関するプレスリリースを出すときに見られる一貫したパターンだけど、研究数学の世界での経験が明らかに不足していることを露呈しているよ。

最近のCaltech卒業生です！主催者の何人かとも親しいよ。

CaltechのCS学科は非常に弱くて、ここ数年は優秀な人材の採用に苦労しているし、最近のAI教員の採用もうまくいっていない。少しずつ変わりつつあるけど、今回のハッカソンを企画した動機の一つは、学生が学内では学べないAIや機械学習の経験を積んで「実績」を作るための場を作りたかったからなんだ。Hacker Newsで話題になっていて本当に嬉しいよ！

皆さん、主催者の一人です。何でも聞いてください。

• 私たちはCaltechの学部生のチームです。Caltechやその学部、あるいはスポンサーの代表ではありません。

• 金銭的な報酬は受け取っていません。集まった資金はすべて審査員や参加者への支払いに充てられます。

• 私たちの目標は責任あるAI利用を促進することです。取り組みの詳細はこちらで確認できます： https://mathathonchallenge.com/faq.html