AI rozwiązała 30-letni problem matematyczny

Prof. Sankowski: Modal AI Aristotle rozwiązał Problem Erdősa nr 124 bez prowadzenia za rękę i zajęło mu to 6 godzin. To może oznaczać potężne przyspieszenie postępu nie tylko w matematyce, ale we wszystkich dziedzin, które na niej polegają od fizyki po zaawansowaną inżynierię.

[jagoslau]

AI w wielu dziedzinach naprawdę mocno się przydaje. Np. przy wynajdowaniu leków - jest w stanie sprawdzić w krótkim czasie ogromną liczbę opcji i możliwości - po czym znaleźć lub zaprojektować taką która będzie skuteczna i prosta w pozyskaniu.

https://www.medonet.pl/zdrowie/wiadomosci,rewolucja-w-leczeniu-raka--ai-tworzy-precyzyjne-terapie-w-kilka-tygodni,artykul,33283568.html

[milo1000]

@jagoslau: Ale obecny hype nie jest na AI, znane od lat, tylko na genAI, czyli modele językowe.

[abgaha]

po czym znaleźć lub zaprojektować taką która będzie skuteczna i prosta w pozyskaniu.

@jagoslau: nie, ktora moze bedzie skuteczna. Leki to ciagle ruletka - bedzie dzialac lub nie. Na to lub na cos innego. Nie zmienia jednak faktu ze AI sie przydaje. Gdybysmy mieli pelen model ludzkiego dziala z wszystkimi zaleznosciami to co innego - ale do tego jeszcze daleko.

[ShadyTalezz]

to jest dobre wykorzystanie AI i może ludzkości pomóc a potem widzę AI slop w internecie - jakieś g---o filmiki, obrazki, muzykę, AI zabierające ludziom pracę i zostawiające ich na lodzie i mam ochotę to zdelegalizować w p---u ( ͡° ͜ʖ ͡°)

[RM_PL]

@ShadyTalezz: W sumie podobna sprawa z internetem - z ogólnej sieci komputerowej z mnóstwem informacji i możliwości stała się rakowiskiem artykułów sponsorowanych, fake newsów czy durnowatych filmików lub "wyzwań" na mediach społecznościowych.

[Magowie0gniaEnjoyer]

@ShadyTalezz: OpenAI już wprowadza do tego gówna reklamy, zaraz wszystkie czaty zostaną tym zasypane. Czasy wyszukiwania informacji czatami powoli się kończą. Do reszty funkcji na pewno też jakoś reklamy się wepchnie, to tylko kwestia czasu.

[Kempes]

Żeby trochę ostudzić emocje...

[argonauta1000]

Są na to dwie odpowiedzi:
1. Jest dobrze. 2. Nie jest dobrze.

[patryk-wuwuw]

@argonauta1000:
Masz absolutną rację! 😀💪

[ukruszony__kubek]

@patryk-wuwuw: ma albo nie ma ( ͡° ͜ʖ ͡°)

[Arkass]

IMO:
To nie pierwszy taki przypadek:

AlphaEvolve, stworzony przez Google DeepMind przy współpracy z wybitnymi naukowcami, w tym Terencem Tao, dokonał czegoś, co uznano za niemożliwe przez ponad pół wieku. Od 1969 roku uznawano, że macierze 4×4 można mnożyć przy użyciu minimum 49 operacjach skalarnych. Teraz, dzięki AlphaEvolve, ten rekord został pobity – system AI znalazł algorytm, który dokonuje tego w 48 krokach.

https://itreseller.pl/alphaevolve-algorytm-google-ktory-przyspieszy-rozwoj-technologii-i-nauki/
https://deepmind.google/blog/alphaevolve-a-gemini-powered-coding-agent-for-designing-advanced-algorithms/

[amilab]

Pożyjemy, zobaczymy. Bardziej jestem ciekaw ilu innych problemów nie udało się w ten sposób rozwiązać. Jeszcze niedawno był hype na komputery kwantowe i też było tak blisko... Jeszcze dekada, może dwie i miały pomóc w chemii, materiałoznastwie i podobnych.

[ebce]

@amilab: komp kwantowy rozszyfruje blockchain w kilkanascie minut

@Trapez1337: kiedy osiągniemy osiagniemy utrzymanie kubików w stabilnosci przez te kilka minut?

[ssauczo_pauczo]

Jeszcze niedawno był hype na komputery kwantowe i też było tak blisko

@amilab: "było blisko" - mówisz, jakby już nikt nie pracował nad komputerami kwantowymi. Jeszcze trochę i pojawią się pierwsze komercyjne jednostki.

[enten]

Matematycy na bruk

[Polasz]

@enten: a kto zrozumie to co AI z siebie wypluje?

[rudi-meyer]

@enten: a to zrozumie to co AI wypluje siebie?

@Polasz: drugie AI

[uncleartur]

There are two different versions of this problem asked by Erdős. The one AI solved is the easier one. The one asked in the original paper is the harder one, which the AI solution (appears to) say nothing about. I would not be surprised if the solved problem had in fact appeared in some mathematical competition (perhaps without knowing the Erdős connection), so it could have been part

[arti040]

Zaraz, jak AI rozwiązało? xD Są na to jakieś papiery, prace czy tylko wpis na blożku? Google Scholar coś zwraca na ten temat? (podpowiadam - nie, nie zwraca). Prawdopodobnie ktoś to kiedyś rozwiązał a ChatGPT to ukradł scrappując materiały jak leci i przez przypadek podał jako rozwiązanie. Poza tym myślcie trochę! Jak LLM może cokolwiek *rozwiązać* jak on tylko na podstawie statystyki składa literki z tego, co udało mu się z-----ć z

[Luciferrrro]

To czemu ten problem na stronie jest dalej otwarty i oznaczony jako nierozwiązany?
https://www.erdosproblems.com/forum/thread/124#post-1892

[KryptonZ]

@Luciferrrro: akceptacja. Tak samo było z ciągiem na liczby pierwsze

[loginniezajety]

@Luciferrrro: To że problem jest otwarty oznacza tylko i wyłącznie że autor strony nie zna jego rozwiązania - wypowiadał się już przy wcześniejszych "rozwiązaniach" innych problemów. Człowiekowi ciężko jest śledzić wszystkie publikacje.
https://the-decoder.com/leading-openai-researcher-announced-a-gpt-5-math-breakthrough-that-never-happened/