home.social

#matematika — Public Fediverse posts

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

fetched live
  1. #^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
  2. #^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
  3. #^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
  4. 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

  5. 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

  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. 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

  8. 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

  9. 💀 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

  10. 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

  11. 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

  12. 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

  13. Honnan lehet tudni, hogy valaki matek tanár?

    Amikor az ember beszél vele az 1,25 az nála nem "egy egész huszonöt", hanem "egy egész huszonöt század".

    #magyar #hungarian #matek #matematika

  14. Honnan lehet tudni, hogy valaki matek tanár?

    Amikor az ember beszél vele az 1,25 az nála nem "egy egész huszonöt", hanem "egy egész huszonöt század".

    #magyar #hungarian #matek #matematika

  15. 'Hiruwiki: Vibe Codingaren onurak eta mugak'

    etzi.pm/hiruwiki-vibe-codingar

    «...orain bi aste beste ideia bat solidotu zitzaidan buruan: matematikako bisualizazioak Wikipedian edukitzeko amets zaharra teknikoki esploratu behar nuen, lehenago horren gainean zeuden mugak gainditzeko aukerak bazirelako.»

    @theklan Hiruwiki proiektua garatzeko prozesuaz

    #Wikipedia #HiruWiki #VibeCoding #Matematika

  16. 'Hiruwiki: Vibe Codingaren onurak eta mugak'

    etzi.pm/hiruwiki-vibe-codingar

    «...orain bi aste beste ideia bat solidotu zitzaidan buruan: matematikako bisualizazioak Wikipedian edukitzeko amets zaharra teknikoki esploratu behar nuen, lehenago horren gainean zeuden mugak gainditzeko aukerak bazirelako.»

    @theklan Hiruwiki proiektua garatzeko prozesuaz

    #Wikipedia #HiruWiki #VibeCoding #Matematika

  17. 'Hiruwiki: Vibe Codingaren onurak eta mugak'

    etzi.pm/hiruwiki-vibe-codingar

    «...orain bi aste beste ideia bat solidotu zitzaidan buruan: matematikako bisualizazioak Wikipedian edukitzeko amets zaharra teknikoki esploratu behar nuen, lehenago horren gainean zeuden mugak gainditzeko aukerak bazirelako.»

    @theklan Hiruwiki proiektua garatzeko prozesuaz

    #Wikipedia #HiruWiki #VibeCoding #Matematika

  18. 'Hiruwiki: Vibe Codingaren onurak eta mugak'

    etzi.pm/hiruwiki-vibe-codingar

    «...orain bi aste beste ideia bat solidotu zitzaidan buruan: matematikako bisualizazioak Wikipedian edukitzeko amets zaharra teknikoki esploratu behar nuen, lehenago horren gainean zeuden mugak gainditzeko aukerak bazirelako.»

    @theklan Hiruwiki proiektua garatzeko prozesuaz

    #Wikipedia #KiruWiki #VibeCoding #Matematika