DLeX: AI Python | United States America (US)

Create: 2024-03-10 Update: 2024-05-09 17:09:43

البته که از 6 ماه پیش تا الان ، مدل ها در زمینه ریاضیات خیلی پیشرفت کردن. همین چند وقت پیش نتایج بنچ مارک یک SLM رو در مقایسه با LLM ها برای مسائل ریاضی در کانال به اشتراک گذاشتیم.
@ai_python

اما واقعن چیزی که برای خود من سوال هست اینه که آینده ریاضیات با وجود هوش مصنوعی چگونه پیش خواهد رفت؟ آیا هنوز Make Sense می کنه که اثبات های ریاضی رو یاد بگیریم؟ یا آیا ماشین در حال حاضر می تونه برای ما استقرا انجام بده؟ و اصلن مسائل ریاضی در همه زمینه ها چه قدر قابل توسعه با استفاده از هوش مصنوعی هستن؟

این ویدیو 6 دقیقه ای یک چشم انداز جامع در این مورد داشت ، که شاید برای علاقه مندان دیدنش خالی از لطف نباشه :

https://youtu.be/3l1RMiGeTfU?si=c9t-oJ9eDKZrgrAn

DLeX: AI Python

YouTube

When Computers Write Proofs, What's the Point of Mathematicians?

Andrew Granville knows that artificial intelligence will profoundly change math. The programming language Lean already plays a role in theorem proving. That's why the University of Montreal number theorist has started talking to philosophers about the nature…

hottg.com/ai_python/16659

3.7K viewsNaviD DariYa, Mar 10 at 20:15

>>Click here to continue<<

DLeX: AI Python

Share with your best friend

Telegram and Signal Havens for Right-Wing Extremists

Since the violent storming of Capitol Hill and subsequent ban of former U.S. President Donald Trump from Facebook and Twitter, the removal of Parler from Amazon’s servers, and the de-platforming of incendiary right-wing content, messaging services Telegram and Signal have seen a deluge of new users. In January alone, Telegram reported 90 million new accounts. Its founder, Pavel Durov, described this as “the largest digital migration in human history.” Signal reportedly doubled its user base to 40 million people and became the most downloaded app in 70 countries. The two services rely on encryption to protect the privacy of user communication, which has made them popular with protesters seeking to conceal their identities against repressive governments in places like Belarus, Hong Kong, and Iran. But the same encryption technology has also made them a favored communication tool for criminals and terrorist groups, including al Qaeda and the Islamic State.

البته که از 6 ماه پیش تا الان ، مدل ها در زمینه ریاضیات خیلی پیشرفت کردن. همین چند وقت پیش نتایج بنچ مارک یک SLM رو در مقایسه با LLM ها برای مسائل ریاضی در کانال به اشتراک گذاشتیم.

DLeX: AI Python TG
Webview: 16659
Telegram TG Webview: hottg.com/ai_python/webview
Telegram TG Channel: DLeX: AI Python
Telegram Updated: 2024-05-09 17:09:43

United States America Popular Telegram Group (US)

Telegram Q&A

Q: How does hottg.com work?

Once you've set up a username, you can give people a hottg.com/username link. Opening that link on their phone will automatically fire up their Telegram app and open a chat with you. You can share username links with friends, write them on business cards or put them up on your website.This way people can contact you on Telegram without knowing your phone number.

With Telegram, you can send messages, photos, videos and files of any type (doc, zip, mp3, etc), as well as create groups for up to 200,000 people or channels for broadcasting to unlimited audiences. You can write to your phone contacts and find people by their usernames. As a result, Telegram is like SMS and email combined — and can take care of all your personal or business messaging needs. In addition to this, we support end-to-end encrypted voice calls.

Q: What is Telegram? What do I do here?

Telegram is a messaging app with a focus on speed and security, it’s super-fast, simple and free. You can use Telegram on all your devices at the same time — your messages sync seamlessly across any number of your phones, tablets or computers.

Q: Who is Telegram for?

Telegram is for everyone who wants fast and reliable messaging and calls. Business users and small teams may like the large groups, usernames, desktop apps and powerful file sharing options. You can appoint admins with advanced tools to help these communities prosper in peace. Public groups can be joined by anyone and are powerful platforms for discussions and collecting feedback.In case you're more into pictures, Telegram has animated gif search, a state of the art photo editor, and an open sticker platform (find some cool stickers here or here). What's more, there is no need to worry about disk space on your device. With Telegram's cloud support and cache management options, Telegram can take up nearly zero space on your phone.

Q: How is Telegram different from WhatsApp?

Unlike WhatsApp, Telegram is a cloud-based messenger with seamless sync. As a result, you can access your messages from several devices at once, including tablets and computers, and share an unlimited number of photos, videos and files (doc, zip, mp3, etc.) of up to 2 GB each. And if you don't want to store all that data on your device, you can always keep it in the cloud.Thanks to our multi-data center infrastructure and encryption, Telegram is faster and way more secure. On top of that, Telegram is free and will stay free — no ads, no subscription fees, forever.

Q: Can I make calls via Telegram?

Yes! Voice calls are currently available to users around the world.

Many modern travelers appear to struggle with managing various aspects of their finances simultaneously while abroad, such as banking, budgeting, investing, trading, and saving. It is important to have apps installed on the device that will help you carry out these necessary tasks.

Hot Topic in US