IPUSIRON

Today, at the @DARPA expMath kickoff, we launched 𝗢𝗽𝗲𝗻𝗚𝗮𝘂𝘀𝘀, an open source and state of the art autoformalization agent harness for developers and practitioners to accelerate progress at the frontier. It is stronger, faster, and more cost-efficient than off-the-shelf alternatives. On FormalQualBench, running with a 4-hour timeout, it beats @HarmonicMath's Aristotle agent with no time limit. Users of OpenGauss can interact with it as much or as little as they want, can easily manage many subagents working in parallel, and can extend / modify / introspect OpenGauss because it is permissively open-source. OpenGauss was developed in close collaboration with maintainers of leading open-source AI tooling for Lean. Read the report and try it out:

@Oggi_Kenkou 公表した途端にすごい数の似非科学DMが鳴り止まないんですよ…。私は生物化学が専門なので普通は信じるわけないんですが、余命宣告されて枯れ木のような身体でずっと病室で孤独だと、誘惑に耐えられる自信はありませんでした。私は結局専門を活かさない仕事に就きましたが、学びは裏切りません！

【ダンゴムシは食べた鉱物の構造を体内で作り変えて外骨格にしていた】筑波大学 ダンゴムシは食べた鉱物をそのまま殻にするのではなく、体内で鉱物の構造を作り替えていることを発見。 （生物が鉱物の構造を制御して利用する仕組み） 重要な点は、食べた鉱物の結晶構造をそのまま使わず、体内で一旦「カルサイト型アモルファス炭酸カルシウム（ACC）」に作り替えてから、最終的にカルサイト結晶に変換して外骨格に利用していること。 また、ダンゴムシは土壌中の有害重金属（カドミウム、鉛、銅、亜鉛など）をhepatopancreas（中腸腺）に高濃度で蓄積・結晶化（球状の無害な鉱物顆粒として封じ込め）する能力が非常に高いことが知られています。 これにより、汚染土壌でも生き残りやすく、土壌中の重金属を生物濃縮して隔離する効果があり、バイオモニタリング（汚染指標生物）や潜在的なバイオレメディエーション（生物浄化）への利用が期待されています。 この「重金属の解毒・蓄積」も、まさに生体鉱物化の仕組みを使っています。 今回の研究で明らかになった「体内で鉱物構造を精密に変換・制御する能力」と共通する部分が大きいのです。 つまり、有益なカルシウムを外骨格に加工するのと同じシステムが、有害金属を無毒化してため込む基盤になっていると考えられます。 tsukuba.ac.jp/journal/biolog…

連休中お金使いたくなければ、 Epicから無料でゲットできるゲーム「Electrician Simulator」をどうぞ😀 ＞電気技師の役割を担い、職業の基本を学びましょう！コンセントの取り付け、故障した機器の修理、壊れた電化製品の組み立て、電球の交換、お客さんの家への配線の敷設などを行います。電気には冗談が通じないから、必ず2回チェックすること！ store.epicgames.com/ja/p/electrici…

連休中お金使いたくなければ、 Epicから無料でゲットできるゲーム「Electrician Simulator」をどうぞ😀 ＞電気技師の役割を担い、職業の基本を学びましょう！コンセントの取り付け、故障した機器の修理、壊れた電化製品の組み立て、電球の交換、お客さんの家への配線の敷設などを行います。電気には冗談が通じないから、必ず2回チェックすること！ store.epicgames.com/ja/p/electrici…