26/10/27(火)01:02:39No.1481721611+
03:33頃消えます
宇宙際タイヒミュラーってコンピュータで証明できないの？
| … | 126/10/27(火)01:03:03No.1481721679+ひ、日村がなんて？ |
| … | 226/10/27(火)01:04:04No.1481721838そうだねx2電算でやろうと構築中じゃないっけ |
| … | 326/10/27(火)01:06:54No.1481722253+AIでleanに書き直してもらえばいいのに… |
| … | 426/10/27(火)01:11:47No.1481723027+AIに証明してもらえばいいのにって冗談で言ってたら普通にアリな選択肢になってきた |
| … | 526/10/27(火)01:16:04No.1481723661+ググったけど意味わからん |
| … | 626/10/27(火)01:19:59No.1481724247+2年前からleanに読ませようとしてるけど翻訳できない部分があってどうしようみたいな話聞いたけども |
| … | 726/10/27(火)01:21:53No.1481724547+新しい概念を導入して説明を構築しようとしてるものは既存のLLMじゃ無理だろう |
| … | 826/10/27(火)01:42:57No.1481727295+>新しい概念を導入して説明を構築しようとしてるものは既存のLLMじゃ無理だろう |
| … | 926/10/27(火)01:45:53No.1481727674+人間が書いた証明があるからそれをLeanに翻訳すればいい？ |
| … | 1026/10/27(火)01:57:20No.1481728870+この人の発想とかアイディア自体はいいんだよな… |
| … | 1126/10/27(火)02:03:32No.1481729451+AIの使い所ってこういうところだと思うんだよね |
| … | 1226/10/27(火)02:08:43No.1481730027+AIはがん治療薬開発と格差是正政策と地球温暖化対策みたいな万人が得する事に使え |
| … | 1326/10/27(火)02:10:37No.1481730234+>AIはがん治療薬開発と格差是正政策と地球温暖化対策みたいな万人が得する事に使え |
| … | 1426/10/27(火)02:14:32No.1481730677+証明できないってことはそういうことなんだろ |
| … | 1526/10/27(火)02:15:17No.1481730764+それができる優秀な人々はIUTにかまっている時間はないのである |