The Labs logoThe Labs
独立研究ラボ · スロバキア、ポプラド

未解決の問題を研究し、その作業を公開する

The LabsはDavid Šarlákの独立した研究活動であり、オープンデータと無料の計算資源を使って医学、数学、物理学、ロボット工学に取り組んでいます。

何を実行し、どう検証し、何を示していないかを明示します。否定的な結果も進展と並べて報告します。

オープンデータ。無料の計算資源。明確な限界。

研究

4つのプログラム。正直な現状。

2026年5月 · プレプリント公開済み

脳性麻痺の研究

低緊張型脳性麻痺におけるバイオマーカーとリハビリテーションへの反応に関するスコーピングレビューを、プレプリントとして公開しました。査読は受けていません。研究課題を提案するもので、治癒や治療法を示すものではありません。

分析を読む →
2026年11月 · 有限計算

エルデシュの問題

erdosproblems.comの未解決問題に対する有限の計算機チェック。問題699はn=255,667まですべて反例なしで確認。問題942は31億未満のすべてのnで計算。これらは有限のチェックであり、証明や新定理ではありません。

分析を読む →
2026年11月 · 初期段階

次世代冷媒

ヒートポンプ用冷媒の計算スクリーニングを計画中。まだ結果はありません。

2026年11月 · シミュレーション内

ロボット学習

プランナーによる物体操作に少量の学習を組み合わせ、KinDERタスクのシミュレーションで検証しました。独自の評価セットでは、最も難しいClutteredタスク(障害物25個)で250エピソード中152が成功しました。シミュレーションのみの結果です。独自の評価手順によるもので、公式ベンチマークの結果ではありません。

分析を読む →

記事

データ・出典・明確な限界を示した長文記事。

テクノロジー

テクノロジー

言語モデルのメモリを削る

実測。結果はおおむね否定的。KVキャッシュの大半を捨てると、必要な事実がほぼ毎回失われました。

記事を読む →
テクノロジー

三値重み

実測。結果は否定的。小規模な学習の試みは自らの目標に届きませんでした。

記事を読む →
テクノロジー

AIイーサネットの輻輳制御

シミュレーション。1行の変更でクロストラフィックは改善し、インキャストでわずかに悪化。いかなるベンダーとも無関係です。

記事を読む →
テクノロジー

F1モデリング

シミュレーションと公開レースデータ。ゲインはモデル誤差の範囲内。実車に関する主張はありません。

記事を読む →

健康

健康

大腸がん:公開データからわかること

公開データからの仮説。引用文献は分離して記載。医療アドバイスではありません。

記事を読む →
健康

片頭痛:公開遺伝学データでの2つの試み

1つの失敗した対照実験と、既知の遺伝子での小さな発見。医療アドバイスではありません。

記事を読む →

お問い合わせ

質問、訂正、データ、共同研究については、ご連絡ください。

一般的なお問い合わせ

サイト、記事、またはその背後にあるデータについて。

研究に参加する

参加をご希望ですか?どのテーマに取り組みたいか、どのように貢献したいかをお書きください。参加は自動ではなく、すべてのご希望にお応えできるわけではありません。