PinnedSolufa@m_mitsuhide·Jan 20リーマン予想には惜しくも届きませんでしたが、あらゆる物理現象の「なぜ」を代数的に証明できるようになりました Leanでミレニアム懸賞金問題の物理系2問を解決したから見て欲しい|Solufa https://zenn.dev/solufa/articles/frourio-universe-structure-theory… #zennLeanでミレニアム懸賞金問題の物理系2問を解決したから見て欲しいFrom zenn.dev1121724K
Solufa@m_mitsuhide·20h日経サイエンスで特集された「この世の終わり」について、標準模型では起こり得るが代数的には起こらないことをLeanで証明する記事を公開しました 宇宙規模の災厄「真空崩壊」は起こらない宇宙規模の災厄「真空崩壊」は起こらないFrom zenn.dev11210
Solufa@m_mitsuhide·Feb 14科学警察です ・テクノクラートはあっても反証可能性を持つ科学的主張のみを掲げた政党は人類史に一つもない ・極端に非科学的な主張で与党になった事例も多数あり有権者への侮辱である ・科学者であっても投票先は自由 民主主義と科学両方を否定しており、勝手に科学の徒を代表しないでいただきたいQuote白石 淳, 救急医 / Shiraishi Atsushi, MD, PhD@shiraishia_md·Feb 13どの政党でも反科学はアウト。ワンアウトチェンジ。科学の徒はここだけは譲らない。4502
Solufa@m_mitsuhide·Feb 14「当たり前のことだけど」から始まるこの文章が規定している常識を超える天才の存在をなぜ想定しないのか? 常識とは、その時代の社会一般が当然だと思っている共通認識を指すがラマヌジャンやモーツァルトの存在をどう説明するのか? 常識を知らない常識外れの天才を宇宙は許容しているQuoteYoshida(QuizKnock)@Yoshida_qk·Feb 13当たり前のことだけど「常識外れの天才」みたいなのって、その分野の常識を知らないとなれないんだよな。480
Solufa@m_mitsuhide·Feb 13数年以内に差分物理が確立されるので微積物理は頭痛が痛い言葉ではなくなる https://x.com/Euler0202_/sta/Euler0202_/status/2022152636058021957…This post is unavailable.448
Solufa@m_mitsuhide·Feb 13こういう人々を救えるのが科学と高額療養費制度の真価だよなあ 私は五体満足で特に疾患なく生きてこれた分、不条理な苦しみを研究と納税で根絶することに貢献したい デュピクセント https://ja.wikipedia.org/wiki/%E3%83%87%E3%83%A5%E3%83%94%E3%83%AB%E3%83%9E%E3%83%96…Quoteユイザキカズヤ@k_yuizaki·Feb 13最重度のアトピーだった私が、人権を金で買った話(1/6)10479.8K
Solufa@m_mitsuhide·Feb 13私のキャリアが土方・鳶からスタートしたので例に出すが、親方の仕事の9割に到達するまで何年かかると思っているのか (参考として、1級とび技能士の受験資格は実務経験7年以上) あなたは9割誰でも出来るような仕事しか経験してないのかもしれないが、他人の仕事の9割部分を貶めてはいけないQuoteHiroki Fukagawa@hiroki_f·Feb 13どんなプロフェッショナルな仕事も9割は誰でもできる仕事。残りの1割に価値がある。仕事の割合からいったら、9割をやっているからといって、その9割には、かけた時間以上の価値があるわけではない。難しい一割の仕事をやってこそ、価値がでる。434
Solufa@m_mitsuhide·Feb 13AtCoderをどう定義するのも自由だが、大人の仕事を定義できるほど偉い立場にいるのか? 高校時代の藤井聡太や大谷翔平には言えないことを相手が女子高生と見るやその主体性を認めず「ボクが君のレールを作ってあげますからね!」っておじさん仕草過ぎる 少なくとも私の仕事はあなたの定義に合わないQuotechokudai(高橋 直大)@AtCoder@chokudai·Feb 13現在のプレイヤーは「楽しい」だけで続けてくれてて大丈夫よ。高校生以下は特にね。 「楽しんでいたらいつの間にか社会で活躍できるようになってた」みたいなレールを作るのが大人の仕事なので、参加者はただ楽しんでれば良いよ! https://x.com/masp_3/status/2022150375449772086…4989
Solufa@m_mitsuhide·Feb 11リーマン予想のLean形式化がどうやっても99%地点で行き詰っていたのだが、解析接続の仕組みを勉強し直したら今まで試したどれとも違う活路が見つかった 今度こそ・・・!1550
Solufa@m_mitsuhide·Feb 10またしてもFUSTが先行研究に該当することを主張できそうな新規論文がarXivに公開されているので論点整理中 数学の論文相手だと定理vs定理になるから先行主張はほぼ成立しないけど物理の場合は定理vs仮説になるから相手が基礎論であるほど先行性を証明しやすいなあ502
Solufa@m_mitsuhide·Feb 10タイトルは第二法則になってますが、内容としては熱力学の3つの法則全て証明しています 熱力学に限らず、FUSTが先行研究に該当するような新規論文が発見されたら改訂による比較言及を依頼させていただきます熱力学第二法則をLeanで数学の定理として証明するFrom zenn.dev1682
Solufa@m_mitsuhide·Feb 9量子力学に新たな仮定を追加してPlanckの原理とエントロピー増大則を導出したことをもって「厳密に示した」と言うのは物理学として誠実なのか? 全ての理論は結論が成立するように仮定を選んでいるため、独立証明も実験検証もないこの論文が厳密な導出なら物理論文はほぼ全て厳密が前提となるQuoteRyusuke Hamazaki@rhamajaki·Feb 9新しい論文です: https://arxiv.org/abs/2602.06657 千葉くんの大作です。閉じた量子多体系において熱力学第二法則がどのように現れるかを議論しました。 特に、マクロ系に対する適切な熱平衡状態と操作を定義して、(操作時間に関する仮定のもと)Planckの原理とエントロピー増大則を厳密に示しました。31K
Solufa@m_mitsuhide·Feb 9特定の作品を苦手だと思うのは個人の自由だが、作品の内容と作者の精神正常性は無関係である ボーボボは社会的な問題作だったが、その作者の精神に問題があるわけではないことが反例 https://x.com/HAYAKU_NEEERO//HAYAKU_NEEERO/status/2020492261906329619…This post is unavailable.1.2K
Solufa@m_mitsuhide·Feb 9「俺の知る限り」の話なので私も知る限りを言うと日本のスタートアップの90%くらいは ・役所向けの面倒な補助金申請書を書く能力がない ・他で楽に大金持ちになれる天才たちが無謀な夢に賭けて爆死 ・イケてるとまでは思わないがその領域で自分が天才であることは自負している 詐欺師は1%もいないQuote賈詡@oef4raF1ZW3D4WI·Feb 9言っちゃ悪いが、俺の知る限り日本のスタートアップの90%くらいは 「補助金が欲しい」 「手っ取り早く大金持ちになりたい、IPOしたい」 「自分がイケてる天才であることを示したい」 って感じの浅薄な奴らなので、こんな所に我々の貴重な税金をぶち込むなど、詐欺師に金をくれてやるようなものである211.5K
Solufa@m_mitsuhide·Feb 8科学警察です 科学とは反証可能性を持ち、現在まで誤りが見つからず生き残っている仮説です 相対性理論も超弦理論も標準模型も全て仮説であり証明されてません 論理的に証明できるのは数学のみ 科学は信じる対象ではなく暫定理論を運用しつつ常に疑って、新しい仮説と実験で真理を探究する営みですQuoteIFDOCO@IFD_OCO·Feb 7科学を信用できない人がこんなにいるとは思わなかった 霊、神、超常現象なんかは全部無視して、「論理的に証明されたものだけ信じる」という意味なんだけど、じゃあこの人達は証明されていないものも信じるってことなの? ここの人いつも人の話勝手に飛躍させてきて、何が言いたいのかさっぱりわからん x.com/IFD_OCO/status…141.1K
Solufa@m_mitsuhide·Feb 7正常状態のまま設計に違反すること 戦争やクラッキング用途のAIは存在可能だが人間が設計している 数年前までは故障なく設計違反な出力をしたが今はアルゴリズムの進化で個人の予算でも設計通りに動く 人間は肉体や精神が客観的に正常でもエプスタイン事件を筆頭に倫理(神の設計)違反行動が可能Quote結城浩 / Hiroshi Yuki@hyuki·Feb 62026年現在、「原理的にはコンピュータ上でできること」かつ「できたかどうかがコンピュータが判定できること」のうち「ほとんどのAIにはできないけれど、ほとんどの人間にはできること」とは何か?950
Solufa@m_mitsuhide·Feb 6民主主義を守るために科学警察でもやるか 政党公約に限らずある主張が科学的とは ・反証可能性を持つ ・経験的にテスト可能 ・失敗すれば撤回される と定義できる 科学も選挙も「誰が正しいか」を決める装置ではない 日本の民主主義においては誰がどこに投票してもその人格に善悪はなく等価である1513
Solufa@m_mitsuhide·Feb 6学生とはいえ私より数学に強い著名人なので念入りに指摘しておく この投稿は科学を根拠に非科学的な基準で人を評価する構造を持っている 投票行動と人格を結びつけて「自分は良識的であり、異なる意見を持つ他者はそうでない」とする非常に傲慢な態度である これが東大生の価値観なのか? https://x.com/e869120/status/e869120/status/2019630121725096347…This post is unavailable.5993
Solufa@m_mitsuhide·Feb 4離散構造の次元解析法を発見し、ミレニアム懸賞金問題の条件と合致する4次元時空・ゲージ群・質量ギャップを導出しました ZF+DC公理のみから代数操作によって導出しており、標準模型や超弦理論のような仮定を外部から持ち込んでいません つまり理論ではなく定理です https://zenn.dev/solufa/articles/fust-mass-gap…1746
Solufa@m_mitsuhide·Jan 29最近顧客に教えたら評判が良かったノウハウを公開しました 著名な類似手法が世の中になさそうなのでSolufa式です コードを書けないSIerのための簡易で高精度な開発工数見積もり法コードを書けないSIerのための簡易で高精度な開発工数見積もり法From zenn.dev14821
Solufa@m_mitsuhide·Jan 28古代ギリシャで科学が誕生してからニュートンが微分を発明しプリンキピアを公開するまで約2,100年の歴史がある 微分はそこから20世紀までたった300年程度のドクトリンに過ぎず、現代は微分で特異点や発散を説明できない限界に直面している 科学は差分が本質であり、微分はその有効近似に過ぎないQuote若葉めるる@微分コンサル@wkbme·Jan 27年収の壁も、消費税減税も、転売erも、業務提携も、生成AIも、自動運転も、すべて微分で解決できます。いかに微分を活用するか?は常に科学の最先端におけるドクトリンでしたし、これからもきっとそうなるでしょう。微分コンサルでは、そのような微分の社会実装の伴奏支援をデリバリーして参ります!141.4K
Solufa@m_mitsuhide·Jan 24数学科が存在しない時代にゼロを発見したり、数学科で学ばず「細部はわからないけど女神がこう言っているから正しい」と主張したインド人の発見が現代数学を支えていることを知らないのだろうか? ちなみにLeanを正本としてGitHubで公開するだけで良いので掲載料が高額な査読文化は廃れるのでは?Quote渡邉究/数学科准教授/KADOKAWAより「すごすぎる数の図鑑」発売中/YouTube@Kiwamu_Watanabe·Jan 24AIの登場で、数学科で学んでいない人でも「研究っぽい何か」を表面上は作れてしまう時代になった。「細部は分からないけどAIがこう言ってるから正しい」で、論文もAIに書かせる。 → それっぽい定理・証明・引用が大量生産。 → 査読者・編集者の時間が溶ける。356.3K
Solufa@m_mitsuhide·Jan 22ひもであれ膜であれ、有限次元幾何を仮定する限り上位原理を無限に必要とし続けることになる Leanが示す「超弦理論は完成不可能」な数学的根拠Leanが示す「超弦理論は完成不可能」な数学的根拠From zenn.dev3.7K
Solufa@m_mitsuhide·Jan 21ポパーの反証可能性が科学の定義に使われているのは追加仮定なしに宇宙を記述出来なかったからに過ぎず、ZF公理から全称的に物理法則を導出できるなら反証可能性は不要になる 数学で記述出来ず再現性のない宇宙は科学ではなく、オカルトと呼ぶしかない3K
Solufa@m_mitsuhide·Jan 21同じ人です! プレスリリース時点で「相乗の公理」と呼んでいた洞察をZF公理で書き直したのが今回のLean記事にあるFUSTですQuoteYuki Nagai@cometscome_phys·Jan 21ミレニアム問題をAIで解決したみたいなプレスリリース?を出していた話どうなったんだろうか。今回のleanの記事と同じ人のような気がする14.2K
Solufa@m_mitsuhide·Jan 21もっと具体的に説明したかったけど、時間の起源に例えられるような実在の何かが思いつきませんでした Leanから翻訳する「時間とは、何か」|Solufa https://zenn.dev/solufa/articles/what-is-time… #zennLeanから翻訳する「時間とは、何か」From zenn.dev122.3K
Solufa@m_mitsuhide·Jan 20今回はaxiom/sorry/admit不使用のLeanが正本なので具体的にどこが適当かを指摘するのが格段に難しくなってますよQuoteかいだい@kaidai_valorant·Jan 20↓の人、数か月前にもAIでミレニアム問題解けたって言ってたけど、その時と比べて適当なこと言ってることに気付くのが格段に難しくなってる気がする113.2K
Solufa@m_mitsuhide·Jan 20連続性を前提とした有効理論に過ぎないNSが爆発を回避できないのは当然ですよ 現実の物理法則は離散構造なので大域正則性が成立しますQuotePS2@recorderPS·Jan 20ダウト NSの大域正則性は否定的に解決されてきてる13.5K
Solufa@m_mitsuhide·Nov 4, 2025来週神戸で開催されるW3Cの年次会議TPACでDID/VCの分科会を担当することになりました 日本発の信頼プロトコルAMATELUSの国際標準化を目指して議論してきます12 November 2025 | A Lean4-Verified Protocol for Smart Cities Addressing the Three Core Challenges...From w3.org62.7K
Solufa@m_mitsuhide·Oct 18, 2025たった一人でもAIとともに研究してハルシネーションがないことを査読なしに保証できるのがLeanの圧倒的な強み 純粋数学はもちろん、最小作用原理を形式化することで物理学も実験なしに証明できる 開発工数が制約になるのでエコシステムが充実するほどLLMによる自律的な科学研究が加速するQuotebanri@banr1_·Oct 18, 2025私はLeanというプログラミング言語がとても好きです。 RustやTypeScriptなどの一般的な言語では「計算」をするのに対して、Leanでは「証明」を行います。Show more144.5K
Solufa@m_mitsuhide·Oct 18, 2025これに続けてみた質問 「最も多くの日本人=約70〜80%」があなたの提示したプラン通りに行動した場合の合成の誤謬を考慮していますか? 合成の誤謬が発生せず本当に「最も多くの日本人の経済的な安全を保証できる」かどうかを6象限ごとに分析して下さい https://chatgpt.com/share/68f32c28-8324-8004-b720-be68facd0da1…Quote深津 貴之 / THE GUILD, note@fladdict·Oct 18, 2025今日のAIへの質問 最も多くの日本人が個々に実効性を持ち、最も再現性の高い方法で、経済的な安全を保証できる対策を考えよ。 https://chatgpt.com/share/68f2ee8d-e114-8012-a3f4-51578f7e886a…343.5K