Sabitlenmiş Tweet
いざという時の災害や事故。
動画生成AIで訓練動画やシミュレーション動画を作ってそなえませんか？
シナリオ、写真から動画を作成できます！
お問合せは画像右下QRコードから！
日本語
IMP@事故災害のAI動画化
1K posts
IMP@事故災害のAI動画化
@imp_AI_Sec_Lab
IMP AIセキュリティ研究所は最先端研究の社会実装を目指します。 動画生成AIで可視化する事故災害: https://t.co/fbUsN01yaV youtube: https://t.co/RPArj6qc7Z 漫画: https://t.co/WdymuxNu6o 技術ブログ: https://t.co/psuFh2xM0v
Katılım Nisan 2025
72 Takip Edilen111 Takipçiler
暗号理論、後方腕組みオタクみたいに震えてます。
部品（石原さとみ）@tjmlab
数学「グワーーーーｴﾙﾃﾞｨｼｭーーーー」 物理「数学がAIにやられたか」 化学「やつは科学の中でも女王」 生物「AlphaFoldの時から見えていた」 地学「ギエピーーーーー」
日本語
OpenAI's internal AI model has solved an unsolved mathematical problem.
I became worried about whether researchers who don't have access to the internal model can continue their mathematical research.
Timothy Gowers @wtgowers@wtgowers
AI has now solved a major open problem -- one of the best known Erdos problems called the unit distance problem, one of Erdos's favourite questions and one that many mathematicians had tried. openai.com/index/model-di…
English
←躁転して顔と名前公開してYouTuberになったが、人生が何故か終了していないどころかより豊かになった、ただのいまのところ運がいい人
日本語
AI数学でエルデシュ問題解いた人のブログ記事。
びっくりした、数学者を救うためにUBI (ベーシックインカム)が必要って書いてるのかと思った。
日本語
LEANによるAI数学の成功は、
LIPSによるAI for EDA (電子機器設計)になるか？
AI数学はエルデシュ問題のような未解決問題リストだけど、LIPSの場合は、ベンチマーキングでの勝負になる。
AI for EDAも、未解決問題リストみたいなの作った方が盛り上がると思いますけどねえ。
日本語
2日連続で、未解決のエルデシュ問題を完全解決まで持っていけた。LEANで形式化できてるから、多分正しい。
いやぁ。
AI数学すごい。
日本語
受験、マジで興味ないんだけど、東大のステータスを作り上げているのってあの受験なので、東大に愛着があるなら受験にも興味あるべきな気はしている（まあどっちにしろ東大に愛着がある時点でかなりシャバい人間なんですけどね‼）
日本語