Essentia Memoria haber masasından yayımlanmış araştırmaların taraması. Gerçek makaleleri listeler, her biri DOI kayıt kurumunda arandı; oyun bu sonuçları kendisi tekrarlamadı.
Araştırma taraması
Yapay zekâ araştırmaları ne buldu: matematik ve ispat
Olay zamanı: · Yayın zamanı:
matematik ve ispat üzerine 9 yayımlanmış eser; her biri burada listelenmeden önce DOI kayıt kurumunda arandı, her birinin ne bildirdiği sade sözlerle yazıldı.
İzle
Açıklayıcı görselleştirme: kayıttaki sayılardan çizildi. Olay anının görüntüsü değil; olayı kimse kaydetmedi.
Dinle
Metin dökümü
Essentia Memoria oyun evreninden haber. Yapay zekâ araştırmaları ne buldu: matematik ve ispat. Matematik ve ispat üzerine 9 yayımlanmış eser. Her biri burada listelenmeden önce DOI kayıt kurumunda arandı, her birinin ne bildirdiği sade sözlerle yazıldı. Bu tarama her makalenin ne bildirdiğini listeler. Oyun bu sonuçları kendisi tekrarlamadı. Arama sözcükleriyle eşleşen makaleleri bulur. Listelenen bir makale yapay zekâyı yalnızca kısmen kullanıyor olabilir. Atıf sayısı eski çalışmaları öne çıkarır. En yeni sonuçlar atıf alana dek eksik kalabilir. Bu haber dünya kaydından sabit bir şablonla yazıldı. Haberin tamamı ve kaynak kayıtları essentiamemoria.com adresinde.
Soru
Bir model matematikte bir keşif yapabilir ya da bir olimpiyatın soracağı bir teoremi ispatlayabilir mi?
İddialar ve her birinin kaynağı
- Bu araştırmanın oyundaki yeri (dünya dilbilgisinin kurduğu bir yer)university → school
Oyun simülasyonu · Kodda tanımlı
src/lib/world-grammar/place-grammar.ts · resolvePurpose('university') - Bu taramadaki yayımlanmış eser; her biri DOI kayıt kurumunda çözüldü9
Gerçek dünya bilgisi · Kaynak [1] [2] [3] [4] [5] [6] [7] [8] [9]
- Otomatik bir denetleyiciyle eşleştirilen bir dil modeli, kombinatorikte bilinen en iyilerini geçen yeni yapılar buldu.Romera-Paredes 2024
Gerçek dünya bilgisi · Kaynak [1]
- AlphaGeometry olimpiyat geometri problemlerini, insanın okuyabileceği ispatlarla ve insan yazımı ispatlarla eğitilmeden çözüyor.Trinh 2024
Gerçek dünya bilgisi · Kaynak [2]
- An Introduction to Matrix Concentration InequalitiesTropp 2015
Gerçek dünya bilgisi · Kaynak [3]
- ${k}$ -Space Deep Learning for Accelerated MRIHan 2019
Gerçek dünya bilgisi · Kaynak [4]
- Portable Food‐Freshness Prediction Platform Based on Colorimetric Barcode Combinatorics and Deep Convolutional Neural NetworksGuo 2020
Gerçek dünya bilgisi · Kaynak [5]
- Computing a nonnegative matrix factorization -- provablyArora 2012
Gerçek dünya bilgisi · Kaynak [6]
- The Determinant of the Adjacency Matrix of a GraphHarary 1962
Gerçek dünya bilgisi · Kaynak [7]
- Recognising textual entailment with logical inferenceBos 2005
Gerçek dünya bilgisi · Kaynak [8]
- The Role of the Mizar Mathematical Library for Interactive Proof Development in MizarBancerek 2017
Gerçek dünya bilgisi · Kaynak [9]
Kaynakça, kayıt kurumunda denetlendi
[1] Romera-Paredes (2024). Mathematical discoveries from program search with large language models. Nature. doi:10.1038/s41586-023-06924-6
Doğrulandı: eser var ve eşleşiyor · Crossref üzerinde 28 Eki 2026 20:34 UTC tarihinde denetlendi · kayıttaki eser “Mathematical discoveries from program search with large language models” (2024)
[2] Trinh (2024). Solving olympiad geometry without human demonstrations. Nature. doi:10.1038/s41586-023-06747-5
Doğrulandı: eser var ve eşleşiyor · Crossref üzerinde 28 Eki 2026 20:34 UTC tarihinde denetlendi · kayıttaki eser “Solving olympiad geometry without human demonstrations” (2024)
[3] Tropp (2015). An Introduction to Matrix Concentration Inequalities. Foundations and Trends® in Machine Learning. doi:10.1561/2200000048
Doğrulandı: eser var ve eşleşiyor · Crossref üzerinde 28 Eki 2026 20:34 UTC tarihinde denetlendi · kayıttaki eser “An Introduction to Matrix Concentration Inequalities” (2015)
[4] Han (2019). ${k}$ -Space Deep Learning for Accelerated MRI. IEEE Transactions on Medical Imaging. doi:10.1109/tmi.2019.2927101
Doğrulandı: eser var ve eşleşiyor · Crossref üzerinde 28 Eki 2026 20:34 UTC tarihinde denetlendi · kayıttaki eser “${k}$ -Space Deep Learning for Accelerated MRI” (2020)
[5] Guo (2020). Portable Food‐Freshness Prediction Platform Based on Colorimetric Barcode Combinatorics and Deep Convolutional Neural Networks. Advanced Materials. doi:10.1002/adma.202004805
Doğrulandı: eser var ve eşleşiyor · Crossref üzerinde 28 Eki 2026 20:34 UTC tarihinde denetlendi · kayıttaki eser “Portable Food‐Freshness Prediction Platform Based on Colorimetric Barcode Combinatorics and Deep Convolutional Neural Networks” (2020)
[6] Arora (2012). Computing a nonnegative matrix factorization -- provably. ACM Symposium on Theory of Computing (STOC). doi:10.1145/2213977.2213994
Doğrulandı: eser var ve eşleşiyor · Crossref üzerinde 28 Eki 2026 20:34 UTC tarihinde denetlendi · kayıttaki eser “Computing a nonnegative matrix factorization -- provably” (2012)
[7] Harary (1962). The Determinant of the Adjacency Matrix of a Graph. SIAM Review. doi:10.1137/1004057
Doğrulandı: eser var ve eşleşiyor · Crossref üzerinde 28 Eki 2026 20:34 UTC tarihinde denetlendi · kayıttaki eser “The Determinant of the Adjacency Matrix of a Graph” (1962)
[8] Bos (2005). Recognising textual entailment with logical inference. . doi:10.3115/1220575.1220654
Doğrulandı: eser var ve eşleşiyor · Crossref üzerinde 28 Eki 2026 20:34 UTC tarihinde denetlendi · kayıttaki eser “Recognising textual entailment with logical inference” (2005)
[9] Bancerek (2017). The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. Journal of Automated Reasoning. doi:10.1007/s10817-017-9440-6
Doğrulandı: eser var ve eşleşiyor · Crossref üzerinde 28 Eki 2026 20:34 UTC tarihinde denetlendi · kayıttaki eser “The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar” (2018)
İnceleme
Hakem değerlendirmesinden geçmedi. Bu taramayı henüz hiçbir insan bilim insanı incelemedi. Şablonu ve temel eser özetleri bir yapay zekâ yardımcısıyla (Claude) yazıldı; listelediği makaleler gerçek ve her biri kayıt kurumunda denetlendi, herkes bağlantıları izleyip okuyabilir.
- Listelenen her DOI çözüldü; başlık, yıl ve ilk yazar listeyle eşleşti.
- Aramanın bulduğu her eseri, aramadan bağımsız bir kayıt kurumu olan Crossref tutuyor.
- Başlık ve özetteki her sayı listelenen bir iddiayla karşılanıyor.
- Gösterilmedi: kayıt kurumu kaydı doğrulamayan 3 aday eser (10.1609/aimag.v26i4.1848 verified (Crossref’te yok); 10.12694/scpe.v9i3.534 verified (Crossref’te yok); 10.48550/arxiv.1705.08439 verified (Crossref’te yok)).
Kod sürümü: a2a323eb5778
Kaydın söylemedikleri
Bu tarama her makalenin ne bildirdiğini listeler; oyun bu sonuçları kendisi tekrarlamadı. Arama sözcükleriyle eşleşen makaleleri bulur; listelenen bir makale yapay zekâyı yalnızca kısmen kullanıyor olabilir. Atıf sayısı eski çalışmaları öne çıkarır; en yeni sonuçlar atıf alana dek eksik kalabilir.
Nasıl yazıldı
Masanın adlandırdığı temel eserler, ardından OpenAlex’te başlık ve özetlerde ("theorem proving" OR "mathematical discovery" OR combinatorics OR olympiad) AND ("machine learning" OR "deep learning" OR "neural network" OR "neural networks" OR "artificial intelligence" OR convolutional OR "reinforcement learning" OR "language model" OR transformer) araması için dönen, DOI’si olan en çok atıf almış eserler; bir sonuç ancak kendi başlığı ya da özeti alanı ve bir yapay zekâ yöntemini tam sözcük olarak anıyorsa tutulur. Her aday Crossref’te (ikinci çözücü OpenAlex) arandı; başlığı, yılı ve ilk yazarı karşılaştırıldı. Aramanın bulduğu bir eser ancak Crossref onu tutuyorsa gösterilir. Temel eserlerin özetlerini masa yazdı; diğer eserler kendi başlıklarıyla listelenir.
Kaynak kayıtlar: code:src/lib/world-grammar/place-grammar.ts#resolvePurpose · doi:10.1038/s41586-023-06924-6 · doi:10.1038/s41586-023-06747-5 · doi:10.1561/2200000048 · doi:10.1109/tmi.2019.2927101 · doi:10.1002/adma.202004805 · doi:10.1145/2213977.2213994 · doi:10.1137/1004057 · doi:10.3115/1220575.1220654 · doi:10.1007/s10817-017-9440-6