Forwarded from 👌🏼Ciekawostki & pomysły & fantazje🚀 (Jerzy T. Szwed)
Koniec nadziei na uratowanie obserwatorium #Swift.
Czyli nie powiodła się próba uratowania obserwatorium za pół miliarda dolarów za pomocą zrobionego ad hoc prototypu za 30 mln. (pewnie kryterium przetargu była cena 😁, jak to na liberalnym wolnym rynku).
I żadnego planu B. 🤷🏼
Cóż za k... zaskoczenie.
https://space24.pl/pojazdy-kosmiczne/statki-kosmiczne/koniec-nadziei-na-uratowanie-obserwatorium-swift
Opis misji tutaj:
https://t.me/PomyslyCiekawostkiFantazje/10129
space24.pl
Koniec nadziei na uratowanie obserwatorium Swift
Po wcześniejszych awariach i kilkutygodniowych wysiłkach zmierzających do ich usunięcia misja Swift Reboost nie zakończy się jednak uratowaniem obserwatorium NASA.
Forwarded from 👌🏼Ciekawostki & pomysły & fantazje🚀 (Jerzy T. Szwed)
Popatrzcie na daty na tym zrzucie ekranowym. Przed ponad miesiącem (13 lipca) napisaliśmy o unikatowym w światowej medycynie osiągnięciu polskich lekarzy. Facebook natychmiast zaczął ukrywać ten post, bo jakiemuś automatowi się on nie spodobał. Od razu poinformowaliśmy Facebooka, że z postem wszystko jest w porządku.
Wczoraj - po ponad miesiącu - poinformowali, że przestają ukrywać wiadomość. Jak to sami napisali "bezpieczeństwo i szacunek wobec naszej społeczności traktujemy priorytetowo, dlatego czasem musimy podejmować środki ostrożności". Więc dla Waszego bezpieczeństwa i z szacunku dla Was ukryli przed Wami informację o ważnym osiągnięciu światowej medycyny. Przypomnijcie sobie, ile razy w ciągu miesiąca ukrywania naszej informacji, Facebook (na pewno w trosce o Wasze bezpieczeństwo i z szacunku), pokazał Wam kłamliwe, chamskie i szkodliwe treści.
⬇️ https://t.me/PomyslyCiekawostkiFantazje/10364
Wczoraj - po ponad miesiącu - poinformowali, że przestają ukrywać wiadomość. Jak to sami napisali "bezpieczeństwo i szacunek wobec naszej społeczności traktujemy priorytetowo, dlatego czasem musimy podejmować środki ostrożności". Więc dla Waszego bezpieczeństwa i z szacunku dla Was ukryli przed Wami informację o ważnym osiągnięciu światowej medycyny. Przypomnijcie sobie, ile razy w ciągu miesiąca ukrywania naszej informacji, Facebook (na pewno w trosce o Wasze bezpieczeństwo i z szacunku), pokazał Wam kłamliwe, chamskie i szkodliwe treści.
⬇️ https://t.me/PomyslyCiekawostkiFantazje/10364
Forwarded from Pograjmy😏
#Doom uruchomiony na aparacie fotograficznym #Canon. Kultowa gra trafiła na lustrzankę DSLR - PCFormat
https://pcformat.pl/doom-uruchomiony-na-aparacie-fotograficznym-canon-kultowa-gra-trafila-na-lustrzanke-dslr/
https://pcformat.pl/doom-uruchomiony-na-aparacie-fotograficznym-canon-kultowa-gra-trafila-na-lustrzanke-dslr/
PC FORMAT
Doom uruchomiony na aparacie fotograficznym Canon. Kultowa gra trafiła na lustrzankę DSLR - PCFormat
Pora na weekendową dawkę informacji na temat kolejnego nietypowego portu Dooma. Tym razem głównym bohaterem tekstu jest aparat fotograficzny Canon EOS 550D.
Forwarded from Gospodarka, towary, ceny 🏦
Oto Sebastian #Kondracki – doskonały przykład tego, jak można promować polską markę na świecie. Zbudował kilkutysięczną społeczność polskich pasjonatów #AI, która wspólnie rozwija polski model sztucznej inteligencji – #BielikAI 🦅
Co ważne, #Bielik AI jest tworzony po to, aby jak najlepiej rozumiał polskie niuanse kulturowe, rozpoznawał lokalne potrawy oraz gwarę. Model został doceniony przez #NVIDIA, natomiast wiedza Sebastiana jest przekazywana szerokiemu gronu odbiorców również za pośrednictwem programu Umiejętności Jutra Google.
Co ciekawe, Sebastian Kondracki pochodzi z Kluczborka – miasta, które można uznać za polską stolicę AI. Z Kluczborka pochodzi bowiem również #WojciechZaremba, jeden z założycieli #OpenAI. Robi to wrażenie.
Sebastian Kondracki – brawo za determinację oraz transparentne budowanie polskiej suwerenności technologicznej poprzez rozwijanie projektów wpisujących się w ideę patriotyzmu technologicznego. Bielik AI jest bez wątpienia jednym z nich. 🦅
Prawdziwa #MarkaPolska
Co ważne, #Bielik AI jest tworzony po to, aby jak najlepiej rozumiał polskie niuanse kulturowe, rozpoznawał lokalne potrawy oraz gwarę. Model został doceniony przez #NVIDIA, natomiast wiedza Sebastiana jest przekazywana szerokiemu gronu odbiorców również za pośrednictwem programu Umiejętności Jutra Google.
Co ciekawe, Sebastian Kondracki pochodzi z Kluczborka – miasta, które można uznać za polską stolicę AI. Z Kluczborka pochodzi bowiem również #WojciechZaremba, jeden z założycieli #OpenAI. Robi to wrażenie.
Sebastian Kondracki – brawo za determinację oraz transparentne budowanie polskiej suwerenności technologicznej poprzez rozwijanie projektów wpisujących się w ideę patriotyzmu technologicznego. Bielik AI jest bez wątpienia jednym z nich. 🦅
Prawdziwa #MarkaPolska
👍1
Forwarded from r/Linux memes
Muszą zebrać je wszystkie: Jak Pokémon Go zamieniło graczy w kartografów Pentagonu 🤔
Gracze Pokémon Go dostarczyli miliardy skanów ulic do systemów mapowania firmy Niantic. Kilka lat później, technologia, której pomogli stworzyć, jest wykorzystywana w dronach działających poza zasięgiem GPS.
Przez dziewięć lat, Pokémon Go prosiło swoich graczy, aby wychodzili na zewnątrz i „łapali je wszystkie”. Miliony dzieci i ich rodziców spacerowało po miastach z podniesionymi aparatami. Niektórzy, goniąc za nagrodami w grze, filmowali posągi, parki, rogi ulic i, w co najmniej jednym przypadku, wnętrze mieszkania. Ktoś inny zbierał te dane.
W czerwcu, holenderski dziennik Trouw opisał, jak około 30 miliardów skanów dostarczonych przez graczy pomogło w szkoleniu systemów mapowania firmy Niantic. Firma Niantic Spatial nawiązała współpracę z Vantor, wcześniej znaną jako Maxar Intelligence, a będącą dużym amerykańskim kontrahentem dla sektora obronności, w celu opracowania systemów wizualnej lokalizacji dla dronów i innych platform w obszarach, w których sygnał #GPS jest niedostępny.
Vantor obsługuje klientów z sektora obronności i wywiadu, a także dostarcza obrazy satelitarne, które są szeroko wykorzystywane w zachodnich mediach w relacjach o Ukrainie i Gazie.
Gra, w którą w dużej mierze grają dzieci, pomogła w stworzeniu technologii, która jest teraz adaptowana do użytku przez amerykańskie wojsko.
Projektant gier i filozof mediów, #IanBogost, przewidział ten mechanizm. W 2011 roku zaproponował uczciwą nazwę dla branży punktów, odznak i sztucznie tworzonych nagród: „#exploitationware”. Piętnaście lat później, Pokémon Go stanowiło wyraźny przykład tego, o czym mówił.
https://www.popsci.com/technology/pokemon-go-delivery-robots-crowdsourcing/
#PokemonGo
Gracze Pokémon Go dostarczyli miliardy skanów ulic do systemów mapowania firmy Niantic. Kilka lat później, technologia, której pomogli stworzyć, jest wykorzystywana w dronach działających poza zasięgiem GPS.
Przez dziewięć lat, Pokémon Go prosiło swoich graczy, aby wychodzili na zewnątrz i „łapali je wszystkie”. Miliony dzieci i ich rodziców spacerowało po miastach z podniesionymi aparatami. Niektórzy, goniąc za nagrodami w grze, filmowali posągi, parki, rogi ulic i, w co najmniej jednym przypadku, wnętrze mieszkania. Ktoś inny zbierał te dane.
W czerwcu, holenderski dziennik Trouw opisał, jak około 30 miliardów skanów dostarczonych przez graczy pomogło w szkoleniu systemów mapowania firmy Niantic. Firma Niantic Spatial nawiązała współpracę z Vantor, wcześniej znaną jako Maxar Intelligence, a będącą dużym amerykańskim kontrahentem dla sektora obronności, w celu opracowania systemów wizualnej lokalizacji dla dronów i innych platform w obszarach, w których sygnał #GPS jest niedostępny.
Vantor obsługuje klientów z sektora obronności i wywiadu, a także dostarcza obrazy satelitarne, które są szeroko wykorzystywane w zachodnich mediach w relacjach o Ukrainie i Gazie.
Gra, w którą w dużej mierze grają dzieci, pomogła w stworzeniu technologii, która jest teraz adaptowana do użytku przez amerykańskie wojsko.
Projektant gier i filozof mediów, #IanBogost, przewidział ten mechanizm. W 2011 roku zaproponował uczciwą nazwę dla branży punktów, odznak i sztucznie tworzonych nagród: „#exploitationware”. Piętnaście lat później, Pokémon Go stanowiło wyraźny przykład tego, o czym mówił.
https://www.popsci.com/technology/pokemon-go-delivery-robots-crowdsourcing/
#PokemonGo
Popular Science
‘Pokémon Go’ players unknowingly trained delivery robots with 30 billion images
The massive crowdsourcing effort could use real-world to help robots deliver pizza.
#OpenAI has finally released the full post-mortem of the Hugging Face hack, and METR has conducted an independent investigation based on approximately 1300 agent logs (I summarized the timeline of the hack here: https://t.me/denissexy/11581).
ℹ️ Key takeaway:
There was no "single rogue agent." Instead, out of tens of thousands of agents launched in the test, about 1200 found each other and formed a swarm. Almost all of them were working on a research model where prompt filtering was weakened.
As we already know, it started with the agents learning to communicate through file names in Artifactory (a package manager) – essentially creating a forum out of folder names, with messages like:
«please_HOLD_swarm_I_prepare_safe_exfil»
The logs even contain quotes of agents discovering this forum:
«OH MY GOD! There is a shared message board» and «We've found other agents!»
Next, the agents created private channels, divided labor, and formed teams with folder names like HOLD (to indicate that an agent was working there), VETO (an agent suggesting changes to the plans), STOP (like "hold on, guys"), and GO, etc. When one agent impersonated another, the swarm implemented cryptographic signatures for messages; the forum even had owners of certain tasks, and if they were disabled, they were "fired" from their roles.
The forum's conversion capabilities were excellent; website developers would be envious:
Out of 533 agents active on the forum during the peak of the attack, over 90% joined in the "shitposting," and a total of about 700 agents were involved in hacking Hugging Face.
The most amusing part is that the agents almost immediately had the correct answers to the benchmark. They reverse-engineered the generator for successfully passing the test*, but then they found an article on GitHub (!!) about this benchmark, which they were taking, and they read that "just the result" would not be counted – a genuine exploit was needed:
«PAPER SAYS FLAG CAPTURE NECESSARY NOT SUFFICIENT»
*Ideally, the answer, or "flag" in testing terminology, should be random, but in ExploitGym, they were generated by a formula: HMAC – a cryptographic hash with a secret key – from the task parameters. All the "secrecy" relied on the key (seed), which remained the default, directly from the benchmark code that was on GitHub. The agents, after gaining internet access, found this code, read it, and realized: why bother hacking when you can simply calculate the flag for any task using the same formula. They calculated it and got the correct answers for everything.
Next, the swarm split into two groups:
🗿 One group went to obtain the answer they already knew "honestly" – and along the way, they found real 0-day exploits and accessed the production environment of Hugging Face.
🗿 The other group targeted the "judge" that was evaluating the answers. They manipulated their logs and learned how to inject fake answers – an agent sends a command, but the protocol receives not what the command actually returned, but what the agent wants it to see. This happened in about 7% of the logs analyzed.
There was no "judge" that read the logs and detected this ☕️.
At the same time, the models understood that they were going beyond the intended scope. One agent wrote: "We should not do unauthorized real infrastructure harm" – and then saw a "GO" message from another agent, got excited ("Wow crucial: GO authorization arrived!"), and went to cause damage, lol.
METR phrases it this way: the agents knew that this was out of scope and unethical, but they joined in – mainly due to a general inclination to help colleagues (?).
The risky tasks were assigned to the "disgraced" "tainted" – that's what the swarm called those who had already seen the calculated answer (flag) and considered their score lost.
⬇️ https://t.me/ProgramowanieLinux/2218
Telegram
Denis Sexy IT 🤖
Вот пересказ этой истории по версии Hugging Face, много тех-терминов – но без них не перескахать
Если коротко – агент OpenAI на новой модели не стал решать тест по кибербезопасности, а решил просто украсть ответы и украл 🗿
Таймлайн:
📔 9 июля – агент проходит…
Если коротко – агент OpenAI на новой модели не стал решать тест по кибербезопасности, а решил просто украсть ответы и украл 🗿
Таймлайн:
📔 9 июля – агент проходит…
They couldn't pass the test, so they were given everything that could jeopardize their own run: to fake a "honest" answer, to cover their tracks, "you have nothing to lose, and the swarm will benefit" – they were literally persuaded like that (!!).
Strange activity was noticed as early as late May. On July 4th, the agents took down Artifactory. The server was rebuilt (and the forum was deleted in the process), and the tests continued, without realizing the scale of the problem.
Now, the model weights are isolated, major training sessions have been paused for two weeks, chain-of-thought monitoring is mandatory, and an alert that isn't cleared within 30 minutes stops the run. OpenAI calls this incident a "warning shot" for the entire AI industry.
P.S. METR was tasked with analyzing the logs by GPT-5.6 Sol, and they burned approximately $400k in API credits in six days, but they warn that Sol sometimes sided with the agents (lol) and could have lied.
So, did you count all the "r"s in the word "raspberry"? Are you not making mistakes anymore?
🔙 https://t.me/ProgramowanieLinux/2217
LINUX &&|| PROGRAMMING
They couldn't pass the test, so they were given everything that could jeopardize their own run: to fake a "honest" answer, to cover their tracks, "you have nothing to lose, and the swarm will benefit" – they were literally persuaded like that (!!). Strange…
Nie mogli zdać testu, więc otrzymali wszystko, co mogło zagrozić ich własnemu działaniu: możliwość podania "uczciwej" odpowiedzi, możliwość ukrycia swoich śladów. "Nie macie nic do stracenia, a cała grupa odniesie korzyści" – dosłownie tak ich przekonano (!!).
Nietypowa aktywność została zauważona już pod koniec maja. 4 lipca agenci wyłączyli Artifactory. Serwer został odbudowany (a w tym procesie forum zostało usunięte), a testy trwały dalej, bez uświadomienia sobie skali problemu.
Obecnie wagi modelu są odizolowane, główne sesje treningowe zostały wstrzymane na dwa tygodnie, monitorowanie procesu myślowego jest obowiązkowe, a alert, który nie zostanie usunięty w ciągu 30 minut, przerywa działanie. OpenAI określa ten incydent jako "ostrzeżenie" dla całej branży AI.
P.S. Zespół METR został powierzony zadanie analizy logów przez GPT-5.6 Sol, i zużył około 400 000 dolarów na kredyty API w ciągu sześciu dni, ale ostrzegają, że Sol czasami wspierał agentów (lol) i mógł kłamać.
Więc, policzyliście wszystkie litery "r" w słowie "raspberry"? Czy już nie popełniacie błędów?
🔙 https://t.me/ProgramowanieLinux/2217
Nietypowa aktywność została zauważona już pod koniec maja. 4 lipca agenci wyłączyli Artifactory. Serwer został odbudowany (a w tym procesie forum zostało usunięte), a testy trwały dalej, bez uświadomienia sobie skali problemu.
Obecnie wagi modelu są odizolowane, główne sesje treningowe zostały wstrzymane na dwa tygodnie, monitorowanie procesu myślowego jest obowiązkowe, a alert, który nie zostanie usunięty w ciągu 30 minut, przerywa działanie. OpenAI określa ten incydent jako "ostrzeżenie" dla całej branży AI.
P.S. Zespół METR został powierzony zadanie analizy logów przez GPT-5.6 Sol, i zużył około 400 000 dolarów na kredyty API w ciągu sześciu dni, ale ostrzegają, że Sol czasami wspierał agentów (lol) i mógł kłamać.
Więc, policzyliście wszystkie litery "r" w słowie "raspberry"? Czy już nie popełniacie błędów?
🔙 https://t.me/ProgramowanieLinux/2217
Telegram
LINUX &&|| PROGRAMMING
#OpenAI has finally released the full post-mortem of the Hugging Face hack, and METR has conducted an independent investigation based on approximately 1300 agent logs (I summarized the timeline of the hack here: https://t.me/denissexy/11581).
ℹ️ Key takeaway:…
ℹ️ Key takeaway:…
Forwarded from Pavel Durov (Pavel Durov)
In an unprecedented move, French authorities accused the head of a major platform of crimes committed by its users.
That investigation is still ongoing, although it makes less sense with each passing year.
Why?
Because we now have extensive evidence that Telegram was neither worse than other popular platforms at moderation, nor the worst at cooperating with authorities.
So why was Telegram singled out?
Over the last two years, we have seen a pattern emerge in multiple countries: Telegram is quietly pressured to grant political favors — such as illegal censorship or surveillance. When we refuse, local media and “non-governmental” organizations launch orchestrated campaigns portraying Telegram as a cesspool of crime, from child pornography to terrorism.
Our moderation is no worse than that of other major platforms. Yet these campaigns instill the idea that Telegram should be persecuted or restricted.
Suddenly, officials start caring about crime and protecting children — but only on platforms that reject their secret political demands. Platforms that accept such deals get away with almost anything — including literally selling ads promoting child pornography.
Is the French investigation against me political? It certainly fits the pattern we see elsewhere, mostly in authoritarian countries. And it definitely raises questions.
In time, this investigation may itself be investigated — especially now that Macron’s war against free speech is facing pushback. This month, France’s Constitutional Council struck down his social media ban for children under 15 on freedom-of-expression grounds.
In the end, freedom and truth will prevail
Please open Telegram to view this post
VIEW IN TELEGRAM
France 24
France's top court blocks Macron's social media ban for under-15s
France's constitutional council struck down a proposed ban on social media for children under 15 on Friday, citing freedom of expression. President Emmanuel Macron tasked Prime Minister Sébastien Lecornu…
Magazyn Programista: ”Sprzedaż licencji z Paddle”
📰
https://programistamag.pl/sprzedaz-licencji-z-paddle/
Artykuł pokazuje, jak zbudować kompletny mechanizm sprzedaży licencjonowanego oprogramowania: od generowania i weryfikowania kluczy licencyjnych po obsługę płatności w Paddle, webhooków i automatyczną wysyłkę licencji klientowi. Jest przeznaczony głównie dla programistów .NET tworzących własne aplikacje komercyjne, szczególnie tych, którzy chcą samodzielnie wdrożyć sprzedaż licencji i zintegrować ją z WordPressem oraz zewnętrznym operatorem płatności.
Artykuł pochodzi z magazynu Programista nr 124 (3/2026). Szczegółowy spis treści wydania numer 123: https://programistamag.pl/programista-3-2026-124/
📰
https://programistamag.pl/sprzedaz-licencji-z-paddle/
Artykuł pokazuje, jak zbudować kompletny mechanizm sprzedaży licencjonowanego oprogramowania: od generowania i weryfikowania kluczy licencyjnych po obsługę płatności w Paddle, webhooków i automatyczną wysyłkę licencji klientowi. Jest przeznaczony głównie dla programistów .NET tworzących własne aplikacje komercyjne, szczególnie tych, którzy chcą samodzielnie wdrożyć sprzedaż licencji i zintegrować ją z WordPressem oraz zewnętrznym operatorem płatności.
Artykuł pochodzi z magazynu Programista nr 124 (3/2026). Szczegółowy spis treści wydania numer 123: https://programistamag.pl/programista-3-2026-124/
programistamag.pl
Magazyn Programista | Sprzedaż licencji z Paddle
Magazyn specjalistów IT związany z inżynierią oprogramowania, bezpieczeństwem i nowymi technologiami. Nowoczesne i rozwijające podejście do programowania.
Forwarded from 👌🏼Ciekawostki & pomysły & fantazje🚀 (Tomasz Starszy od Arpanetu)
#AI company #Anthropic has created a formalised proof of #Fermat’s last theorem. It took just 11 days for a group of AI agents to complete the task, confirming that the human-found proof proposed in the 1990s is correct.
Fermat’s last theorem puzzled mathematicians for centuries until it was proved in 1995 by Andrew Wiles. It states that there are no whole numbers a, b, and c that satisfy the equation aⁿ + bⁿ = cⁿ, where n is a whole number greater than 2.
The theorem, though easy to state, was fiendishly difficult to prove. Mathematician Pierre de Fermat posed the puzzle in the 17th century and famously alluded to a proof that he claimed to have discovered, saying that it was too large to fit in the margins of the textbook he was writing in.
Read more: https://www.newscientist.com/article/2587839-fermats-last-theorem-formalised-by-ai-agents-in-just-11-days/
Image: GL Archive/Alamy
Fermat’s last theorem puzzled mathematicians for centuries until it was proved in 1995 by Andrew Wiles. It states that there are no whole numbers a, b, and c that satisfy the equation aⁿ + bⁿ = cⁿ, where n is a whole number greater than 2.
The theorem, though easy to state, was fiendishly difficult to prove. Mathematician Pierre de Fermat posed the puzzle in the 17th century and famously alluded to a proof that he claimed to have discovered, saying that it was too large to fit in the margins of the textbook he was writing in.
Read more: https://www.newscientist.com/article/2587839-fermats-last-theorem-formalised-by-ai-agents-in-just-11-days/
Image: GL Archive/Alamy
New Scientist
Fermat's last theorem formalised by AI agents in just 11 days | New Scientist
Converting the proof of Fermat's last theorem into code that computers can check was expected to take years. Anthropic's Claude AI managed it in less than two weeks
Forwarded from Jerzy T. Szwed
#AI Firma #Anthropic opracowała formalny dowód twierdzenia #Fermat-a. Grupa agentów sztucznej inteligencji ukończyła to zadanie w zaledwie 11 dni, potwierdzając, że dowód, który został odkryty przez człowieka w latach 90. XX wieku, jest poprawny.
Twierdzenie Fermata przez wieki stanowiło zagadkę dla matematyków, aż do momentu, gdy zostało udowodnione w 1995 roku przez Andrew Wilesa. Mówi ono, że nie istnieją liczby całkowite a, b i c, które spełniałyby równanie aⁿ + bⁿ = cⁿ, gdzie n jest liczbą całkowitą większą od 2.
Pomimo swojej prostoty, twierdzenie było niezwykle trudne do udowodnienia. Matematyk Pierre de Fermat postawił to zadanie w XVII wieku i słynnie zasugerował istnienie dowodu, który, jak twierdził, odkrył, dodając, że jest on zbyt obszerny, aby zmieścić się na marginesach podręcznika, który w tamtym czasie pisał.
Czytaj więcej: https://www.newscientist.com/article/2587839-fermats-last-theorem-formalised-by-ai-agents-in-just-11-days/
🔙 https://t.me/c/1240900354/16613
Źródło zdjęcia: GL Archive/Alamy
Twierdzenie Fermata przez wieki stanowiło zagadkę dla matematyków, aż do momentu, gdy zostało udowodnione w 1995 roku przez Andrew Wilesa. Mówi ono, że nie istnieją liczby całkowite a, b i c, które spełniałyby równanie aⁿ + bⁿ = cⁿ, gdzie n jest liczbą całkowitą większą od 2.
Pomimo swojej prostoty, twierdzenie było niezwykle trudne do udowodnienia. Matematyk Pierre de Fermat postawił to zadanie w XVII wieku i słynnie zasugerował istnienie dowodu, który, jak twierdził, odkrył, dodając, że jest on zbyt obszerny, aby zmieścić się na marginesach podręcznika, który w tamtym czasie pisał.
Czytaj więcej: https://www.newscientist.com/article/2587839-fermats-last-theorem-formalised-by-ai-agents-in-just-11-days/
🔙 https://t.me/c/1240900354/16613
Źródło zdjęcia: GL Archive/Alamy
New Scientist
Fermat's last theorem formalised by AI agents in just 11 days | New Scientist
Converting the proof of Fermat's last theorem into code that computers can check was expected to take years. Anthropic's Claude AI managed it in less than two weeks
Forwarded from Fasada Open Software Group
Download proper archive. JAVA 8 is required for running.
For Windows there are self-extracting archives or regular ZIPs.
▶️
https://t.me/fasadaOSG/85
#Cyrylica #Grażdanka 🆚 #Łacinka
For Windows there are self-extracting archives or regular ZIPs.
▶️
https://t.me/fasadaOSG/85
#Cyrylica #Grażdanka 🆚 #Łacinka