Inter-universal geometryとABC予想(シン応援スレ) 92 (398ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
339(1): 07/19(日)18:52 ID:nUKgsSja(10/13) AAS
転載：ID:dythpcIC さん、ありがと
2chｽﾚ:math
2026/07/17(金) 14:18:47.39 ID:dythpcIC
LANAプロジェクトに一定の敬意を払いつつも
逃げ腰でLEANの公開なしってのは流石にどうかと思ったから俺のOpus4.8とFable5で作った
プロトタイプ、スケルトン、未完成、言い方は何でも良いが公開しとくわ
コメントはほぼ日本語なんで海外勢向けではないがな
まぁAIに読み込ませてコメント英語化するとか容易だろうし許せ
外部ﾘﾝｸ:github.com
Opus4.8とFable5で作ったIUTの形式化
377(1): 07/20(月)20:07 ID:a0+1odGL(6/7) AAS
>>375-376
つまらん
それよか 下記
ID:13yLpBZq さん >>242-245 & ID:dythpcIC さん>>339
(同一人物だが)
”Claude Opus4.8とFable5使ってIUTを1から地道に検証するプロジェクトを個人的にこの一ヶ月やってみたがFable5の言い分は以下だった
IUT理解者に対する要請部分のみを書く”
と ”LEANの公開”
いまどきのAI使った 世間のアマ数学者個人の仕事が
すごいねと思ったよ
省38
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.015s