home.social

#matematika — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #matematika, aggregated by home.social.

fetched live
  1. europesays.com/cz/236159/ Na 13. listopad 2026 připadá děsivá předpověď. Vědci ho označili za den zkázy – Aktuálně.cz #KonecSvěta #Matematika #předpověď #Studie #Svět #Výzkum #World #WorldNews

  2. #^Umělá inteligence v matematice vyvolává spor o pravidla akademického výzkumu



    Rychlý pokrok jazykových modelů v řešení matematických úloh mění debatu mezi vědci, zejména po tvrzení OpenAI o vyřešení problému existence a hladkosti Navierových–Stokesových rovnic. Pokud by se výsledek potvrdil, šlo by o zásadní posun u jednoho z dosud nevyřešených problémů Milénia. Matematici však kritizují způsob, jímž technologické firmy své výsledky oznamují, a obávají se narušování zavedených akademických norem. Zaznívá také varování, že AI může poskytovat správné odpovědi bez srozumitelných postupů, které by rozvíjely lidské porozumění. Mladí výzkumníci navíc pociťují tlak používat drahé modely, aby neztratili konkurenceschopnost při publikování a hledání pracovních míst.

    #umelainteligence #matematika #akademie
  3. #^Jediná kulečníková koule může teoreticky provádět libovolné výpočty



    Matematici Eva Miranda a Isaac Ramos ukázali, že jediná koule odrážející se mezi pevnými stěnami speciálně navrženého dvojrozměrného útvaru může simulovat univerzální Turingův stroj. Informaci nese poloha koule a program je zakódován přímo v geometrii překážek, které určují další směr jejího pohybu. Model je také zatížen zásadním omezením výpočetní teorie: nelze obecně rozhodnout, zda výpočet někdy skončí, což odpovídá určitému typu návratu trajektorie. Jde o idealizovanou matematickou konstrukci vyžadující nedosažitelnou přesnost, nikoli o návrh praktického počítače. Výsledek může pomoci zkoumat hranice předvídatelnosti ve složitějších fyzikálních systémech.

    #matematika #vypocetniteorie #fyzika
  4. #^Kvantový procesor poprvé předvedl automatizované dokazování geometrických vět



    Výzkumníci z čínských univerzit použili programovatelný supravodivý kvantový procesor se 121 qubity k důkazu dvou geometrických vět. Jedna z úloh ověřovala kolmost úhlopříček čtverce, druhá vycházela ze zadání Mezinárodní matematické olympiády z roku 1978. Nejde o rychlejší řešení než na klasickém počítači, ale o experimentální ukázku, že kvantové obvody mohou provádět kroky formálního logického usuzování. Systém pracoval s výrazným vedením od výzkumníků a jen na omezených úlohách, takže jde především o důkaz proveditelnosti. Autoři předpokládají možné budoucí využití pro matematické nástroje i umělou inteligenci, pokud se zlepší kvantový hardware. Studie je zatím dostupná jako preprint na arXiv a neprošla recenzním řízením.

    #kvantovepocitace #matematika #umelainteligence
  5. #^AI systém formálně ověřil důkaz věty o mezerách mezi prvočísly



    Společnost Axiom Math pomocí systému AxiomProver automaticky formálně ověřila důkaz takzvané věty 246. Ta říká, že existuje nekonečně mnoho dvojic prvočísel, jejichž rozdíl je 246, což je dosud nejmenší prokázaná pevná mezera tohoto typu; domněnka o dvojčatech s rozdílem dvě zůstává nevyřešena. Tým při práci vytvořil znovupoužitelnou knihovnu výsledků o mezerách mezi prvočísly, nešlo tedy jen o jednorázové zpracování jednoho důkazu. Formální ověření sice není absolutní zárukou bez chyb, představuje však velmi silnou kontrolu strojově čitelného důkazu. Autoři vidí širší využití podobných metod při prověřování správnosti a bezpečnosti kódu vytvářeného umělou inteligencí.

    #umelainteligence #matematika #overovanidukazu
  6. Nepromarněný čas

    Co si vzít na dovolenou, aby se vám vrátil proměněný svět — a ne jen opálená kůže Existuje jeden houževnatý mýtus, kterému bych rád jednou provždy zakroutil krkem: mýtus o „knize na pláž". Prý má být lehká, zapomenutelná, tak akorát tupá, aby vám nerušila trávení. Jako by dovolená byla čas, který se má nějak přežít, protrpět v přiměřeném poloomámení mezi dvěma koupelemi. Já to vidím přesně opačně. Nejjistější způsob, jak promarnit […]

    runarov.cz/teletnik/2026/07/12

  7. Tržišta predviđanja

    Jedva sam počela da se radujem što sada mogu direktno u Telegram da ubacujem dugačke objave, a onda je Sperry izbacio mega-dugačku objavu koja sigurno nigde neće stati. Čak sam i na svom sajtu prvo razmišljala da je ne objavljujem na jednoj stranici, već po poglavljima, ali sam ipak odlučila da se ne komplikujem toliko. Najstrašnije je to što se on ne šali kada to naziva kratkim esejom; stigla sam da čujem još određeni broj istorijskih anegdota koje nisu ušle u tekst, i po […]

    ancapchan.info/sr/2026/07/02/2

  8. 💀 Kdybyste hledali důvod, proč si večer schovat pár konzerv do skříně navíc, je tu nový výzkum varující, že budoucnost MOŽNÁ NEBUDE ÚPLNĚ RŮŽOVÁ! #šok 🤯

    Studie navrhuje nelineární model, který má popsat 12 000 let růstu lidské populace jednou rovnicí. A DOZADU DO OCELA DOBŘE UMÍ – umí zachytit pomalý neolitický růst, průmyslovou explozi, ale i zpomalování po roce 1970. Ale CO DOPŘEDU? 😏

    Možných scénářů to vyhodilo víc – a v případě pokračování současných trendů by na žádný propad dojít nemělo, vše v cajku, chill, no stress! 😅 …Ale KDYBY došlo na nějakou výraznou ENVIROMENTÁLNÍ KRIZI, udržitelná kapacita Země by se náhle mohla propadnout ASI NA 2 MILIARDY LIDÍ.

    V takovém případě model ukazuje možnost prudkého poklesu populace, zhruba na polovinu KOLEM ROKU 2064. Reálně by tedy pokles ZAČAL DŘÍV. 🙃

    Vědátoři rozhodně zdůrazňují, že to není věštba, nýbrž matematické „CO KDYBY“. No nic, to mě uklidnilo, jdu pomalu sepisovat reflexi další novinky, která bude řešit… EXTRÉMNÍ El Niňo! 🤔🤔🤔

    #klima #climatechange #civilizace #populace #matematika

    m.facebook.com/VedatorCZ/posts

  9. Dnes jsme synkovi kontrolovali pracovní sešit z matematiky a koukám na základy rovnic o jedné neznámé. Může mi prosím někdo potvrdit jak je to v první třídě v Čechách? #matematika

Share on Mastodon

Enter the server where you have an account.