@ancient_den@r_frate@Lanikoro Конечно найдутся. Если бы вы приложили минимальные усилился то нашли бы хотя бы одну. Например https://t.co/WehUtFfkiL
Насчёт IM0 2026 ещё оставлю это https://t.co/9KYIv2dA49
@ancient_den@r_frate@Lanikoro Погуглите в сторону Теренса Тао, проблем Эрдёша, central conjecture in discrete geometry да и еще куча всего. Я здесь всего не перечислю даже при желании. Скажу что если вы никак не интересуетесь математикой и все эти новости из сообщества проходят мимо вас то вам оно и не надо
@ancient_den@r_frate@Lanikoro Это все на поверхности и легко находится простым поиском. Проблем решено было уже так много (относительно конечно) что я заколебаюсь вам скидывать ссылки на пейперы это подтверждающие. Из последнего, не про теоремы, но олимпиадная математика это IMO 2026
@Zadrot0s@r_frate@Lanikoro Это разовый результат и не говорит ни о чем. Люди, внезапно, тоже галлюцинируют да еще и как. Современные модели решают достаточно сложные задачи, а то что мы здесь наблюдаеи это ни что иное как "анти-ai истерика". Нашли ошибку и к ней прицепились
@r_frate@Lanikoro Есть смысл этим имбецилам которые на полном серьёзе сравнивают gemini и яндекс алису рассказывать о том что с помощью современных LLM уже были доказаны сложные теоремы? Или что гениальные математики такие как Тао их используют их в своей работе? Как считаешь?
FREE Math Book. 360 pages.
100 years ago, Thompson published "Calculus for the Practical Man."
Ever wonder how people taught themselves higher math a century ago? No fluff, no bloated modern textbook formatting: just clear, direct intuition designed for the working self-starter. Focuses entirely on intuitive understanding and practical application.
Link: https://t.co/JGFjiNjUJv
@abuviktor1 А как они собираются доставлять бутылки с заводов по магазинам? Как они будут бутылки в фуры грузить? Или они планируют оставить все как есть, просто в магазинах продавцы которые раскладывают бутылки на полки, будут выбрасывать упаковку в которую они замотаны?
@Brien38522 @PDoomOrder1 @roydanroy Math education is failing: too few teachers truly teach. If AI can fix this (Bloom's problem), that's a powerful reason to push AI development. Would an "individual math tutor in every home for $50" be such a bad idea?
New Engineering blog: We tasked Opus 4.6 using agent teams to build a C compiler. Then we (mostly) walked away. Two weeks later, it worked on the Linux kernel.
Here's what it taught us about the future of autonomous software development.
Read more: https://t.co/htX0wl4wIf
@brachkow@Niketas Какой-то не такой у вас был тостер. Но разный опыт бывает, допустим. У меня (как и у многих) русскоговорящее сообщество наоборот всегда ассоциировалось с тем что перечислил ОП. В англоязычных интернетах (SO, Reddit, FB) я такого поведения честно говоря вообще никогда не встречал
This thread is part of my "Linux System Call of the Day" series!
Every day, I break down one syscall, the vital API that lets your programs ask the Linux kernel to do powerful things.
Follow along to master the OS from the ground up. 🚀
FFmpeg makes extensive use of hand-written assembly code for huge (10-50x) speed increases and so we are providing assembly lessons to teach a new generation of assembly language programmers.
Learn more here:
https://t.co/u6MKBb4v0S