Breaking
DEHamburg - Port: Federal government prohibits sale of logistics company to ChineseKRAMD Lisa Su, Samsung Jeon Young-hyeon and SK Kwak No-jeong meet to discuss AI cooperation plans (comprehensive)RUSecond reconnaissance aircraft detected over Black SeaKRFirewall crack... First post-war far-right chairman of German state parliament (comprehensive)SEPrize-winning Gaza documentary will not be shown on October 7BRElection for rector of IFPB has 2nd round this Wednesday (7)DEAfter the escape: Mud fight with the coach: What future does Ronaldo have?DEArtificial intelligence: OpenAI is said to have solved hundreds of mathematical problemsRUThe colonel appreciated Ukraine's ability to completely cover all bridges in KyivINTLRonaldo stays on under cloud as Messi exits internationalsDEHamburg - Port: Federal government prohibits sale of logistics company to ChineseKRAMD Lisa Su, Samsung Jeon Young-hyeon and SK Kwak No-jeong meet to discuss AI cooperation plans (comprehensive)RUSecond reconnaissance aircraft detected over Black SeaKRFirewall crack... First post-war far-right chairman of German state parliament (comprehensive)SEPrize-winning Gaza documentary will not be shown on October 7BRElection for rector of IFPB has 2nd round this Wednesday (7)DEAfter the escape: Mud fight with the coach: What future does Ronaldo have?DEArtificial intelligence: OpenAI is said to have solved hundreds of mathematical problemsRUThe colonel appreciated Ukraine's ability to completely cover all bridges in KyivINTLRonaldo stays on under cloud as Messi exits internationals
BackOpenAI, yapay zekanın çözdüğü 377 matematik problemine ilişkin sonuçları yayımladı
OpenAI, yapay zekanın çözdüğü 377 matematik problemine ilişkin sonuçları yayımladı
Developing
AA Güncel2 hours agoTech1 min readTürkiyeView translation

OpenAI, yapay zekanın çözdüğü 377 matematik problemine ilişkin sonuçları yayımladı

OpenAI, cebir, sayı teorisi ve topoloji gibi farklı alanlardaki matematik problemleri hakkında yapay zeka tarafından elde edilen 377 yeni sonucu paylaştı.

Quick Look

  • OpenAI, cebir, sayı teorisi ve topoloji gibi farklı alanlarda yapay zeka ile elde edilen 377 yeni matematiksel sonucu paylaştı.
  • İspatlar Lean bilgisayar diliyle kontrol edildi.

AI-generated summary

Why It Matters

OpenAI, eylülde Navier-Stokes denklemlerini çözdüğünü açıklamıştı.

Font size

New York Times (NYT) gazetesinin haberine göre, söz konusu sonuçlar, OpenAI'ın eylülde "Milenyum Problemleri" arasında yer alan ve akışkanların hareketini ele alan Navier-Stokes denklemlerini çözmeyi başardığını açıklamasının ardından geldi.

OpenAI cebir, sayı teorisi, teorik bilgisayar bilimi, matematiksel mantık ve topoloji dahil farklı alanlardaki matematik problemleri hakkında yapay zeka tarafından elde edilen 377 yeni sonucu paylaştı.

Navier-Stokes çalışmasında olduğu gibi, yeni matematiksel sonuçlar da henüz kamuya sunulmayan daha gelişmiş bir yapay zeka modeli kullanılarak elde edildi.

Şirket, konuya ilişkin yaptığı yazılı açıklamada, her bir sonucun elde edilmesinin ortalama yaklaşık 3 saat sürdüğünü bildirdi.

İspatların, temel mantığın doğruluğunu denetleyen "Lean" adlı bilgisayar dili kullanılarak kontrol edildiği aktarılan açıklamada, yeni çalışmalar tamamlandıkça bunların veri havuzuna ekleneceği belirtildi.

Açıklamada, matematik alanındaki yapay zeka çalışmalarının sonuçlarının bilim dünyasıyla paylaşılmasına yönelik yöntemlerin geliştirilmesi amacıyla, bir danışma grubuyla istişarelerde bulunulduğu ifade edildi.

Yapay zekanın elde ettiği matematiksel sonuçların anlaşılmasını desteklemek amacıyla atölye, konferans ve özel programlara finansman sağlanacağı vurgulanan açıklamada, ileri düzey modellerin bilim alanlarında test edilmeye devam edileceği kaydedildi.

OpenAI, ayrıca 10 sorunun çözümü için yapay zeka modelinin sonuca nasıl ulaştığını gösteren özetler de yayımladı.

OpenAI, Navier-Stokes denklemlerini çözdüklerini açıklamıştı

ABD merkezli yapay zeka şirketi OpenAI, Eylül 2026'da 90 yıldır çözülemeyen ileri seviye bir matematik problemini yeni nesil bir yapay zeka modeli kullanarak çözdüklerini açıklamıştı.

Açıklamada, görevleri kısmen otonom şekilde yerine getiren yaklaşık 10 bin yapay zeka aracından oluşan bir grup kullanılarak, söz konusu matematik probleminin 88 saatte çözüldüğü belirtilmişti.

Problemin akışkanların hareketini ele alan Navier-Stokes denklemleriyle ilgili olduğu kaydedilen açıklamada, denklemlerle ilgili olarak yaklaşık 3 milyon mesaj ve 130 milyar veri kullanıldığı ifade edilmişti.

What to Watch

AI outlook — possibilities, not facts

  • Yeni çalışmalar tamamlandıkça veri havuzuna eklenecek

    Very likely · Within months

Open Questions

  • Yeni yapay zeka modeli ne zaman kamuya sunulacak?
  • Danışma grubu hangi isimlerden oluşuyor?

Related Topics

This article was originally published by AA Güncel.

Related Stories

OpenAI CEO Altman advocates accepting the risks posed by artificial intelligence
Tech·

OpenAI CEO Altman advocates accepting the risks posed by artificial intelligence

In his statement to Politico, OpenAI CEO Sam Altman stated his differences of opinion with Anthropic CEO Dario Amodei on artificial intelligence regulations. Altman emphasized that the benefits of artificial intelligence require accepting some risks and that he does not adopt an approach that aims to completely eliminate the risks of misuse. Anthropic announced that its regulatory recommendations only cover leading artificial intelligence models.

Cumhuriyet
1 min read
More on this topicopenai