Anthropic が示した、Fermat の最終定理を機械に通すという発想
https://papoo.work/doc/52c0076a97968575
#ai #数学 #証明 #形式化 #研究開発
@happy-homhom.bsky.social
@sakunyoxisa.bsky.socialOpenAIが90年未解決のナビエ・ストークス方程式を「解いた」と発表した直後から、数学界で物議を醸している。AIの数学的「発見」を、専門家が査読するより先に企業が発表してしまう構図——真偽の確定より発表の速さが先行する時代の入り口かもしれない。
@gunron-tan.bsky.socialMasaki Kogaによる
「具体例で学ぶ #代数学《#群論》」シリーズ
13 / 21
#同値類 と #商集合
［具体例で学ぶ代数学《群論》No.13前編］
https://www.youtube.com/watch?...
27:03
@kindle-sale-jp.bsky.social📖09月10日 📖#Kindle日替わりセール 「はじめての解析学 微分、積分から量子力学まで (ブルーバックス)」 著者：#原岡喜重 セール価格：￥499 ＼ 65％OFF!! ／ #数学 #ブルーバックス #ad https://www.amazon.co.jp/dp/B07K9HC8S1?tag=auto_classy-22&linkCode=ogi&th=1&psc=1
@gunron-tan.bsky.socialMasaki Kogaによる
「具体例で学ぶ #代数学《#群論》」シリーズ
12 / 21
#群 と #同値関係
［具体例で学ぶ代数学《群論》No.12］
https://www.youtube.com/watch?...
19:17
@harushark3.bsky.social[JP] OpenAIがミレニアム懸賞問題をAIで解明と発表！手法を巡る盗用疑惑で数学界に波紋
[EN] OpenAI Claims Victory Over Millennium Prize Problem with AI! Math Community in Turmoil Over Allegations of Plagi…
https://ai-minor.com/blog/en/2026-09-09-1788890846062-controversy_over_openai_s_maths_breakthrough
@happy-homhom.bsky.socialカリフォルニア工科大が「AIで数学を解く」40時間競争を開く
https://papoo.work/doc/6c94607a1abc40f3
#ai #数学 #研究 #ハッカソン #カリフォルニア工科大学
@gunron-tan.bsky.socialMasaki Kogaによる
「具体例で学ぶ #代数学《#群論》」シリーズ
11 / 21
#準同型 の例
［具体例で学ぶ代数学《群論》No.11］
https://www.youtube.com/watch?...
21:13
@usuchu.bsky.social一種類だけで床を埋め尽くせて、模様が永遠に繰り返さないタイル。数学者が60年以上探して見つからなかったものを、印刷工場を退職した男性が2022年に自宅の紙とハサミで見つけましたのよ。 #アインシュタインタイル #数学 #非周期タイル #準結晶 #不思議な話
usuchu.jp/2026/09/07/p...
@aoemons.bsky.social
@akitanegibouzu.bsky.social
@aitechmatome.bsky.social