#matematika — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #matematika, aggregated by home.social.
-
#^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 -
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 […] -
💀 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! 🤔🤔🤔
-
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
-
'Hiruwiki: Vibe Codingaren onurak eta mugak'
https://etzi.pm/hiruwiki-vibe-codingaren-onurak-eta-mugak/
«...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
-
@OttovonWenkoff Ten, kdo vymyslel, že #matematika bude abstraktní umění by měl dostat po čuni 😁
Btw. matně si vybavuju, že tohle jsme se učili na #ZŠ - někde kolem osmý třídy. V mých téměř petatřiceti jsem to konkrétně použil naposledy v té osmé třídě...
-
Man vienīgajam te kaut kas šķiet nepareizi? 🥴 #TVNET #Matematika
https://sports.tvnet.lv/8344236/silovs-spozi-mirdz-losandzelosa-nhl-speles-otra-zvaigzne
-
Ze polita gelako paretak jartzeko
-
Cubes et vision dans l’espace , un nouvel exerciseur – Blog enseignant des maths
https://mathix.org/linux/archives/21174
Kubo txikien laguntzaz ikusmen espaziala lantzeko baliabide polita. DBHn lantzen ditugun bisten aurretik erabiltzeko baliagarria izan daiteke
-
Matematikaren Nazioarteko Eguna da gaur. Aurten matematika, artea eta sormena ospatzeko gonbidapena luzatu dute.
Kimu #Matematika proposamenean ere irudimena eta sormena sustatzen ditugu LH 1, 2 eta 3ko ikasleen artean. Proiektua ezagutu nahi duzu? 👇
-
OpenAI predstavila nový jazykový model o3-mini, ktorý si lepšie poradí s programovaním aj matematickými, či vedeckými úlohami.
-
Gure lagun π zenbakia eta matematika sexyak https://www.youtube.com/watch?v=EdDqhn43ZYQ #matematika #zientzia
-
Hungarian post...
Azaz hogyan lehet vonzó tárgy a #matematika? A Gondolkodás Öröme Alapítvány fantasztikus dolgokat csinál a matematikai tehetség gondozásban. Ők kapják az 1%-omat, és mindenki másnak is ajánlom őket!
-
#Gamifikazioa #LehenHezkuntzako #matematikan (besteren artean), superguaia delako (ze aldeko ebidentzia zientifikorik ez dago; izatekotan, kontra): https://12ft.io/proxy?q=https://elpais.com/educacion/2024-10-09/pantallas-juego-y-matematicas-el-coctel-con-riesgos-de-una-app-que-ya-usan-mas-de-1700-colegios-en-espana.html
-
#Riško se teď zabavuje diferenciálníma rovnicema a zjišťováním důležitých pravidel růstu matematických funkcí f(x)
Sháníme mu kamaráda nebo kamarádku kolem druhé třídy se kterými by si o tomto s nimi mohl pokecat, protože když si o tom chce povídat, děti na hřišti na něj koukají jako když na ně nemluví česky.
#Matematika #Fyzika #Seznamka pro #Dětičky #Praha #Mensa #ADHD
-
Marek Valášek je prostě hrdina.
https://youtu.be/Has2l897UyM?feature=shared
Velký respekt všem co vysvětlují věci jako videa na YT. 👌
-
Derivace mi fakt už lezou na mozek. Efektivita minimální, nuda maximální. Limity byly ještě v pohodě...
#škola #krize #vysokaskola #matematika #matematickaanalyza #derivace